FSCD 2018 Workshops by Topic

Website

Edition
Date
Classical Logic and Computation CL & C 2018 7th edition July 7
Computing with terms and graphs TERMGRAPH 2018 10th edition July 7
Confluence IWC 2018 7th editionJuly 7
Higher-Dimensional Rewriting and Algebra HDRA 2018 4th edition July 7
Higher Order Rewriting HOR 2018 9th edition July 7
Homotopy Type Theory and Univalent Foundations HoTT/UF 2018 4th edition July 7 and 8
IFIP Working Group 1.6: Rewriting IFIP Meeting 2018 20th edition July 8
Intersection Types and Related Systems ITRS 2018 9th edition July 8
Linearity LINEARITY 2018 5th edition July 7 and 8 **
Logical Frameworks and Meta-Languages: Theory and Practice LFMTP 2018 12th edition July 7
Mathematically Structured Functional Programming MSFP 2018 7th edition July 8
Modular Knowledge Modular Knowledge 2018 1st edition July 13
Programming And Reasoning on Infinite Structures PARIS 2018 1st edition July 7 and 8
Trends in Linear Logic and Applications TLLA 2018 2nd edition July 7 and 8 **
Rewriting Techniques for Program Transformations and Evaluation WPTE 2018 5th edition July 8
Unification UNIF 2018 32nd edition July 7

* * These workshops are combined into a two day workshop.


Webpage by Paula Severi.