[TYPES/announce] special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen

2023-02-07 Thread Maria Emilia Maietti
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues, Following four years of successful progress made under the EU-MSCA-RISE project "Computing with Infinite Data" (CID) coordinated by Dieter Spreen, the CCCs workshop and

[TYPES/announce] Five tenured positions in theoretical computer science at IRIF / Université Paris Cité

2023-02-07 Thread Giuseppe Castagna
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] |The department of computer science of Université Paris Cité has five openings for tenured positions in theoretical computer science, broadly construed, which could be of interest to the

[TYPES/announce] HoTT/UF 2023: 2nd Call for Contributions

2023-02-07 Thread Jonathan Weinberger
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == 2ND CALL FOR CONTRIBUTIONS AND PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2023, co-located

[TYPES/announce] Reversible Computation 2023: Call for papers -- Extended deadline

2023-02-07 Thread Clément Aubert
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ==    *Call for Papers*   *Reversible Computation 2023* ==   July 18th – 19th, Giessen, Germany  

[TYPES/announce] TACAS 2023 TOOLympics - Call for Contributions

2023-02-07 Thread Hartmanns, Arnd (UT-EEMCS)
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The TACAS 2023 TOOLympics is an event to celebrate the achievements of the various competitions and comparative evaluations broadly related to the field of formal methods and document the