| Conference | Deadline |
|---|---|
|
July 6 - 13, 2008 -- Reykjavik - Iceland
35th International Colloquium on Automata, Languages and
Programming
|
February 10, 2008 |
|
January 7-8, 2008 -- San Francisco, USA
Tenth International Symposium on Practical Aspects of
Declarative Languages 2008 (Co-located with ACM POPL'08)
|
August 24, 2007 |
|
April 14-16, 2008 -Ise, Japan
International Symposium on Functional and Logic
Programming
|
October 10, 2007 |
|
March 16 - 20, 2008, Fortaleza, Ceará, Brazil
The 23rd ACM Symposium on Applied Computing
|
September 8, 2007 |
|
November 5-6, 2007 - Sophia-Antipolis, France
Trustworthy Global Computing 2007
|
July 27, 2007 |
| Journal | Deadline |
|---|---|
|
PLID 2007Special
issue of Mathemetical Structures in Computer Science on Programming
Language Interference and Dependence.
|
January 12, 2008 |
|
QEST
2007Special issue of IEEE Transactions on Software
Engineering on Quantitative Evaluation of Computer
Systems.
|
January 12, 2008 |
|
TYPES
2007The Post-Proceedings of the TYPES 2007 Annual
Conference will be published, after a formal refereeing process, as
a volume of the Lecture Notes in Computer Science (LNCS) series.
This call is open to all interested researchers.
|
September 24, 2007 |
|
Logical Methods in Computer
ScienceNew online journal.
|
No deadline |
| Conference | Deadline |
|---|---|
|
DAMP
2008Declarative Aspects of Multicore Programming -
January 2008 - San Francisco, CA, USA
|
October 1, 2007 |
|
FOOL 2008 2008
International Workshop on Foundations of Object-Oriented Languages
(Following POPL '08) -- January 13, 2008 - San Francisco,
California, USA
|
October 8, 2007 |
|
M4M-55th Worskhop on "Methods
for Modalities" -- November 29-30, 2007 - Ecole Normale Superieure
de Cachan, France
|
September 7, 2007 |
|
FLACOS'07First Workshop
on Formal Languages and Analysis of Contract-Oriented Software --
9-10 October, 2007 - Oslo, Norway
|
September 3, 2007 |
|
NWPT'07 The 19th Nordic
Workshop on Programming Theory -- October 10-12, 2007 - Oslo,
Norway
|
September 3, 2007 |