| Event | Affiliated with | Full Name |
|---|
| DCM 2011 | ICALP 2011 |
7th International Workshop on
Developments of Computational Methods |
| WRS 2011 | RTA 2011 |
10th International
Workshop on Reduction Strategies in Rewriting and Programming |
| THedu'11 | CADE-23 |
First Workshop on
CTP Components for Educational Software |
| LSFA 2011 |
6th Workshop on
Logical and Semantic Frameworks with Applications |
| FAVO 2011 | PRO-VE 2011 |
Third Workshop on
Formal Aspects of Virtual Organisations |
| QPL 2011 |
8th International Workshop on
Quantum Physics and Logic |
| IWIGP 2012 | ETAPS 2012 |
Second
International Workshop on Interactions, Games and Protocols |
| FICS 2012 | ETAPS 2012 |
8th Workshop on
Fixed Points in Computer Science |
| FIT 2012 | ETAPS 2012 |
Fourth Workshop on
Foundations of Interface Technologies |
| MBT 2012 | ETAPS 2012 |
7th Workshop on
Model-Based Testing |
| MSFP 2012 | ETAPS 2012 |
Fourth Workshop on
Mathematically Structured Functional Programming |
| PLACES 2012 | ETAPS 2012 |
Fifth Workshop on
Programming Language Approaches to Concurrency and Communication-cEntric Software |
| GRAPHITE 2012 | ETAPS 2012 |
First Workshop on
GRAPH Inspection and Traversal Engineering |
| QAPL 2012 | ETAPS 2012 |
10th Workshop on
Quantitative Aspects of Programming Languages and Systems |
| LINEARITY 2012 | ETAPS 2012 |
2nd International Workshop on
Linearity |
| ACCAT 2012 | ETAPS 2012 |
Seventh ACCAT Workshop on
Applied and Computational Category Theory |
| TFPIE 2012 | TFP 2012 |
The International Workshop on
Trends in Functional Programming in Education |
| SYNT 2012 | CAV 2012 |
First Workshop on
Synthesis |
| HSB 2012 | CONCUR 2012 |
First International Workshop on
Hybrid Systems and Biology |
| QFM 2012 | FM2012 |
Second workshop on
Quantities in Formal Methods |
| ICE 2012 | Discotec'12 |
Fifth
Interaction and Concurrency Experience |
| DCM 2012 | CiE 2012 |
8th International Workshop on
Developments in Computational Models |
| ITRS 2012 | LICS 2012 |
Sixth Workshop on
Intersection Types and Related Systems |
| PDMC 2012 | QEST 2012 |
11th International Workshop on
Parallel and Distributed Methods in verifiCation |
| WWV 2012 | DisCoTec 2012 |
8th International Workshop on
Automated Specification and Verification of Web Systems |
| GandALF 2012 |
Third International Symposium on
Games, Automata, Logics and Formal Verification |
| Infinity 2012 | FM 2012 |
14th International Workshop on
Verification of Infinite-State Systems |
eptcs@eptcs.org