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.