[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Two 4-year PhD positions @ AUTOSARD
==
Within the AUTOSARD project, led by Georg Moser (University of
Innsbruck) and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 36th IEEE Computer Security Foundation Symposium (CSF'23) will be
hosted in Dubrovnik, Croatia, July 9 - 13, 2023.
=== Call for Workshops - Important Dates AoE (UTC-12h) ===
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==
Updated information on: EXTENDED DEADLINE for submission
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Reminder: The workshop is in a few weeks. We still have funds to help pay
for US-based students to attend the whole conference in Warsaw, and CSL has
some funds for non-US-based students.
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*CFP Post-Proceedings (Open Call)*
3rd Third Joint International Workshop on
Linearity and Trends in Linear Logic and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
-
Event: COORDINATION 2023 - 25th International Conference on Coordination
Models and Languages
Dates: June
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The 2023 editions of the co-located ECOOP
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Registration is open.
Early registration is until 28 February 2023. After 22 March, late
registration rates apply.
**
