[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Vacancy: Assistant/Associate Professor Energy-efficient Software Development
University of Twente, Netherlands
Formal Methods and Tools group
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FORTE 2023 - 43nd International Conference on Formal Techniques for
Distributed Objects, Components, and Systems
June 19-23, 2023. Lisbon, Portugal
Website:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
PhD position on Program Analysis for LLVM-IR and all its source languages
University of Twente, Netherlands
To apply, visit:
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
TAP 2024 - Call for Papers
***
The 18th International Conference on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
This is just a quick reminder that the deadline for submissions are May 8th
(abstracts) and May 15th (papers):
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
*Many good reasons to submit your paper to TAP*
TAP submission deadline has been extended to June 14 (with optional abstract
submission deadline June 12), see