| Event | When | Where | Deadline | |
| TTSS 2010 |
4th International Workshop on Harnessing Theories for Tool Support in Software | |
| Oct 15, 2010 - Oct 15, 2010 |
Shanghai, China |
Sep 22, 2010 |
| DAMP 2011 |
Declarative Aspects of Multicore Programming | |
| Jan 23, 2011 - Jan 23, 2011 |
Austin, Texas |
Oct 11, 2010 |
| PEPM 2011 |
ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation | |
| Jan 24, 2011 - Jan 25, 2011 |
Austin, Texas |
Oct 15, 2010 |
| CSEDU 2011 |
3rd International Conference on Computer Supported Education (CSEDU 2011) | |
| May 6, 2011 - May 9, 2011 |
Noordwijkerhout, The Netherlands |
Oct 25, 2010 |
| FSEN 2011 |
IPM International Conference on Fundamentals of Software Engineering | |
| Apr 20, 2011 - Apr 22, 2011 |
Tehran, Iran |
Oct 25, 2010 (Oct 18, 2010) |
| ICDCS 2011 |
International Conference On Distributed Computing Systems | |
| Jun 21, 2011 - Jun 24, 2011 |
Minneapolis / U.S.A |
Nov 23, 2010 |
| LATA 2011 |
5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS | |
| May 30, 2011 - Jun 3, 2011 |
Tarragona, Spain |
Jan 3, 2011 |
| NC-Pro 2011 |
Network Coding Applications and Protocols Workshop | |
| May 13, 2011 - May 13, 2011 |
Valencia, Spain |
Jan 3, 2011 (Dec 23, 2010) |
| LICS 2011 |
Twenty-Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE | |
| Jun 21, 2011 - Jun 24, 2011 |
Toronto, Canada |
Jan 12, 2011 (Jan 5, 2011) |
| PADS 2011 |
ACM/IEEE/SCS 25th Workshop on Principles of Advanced and Distributed Simulation | |
| Jun 14, 2011 - Jun 17, 2011 |
Nice, France |
Jan 15, 2011 |
| TSFME 2011 |
CSEDU International Workshop on Tool Support for Formal Methods Education | |
| May 6, 2011 - May 9, 2011 |
Noordwijkerhout, The Netherlands |
Jan 17, 2011 |
| CAV 2011 |
23rd International Conference on Computer Aided Verification | |
| Jul 14, 2011 - Jul 20, 2011 |
Cliff Lodge, Snowbird, Utah, USA |
Jan 21, 2011 (Jan 14, 2011) |
| IJCAI 2011 |
Twenty-second International Joint Conference on Artificial Intelligence | |
| Jul 16, 2011 - Jul 22, 2011 |
Barcelona, Spain |
Jan 24, 2011 (Jan 19, 2011) |
| TLCA 2011 |
10th Conference on Typed Lambda Calculi and Applications | |
| Jun 1, 2011 - Jun 3, 2011 |
Novi Sad |
Feb 2, 2011 (Jan 26, 2011) |
| ITP 2011 |
2nd International Conference on Interactive Theorem Proving | |
| Aug 22, 2011 - Aug 25, 2011 |
Nijmegen, The Netherlands |
Feb 20, 2011 (Feb 13, 2011) |
| TPDC 2011 |
1st International Workshop on Theory and Practice of Delimited Continuations | |
| May 29, 2011 - May 29, 2011 |
Novi Sad, Serbia |
Feb 25, 2011 |
| COLLA 2011 |
The First International Conference on Advanced Collaborative Networks, Systems and Applications | |
| Jun 19, 2011 - Jun 24, 2011 |
Luxembourg, Luxembourg |
Feb 28, 2011 |
| BCB 2011 |
2011 ACM Conference on Bioinformatics, Computational Biology and Biomedicine | |
| Aug 1, 2011 - Aug 3, 2011 |
Chicago, Illinois, USA |
Mar 1, 2011 |
| WI-IAT 2011 |
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence | |
| Aug 22, 2011 - Aug 27, 2011 |
Lyon, France |
Mar 11, 2011 |
| ANT 2011 |
The 2nd International Conference on Ambient Systems, Networks and Technologies (ANT-2011) | |
| Sep 19, 2011 - Sep 21, 2011 |
Niagara Falls, Canada |
Mar 15, 2011 |
|
