| Conference | Deadline |
|---|---|
|
Second IFIP Working Conference on Verified Software: Theories,
Tools, and Experiments
October 6--10, 2008 -- Toronto, Canada
|
April 30, 2008 |
|
August 19-22, 2008 -- Toronto, Canada
19th International Conference on Concurrency Theory
|
April 11, 2008 |
|
Victoria, BC, Canada, 22-24 September 2008
ICFP 2008: International Conference on Functional
Programming
|
April 2, 2008 |
|
September 9-12, 2008 -- LORIA, Nancy, France
AiML-2008 Advances in Modal Logic
|
March 31, 2008 |
|
July 30-August 1, 2008 -- University of Birmingham, UK
Calculemus is a series of conferences dedicated to the
integration of computer algebra systems (CAS) and systems for
mechanised reasoning, the interactive theorem provers or proof
assistants (PA) and the automated theorem provers (ATP).
|
March 7, 2008 |
|
May 26-28, 2008 -- Radboud University Nijmegen, The
Netherlands
Trends in Functional Programming 2008
|
March 3, 2008 |
|
June 7, 2008 - Oslo, Norway
Programming Language Approaches to Concurrency and
Communication-cEntric Software
|
March 20, 2008 |
| Journal | Deadline |
|---|---|
|
MCS on Management of
Mathematical KnowledgeSPECIAL ISSUE OF MATHEMATICS
IN COMPUTER SCIENCE on MANAGEMENT OF MATHEMATICAL
KNOWLEDGE
|
December 15, 2008 |
|
Logical Methods in Computer
ScienceNew online journal.
|
No deadline |
| Conference | Deadline |
|---|---|
|
PLMMS
2008Second Workshop on Programming Languages for
Mechanized Mathematics (part of CICM / Calculemus 2008) -- 28-29
July 2008 - Birmingham, UK
|
May 5, 2008 |
|
IWACO
2008 International Workshop on Aliasing, Confinement and
Ownership in object-oriented programming (at ECOOP 2008) July 7 or
8, 2008 - Paphos, Cyprus
|
April 30, 2008 |
|
WRS
20088th International Workshop on Reduction Strategies
in Rewriting and Programming -- July 14, 2008 - Castle of
Hagenberg, Austria
|
April 21, 2008 |
|
ICE'081st Interaction and
Concurrency Experience Synchronous and Asynchronous Interactions in
Concurrent Distributed Systems (Satellite workshop of ICALP 2008)
-- July 6, 2008 - Reykjavik, Iceland
|
April 14, 2008 |
|
LFMTP 08International
Workshop on Logical Frameworks and Meta-Languages: Theory and
Practice (Affiliated with LICS 2008) -- June 23, 2008 --
Pittsburgh, PA, USA,
|
April 14, 2008 |
|
MSFPSecond
Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING (A
satellite workshop of ICALP 2008) -- July 6, 2008 - Reykjavik -
Iceland
|
April 4, 2008 |
|
SPIN 200815th
International SPIN Workshop on Model Checking of Software -- August
10-12, 2008 - Los Angeles, USA
|
April 2, 2008 |
|
PLAS 2008ACM
SIGPLAN Workshop on Programming Languages and Analysis for Security
(Co-located with PLDI'08) -- June 8, 2008 - Tucson, Arizona
|
March 24, 2008 |
|
MTCoord 20084th
International Workshop on Methods and Tools for Coordinating
Concurrent, Distributed and Mobile Systems (affiliated to DisCoTec)
-- June 7, 2008 - Oslo, Norway
|
March 24, 2008 |
|
WoLLIC
200815th Workshop on Logic, Language, Information and
Computation -- July 1-4, 2008 - Edinburgh, Scotland
|
February 24, 2008 |
|
LENLS2008Logic
and Engineering of Natural Language Semantics -- June 9-10, 2008 -
Asahikawa Convention Bureau, Hokkaido, Japan
|
February 15, 2008 |