List of conferences - page 15

CFP: TFP12, Trends in Functional Programming 2012, St Andrews, U.K., June 12-14, 2012
by Hans-Wolfgang Loidl, Dec. 21, 2011

13th International Symposium on Trends in Functional Programming 2012,
St Andrews, U.K., June 12-14, 2012
Submission deadline March 26th, 2012

International Workshop on 75 Years of Lambda Calculus: June 15th 2011
by Greg Michaelson, Oct. 31, 2011

International Workshop on
75 Years of Lambda-Calculus
University of St Andrews, Scotland
15th June, 2012
Call for papers

Sponsored by Scottish Informatics & Computer Science Alliance (SICSA)

CFP: LCTES 2012 - Languages, Compilers, Tools and Theory for Embedded Systems
by jasonxue, Oct. 19, 2011

LCTES 2012 - Languages, Compilers, Tools & Theory for Embedded Systems

Beijing, China
12-13 June, 2012

CfP: Bytecode 2012
by Marieke Huisman, Oct. 17, 2011


Bytecode 2012
Seventh Workshop on Bytecode Semantics,
Verification, Analysis and Transformation

A Satellite workshop of ETAPS 2012
Tallinn, Estonia,
31 March 2012

Important Dates
Paper submission: January 4, 2012
Notification: January 26, 2012
Final version: February 6, 2012

Last CFP: FASE'2012
by Juan de Lara, Sept. 30, 2011

Just a reminder: deadline for abstract submissions is only one week away!

CFP - TOOLS Europe 2012
by scottwest, Sept. 13, 2011

Call for Papers (submission: 13 January 2012),
TOOLS Europe 2012: 50th International Conference on Objects, Models, Components, Patterns

CC 2012: submission site now open
by Dominik Grewe, Aug. 30, 2011

The submission site for the International Conference on Compiler Construction (CC) 2012 is now open. CC will be held as part of ETAPS in Tallinn, Estonia from 24 March - 1 April 2012.

For more details and a link to the submission site see the CC website

CP 2011 - Call for Participation
by CP2011_publicity, Aug. 11, 2011

The CP conference is the annual international conference on constraint programming. It is concerned with all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, and agreement technologies.