Event | When | Where | Deadline | |
DLT 2011 |
15th International Conference on Developments in Language Theory | |
Jul 19, 2011 - Jul 22, 2011 |
Milano (Italy) |
Feb 21, 2011 |
LOPSTR 2011 |
21st International Symposium on Logic-Based Program Synthesis and Transformation | |
Jul 18, 2011 - Jul 20, 2011 |
Odense, Denmark |
Mar 27, 2011 |
GTTV 2011 |
First Workshop on Grounding and Transformations for Theories with Variables | |
May 16, 2011 - May 19, 2011 |
Vancouver |
Mar 27, 2011 (Mar 20, 2011) |
|