[ 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 t
[ 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 re
[ 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 wi
[ 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
https:
[ 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 e