[TYPES/announce] HoTT/UF 2017: 2nd Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF, at FSCD 2017) September 8-9, 2017,

[TYPES/announce] School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)

to participants. Application and funding -- For information on how to participate, please visit https://unimath.github.io/bham2017/. The deadline to apply is October 15, 2017. Financial support is available to cover participants' travel and lodging expenses. Mentors -- Benedikt Ahrens

[TYPES/announce] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations

/ GUEST EDITORS * Benedikt Ahrens * Simon Huber * Anders Mörtberg

[TYPES/announce] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019

, please visit https://unimath.github.io/bham2019. The deadline to apply is January 15, 2019. Limited financial support is available to cover participants' travel and lodging expenses. Mentors == Benedikt Ahrens (University of Birmingham) Thorsten Altenkirch (University of Nottingham) Langston

[TYPES/announce] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open

students depending on circumstances. Further information about PhD applications may be found here: http://www.cs.bham.ac.uk/admissions/postgraduate-research/ If you are considering applying, please contact a potential supervisor from the list below. Benedikt Ahrens (http://www.cs.bham.ac.uk

[TYPES/announce] 2-year postdoc position on type theory in Birmingham (UK)

with Paige Randall North (Ohio State University) and me on a topic in the area of (homotopy) type theory; details can be discussed. The position is funded by the EPSRC grant "A theory of type theories", PI Benedikt Ahrens. The starting date of the position is somewhat flexible; it should b

Re: [TYPES/announce] 2-year postdoc position on type theory in Birmingham (UK)

2019. Please contact me (b.ahr...@cs.bham.ac.uk) for any questions you might have. Best wishes, Benedikt On 06/08/2019 16:47, Benedikt Ahrens wrote: Dear all, I would like to invite applications for a 2-year postdoctoral position at the University of Birmingham, School of Computer Science

[TYPES/announce] PhD position at University of Birmingham, UK

/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates are strongly encouraged to contact me in the first instance. Benedikt Ahrens

[TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20)

, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Paolo Capriotti (Technische Universität Darmstadt) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus (University of Birmingham) * Peter LeFanu Lumsdaine (Stockholm University

[TYPES/announce] EVENT DATE CHANGE Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020

for any inconvenience this may have caused. Best wishes, Benedikt Ahrens for the organizers --- Workshop on Homotopy Type Theory and Univalent Foundations July 5-6, 2020, Paris, France (not Ontario) https://hott-uf.github.io/2020 Co-located with FSCD 2020 https://fscd2020.org/ Abstract

[TYPES/announce] Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020

information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Paolo Capriotti (Technische Universität Darmstadt) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus (University

[TYPES/announce] PhD position at University of Birmingham, UK

://www.cs.bham.ac.uk/research/groupings/theory/. Information on how to apply is given on http://www.cs.bham.ac.uk/admissions/postgraduate-research/. However, interested candidates should contact me in the first instance. All the best, Benedikt Ahrens

[TYPES/announce] Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020

authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Paolo Capriotti (Technische Universität Darmstadt) * Chris Kapulkin (University of Western Ontario) * Nicolai Kraus

[TYPES/announce] Call for Participation: HoTT/UF 2020 - July 5-7

and 7:30 PM CEST (UTC+2). Detailed schedule is now available on the website. # Organizers * Benedikt Ahrens (University of Birmingham) * Chris Kapulkin (University of Western Ontario)

[TYPES/announce] 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021

background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Paolo Capriotti

[TYPES/announce] Research position in Formal Verification at HENSOLDT Cyber in Munich

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, A job opening for a "Researcher (in) Formal Verification" is being advertised at Hensoldt Cyber GmbH at the outskirts of Munich, Germany. If you would like to contribute to

[TYPES/announce] PhD position in HoTT/UF at TU Delft

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF. The student will be supervised by Benedikt Ahrens [3]. Information about

[TYPES/announce] HoTT/UF 2022: Call for Contributions

value in their abstract, such as motivation and context of their work. == # Program committee * Benedikt Ahrens (Delft University of Technology and U of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Evan Cavallo (Stockholm University) * Chris Kapulkin (Western