Conferences and Events
21 views
Skip to first unread message
Mark Farrell
Dec 4, 2015, 8:52:55 AM12/4/15
to Type Theory Study Group
In case anyone is interested,
I thought it would be a good idea to start a list of annual conferences and events that could be of interested to people in this study group.
Current list:
https://github.com/type-theory/type-theory-study-group-2015/blob/master/conferences.md
-Mark
I thought it would be a good idea to start a list of annual conferences and events that could be of interested to people in this study group.
Current list:
- LambdaConf
- Oregon Programming Languages Summer School
- Principles of Programming Languages
- Formal Structures for Computation and Deduction
- Types for Proofs and Programs
- Interactive Theorem Proving
- Workshop on Homotopy Type Theory and Univalent Foundation of Mathematics
https://github.com/type-theory/type-theory-study-group-2015/blob/master/conferences.md
-Mark
Aggelos Biboudis
Dec 4, 2015, 8:56:22 AM12/4/15
to Mark Farrell, Type Theory Study Group
Last year, I have gathered all PL-related summer schools in a gist.
Here it is: https://gist.github.com/biboudis/377b4a4de4d1718df2d0
Cheers,Here it is: https://gist.github.com/biboudis/377b4a4de4d1718df2d0
Mark Farrell
Dec 4, 2015, 9:01:46 AM12/4/15
to Type Theory Study Group, m4fa...@csclub.uwaterloo.ca
Excellent - thank you!
Reply all
Reply to author
Forward
0 new messages