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 edition | July 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.