[TYPES/announce] 2nd Call for papers - Workshop on Type-Driven Development (TyDe 2021) at ICFP 2021

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Workshop on Type-Driven Development 2021 (TyDe) co-located with ICFP 2021 - https://icfp21.sigplan.org/home/TyDe-2021

[TYPES/announce] Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NATURAL FORMAL MATHEMATICS - NatFoM (Call for extended abstracts) A workshop held between July 26 - 31, 2021 as part of the 14th Conference on Intelligent Computer Mathematics (CICM 2021)

[TYPES/announce] 27th WoLLIC 2021 - Call for Papers (DEADLINE EXTENDED: May 25th)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (DEADLINE EXTENDED: *May 25th*) [Please circulate. Apologies for multiple copies.] CALL FOR PAPERS WoLLIC 2021 27th Workshop on Logic, Language, Information and Computation October 5 to

[TYPES/announce] ICALP 2021 Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION 48th International Colloquium on Automata, Languages and Programming

[TYPES/announce] SOAP 2021 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PARTICIPATION SOAP 2021 10th ACM SIGPLAN International Workshop on the State of

[TYPES/announce] PhD position in Derivation Systems for Modal Fixpoint Logics

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a PhD candidate for a research project Derivation Systems for Modal Fixpoint Logics. Many applications of modal logic, in particular in computer science, require the