Hi S-REPLS,
FSCD 2017 is taking place in Oxford in the dates September 3-9, including 11 associated workshops (and alongside ICFP). Invited speakers at the FSCD workshops include Andrew Appel, Thierry Coquand, Jean-Yves Girard and many more. Full details are here:
http://www.cs.ox.ac.uk/conferences/fscd2017/
http://www.cs.ox.ac.uk/conferences/fscd2017/registration.html
I'm sending this to S-REPLS because those in the area might want to come over for a day or maybe more.
Please register by end of Monday 28 August. We have to start giving numbers to caterers on Tuesday.
Thanks, Sam.
--
Overview:
4-7 Sept:
FSCD Main Conference: Formal Structures in Computation and Deduction, the new name for TLCA+RTA.
3 Sept:
TLLA: Trends in Linear Logic and Applications
TMSP: Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Workshop
UNIF: 31st International Workshop on Unification
8-9 Sept:
HDRA: Third Workshop on Higher-Dimensional Rewriting and Applications
HOTT/UF: Third Workshop on Homotopy Type Theory and Univalent Foundations
SD: Fourth Meeting on Structures and Deduction
STRING: First Workshop on String Diagrams in Computation, Logic, and Physics
8 Sept:
IWC: Sixth International Workshop on Confluence
LFMTP: International Workshop on Logical Frameworks and Meta-Languages - Theory and Practice
WPTE: Fourth International Workshop on Rewriting Techniques for Program Transformation and Evaluation
9 Sept
IFIP Working Group 1.6: Rewriting
7 Sept: Workshop Party
|