[TYPES/announce] postdoctoral position at Wesleyan University

with Professors Norman Danner and Dan Licata on the topic of certified cost analysis of functional programs, and have the freedom to pursue their own research agenda as well. Candidates with backgrounds in any of programming languages, logic, algorithms, and proof assistants are especially

[TYPES/announce] Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT

participants. If you have any questions, please feel free to contact any of the organizers. Dan Christensen, Chris Kapulkin, Dan Licata, Emily Riehl, Mike Shulman -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from

[TYPES/announce] Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT

to international participants. If you have any questions, please feel free to contact any of the organizers. Dan Christensen, Chris Kapulkin, Dan Licata, Emily Riehl, Mike Shulman

[TYPES/announce] postdoc position at Wesleyan

Professor Dan Licata on the topic of homotopy type theory, specifically directed type theory. The successful applicant will be able to pursue his/her own research agenda as well. Teaching is not required, but there may be an opportunity for the postdoc to teach 1 or 2 courses in their first year

[TYPES/announce] Deadline Extension: Logical Frameworks and Meta-Languages: Theory and Practice 2016

== Program Committee == - Edwin Brady - Gilles Dowek, co-chair - Marcelo Fiore - Andrew Gacek - Olivier Hermant - Chantal Keller - Dan Licata, co-chair - Bernardo Toninho - Makarius Wenzel

[TYPES/announce] Final CFP: Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2016

rcelo Fiore - Andrew Gacek - Olivier Hermant - Chantal Keller - Dan Licata, co-chair - Bernardo Toninho - Makarius Wenzel

[TYPES/announce] OPLSS 2016

and Dan Licata, Wesleyan University * Category Theory Background — Ed Morehouse, Carnegie Mellon University * Logical Relations — Patricia Johann, Appalachian State University * Network Programming — Nate Foster, Cornell University * Automated Complexity Analysis — Jan Hoffman, Carnegie Mellon

[TYPES/announce] CFP: Logical Frameworks and Meta-languages: Theory and Practice (LFMTP) 2016

for "Work in Progress" papers. Accepted regular papers will be included in the proceedings, which will be published in ACM digital library in its International Proceedings series. == Program Committee == - Edwin Brady - Gilles Dowek, co-chair - Marcelo Fiore - Andrew Gacek - Olivier Hermant -

[TYPES/announce] Twelf Tutorial: Second Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Types readers, The early registration deadline for the Twelf Tutorial (and other POPL events) is this week. We have a very interactive program planned, and we would appreciate it if