|
12th Workshop on the Mathematical Foundations of Programming Semantics MFPS 12
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:11 EET
| |||||||||||||||
|
8th International Symposium on Programming Languages, Implementations, Logics, and Programs PLILP '96
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:23 EET
| |||||||||||||||
|
International Static Analysis Symposium SAS '96
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:33 EET
| |||||||||||||||
|
24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL '97
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:27 EET
| |||||||||||||||
|
4th International Workshop on Foundations of Object-Oriented Languages FOOL '97
Comments: Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:30 EET
| |||||||||||||||
|
7th International Joint Conference on the Theory and Practice of Software Development TAPSOFT '97
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:6 EET
| |||||||||||||||
|
ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation PLDI '97
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:19 EET
| |||||||||||||||
|
ACM SIGPLAN Conference on Partial Evaluation and Semantics-Based Program Manipulation PEPM '97
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 21:17 EET
| |||||||||||||||
|
14th International Conference on Logic Programming ICLP '97
Inserted by nickie@softlab.ntua.gr on Wednesday March 5 1997, 16:39 EET
| |||||||||||||||
|
ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA '97
Restrictions: Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:2 EET
| |||||||||||||||
|
7th Conference on Category Theory and Computer Science CTCS '97
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:35 EET
| |||||||||||||||
|
Special Session in Logic, Algebra and Formal Aspects of Computer Science LAFACS '97
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:15 EET DST
| |||||||||||||||
|
9th International Symposium on Programming Languages, Implementations, Logics and Programs PLILP '97
Comments: Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:48 EET
| |||||||||||||||
|
International Static Analysis Symposium SAS '97
Inserted by nickie@softlab.ntua.gr on Monday February 10 1997, 13:50 EET
| |||||||||||||||
|
Conference on Domain-Specific Languages DSL '97
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:33 EET DST
| |||||||||||||||
|
Asian Computing Science Conference ASIAN '97
Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:37 EET
| |||||||||||||||
|
2nd Latin-American Conference on Functional Programming CLaPF '97
Inserted by nickie@softlab.ntua.gr on Thursday March 13 1997, 17:52 EET
| |||||||||||||||
|
25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL '98
Restrictions: Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:4 EET DST
| |||||||||||||||
|
9th International Workshop on the Implementation of Functional Languages IFL '97
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:43 EET DST
| |||||||||||||||
|
2nd Workshop on Formal Methods in Software Practice FMSP '98
Inserted by nickie@softlab.ntua.gr on Monday September 1 1997, 10:38 EET DST
| |||||||||||||||
|
9th International Conference on Rewriting Techniques and Applications RTA '98
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 19:46 EET DST
| |||||||||||||||
|
International Conference on Computer Languages ICCL '98
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:2 EET DST
| |||||||||||||||
|
European Joint Conferences on Theory and Practice of Software ETAPS '98
Inserted by nickie@softlab.ntua.gr on Tuesday February 4 1997, 20:50 EET
| |||||||||||||||
|
ACM SIGPLAN 1998 Conference on Programming Language Design and Implementation PLDI '98
Inserted by nickie@softlab.ntua.gr on Monday September 1 1997, 17:21 EET DST
| |||||||||||||||
|
12th European Conference on Object-Oriented Programming ECOOP '98
Restrictions: Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 1:7 EET
| |||||||||||||||
|
4th USENIX Conference on Object-Oriented Technologies and Systems COOTS '98
Inserted by nickie@softlab.ntua.gr on Thursday October 30 1997, 13:38 EET
| |||||||||||||||
|
2nd International Workshop on Types in Compilation TIC '98
Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 1:5 EET
| |||||||||||||||
|
4th International Conference on Mathematics of Program Construction MPC '98
Inserted by nickie@softlab.ntua.gr on Sunday May 18 1997, 20:13 EET DST
| |||||||||||||||
|
International Colloquium on Automata, Languages, and Programming ICALP '98
Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 19:20 EET
| |||||||||||||||
|
2nd Workshop on Rigorous Object Oriented Methods ROOM 2
Inserted by nickie@softlab.ntua.gr on Saturday January 3 1998, 17:35 EET
| |||||||||||||||
|
11th International Conference on Theorem Proving in Higher Order Logics TPHOLs '98
Comments: Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 0:58 EET
| |||||||||||||||
|
Workshop on Industrial-Strength Formal specification Techniques WIFT '98
Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 1:16 EET
| |||||||||||||||
|
13th Annual Conference on Object-Oriented Programming Systems, Languages and Applications OOPSLA '98
Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 2:49 EET
| |||||||||||||||
|
3rd ACM SIGPLAN International Conference on Functional Programming ICFP '98
Inserted by nickie@softlab.ntua.gr on Wednesday October 29 1997, 0:56 EET
| |||||||||||||||
|
26th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL '99
Restrictions: Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 3:17 EET
| |||||||||||||||
|
World Congress on Formal Methods FM '99
Inserted by nickie@softlab.ntua.gr on Friday March 6 1998, 3:11 EET
|
Calls for which the deadline has expired. | |
Calls for events that have already passed. |
Last updated: Wednesday April 5 100, 16:46 EET.