[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Papers
APLAS 2024 -- The 22nd Asian Symposium on Programming Languages and Systems
October 22-24, 2024, Kyoto, Japan
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
This might interest the Types community. Please help disseminate to your
colleagues and networks (apologies for cross-posting).
## Onward! @ SPLASH 2024 – Call for Papers & Essays
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS
9th International Workshop on Satisfiability Checking and Symbolic
Computation
SC-Square 2024
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--> Please feel free to forward this e-mail to interested persons! <--
Are you a woman working in logic?
Please join us on July 9, 2024 at WiL, give a talk, and enjoy a day with
Women in
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
## Ph.D. position in Theoretical CS @ King's College London
* A funded Ph.D. position in theoretical computer science is available at
King's College London. The successful candidate will
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
+ Registration is now open
+ Contributed talks deadline extended
+ Student travel grants deadline approaching
+ Scientific programme available
FULL ANNOUNCEMENT:
Logic Colloquium 2024