[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FIRST CALL FOR PAPERS
Eleventh International Conference on
Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 19th International Workshop on Logical and Semantic Frameworks with
Applications (LSFA 2024) will be held on September 18-20 2024 in
Goiânia, Brazil.
For more information, see
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Apologies if you have received multiple copies.
--
PLAS 2024 Call for Papers
19th Workshop on Programming Languages
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
CALL FOR PARTICIPATION
Ninth International Conference on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
IEEE Computer Security Foundations Symposium (CSF) 2025
===
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Workshop on Foundations of Computer Security (FCS), is co-located with CSF
in Enschede, The Netherlands on July 8, 2024. FCS is a friendly, in-person
1-day workshop that brings together
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
TL;DR
---
Candidates interested in a PhD in formal and algebraic methods for
concurrent, reversible computation in Augusta University (Georgia, USA),
starting Fall 2024 or Spring