Groups
Posts in current group: comp.specification.z
• DAIS'2010 CfP: Extended Deadline: Feb 19, 2010
• CFPart: Etaps tutorial on cyber-physical systems
• ICTAC 2010: one month before the deadline for abstracts
• *** Evening Seminar by Prof Mike Hinchey, 28 Jan, UK: Evolving Critical Systems
• PROMASC'2010: Last Call for Papers (Deadline Extension)
• Second Call for Papers for the Brazilian Symposium on Formal Methods
• FINAL CFP, ICLP 2010 - Extended Deadline: Jan 31 / Feb 7
• [simu-conf] 2010 Summer Computer Simulation Conference - Call for
• CfP: International Workshop on Component and Service
• 1st CFP - Workshop on Invariant Generation (WING 2010), Edinburgh, July 21, 2010
• DAIS'2010: 2nd call for papers (deadline: Feb 12)
• DisCoTec 2010: 2nd Call for Papers
• RV 2010 - 1st Int. Conference: Call for Papers and Tutorials
• NOTERE'2010: Last Call for Papers and Deadline Extension
• PROMASC'2010: 2nd Call for Papers
• IJCAR 2010 - Call for papers
• ICTAC 2010: call for papers
• LPAR-16 deadline extended
• Deadline extension: ACSD 2010 (Application of Concurrency to System
• CSL 2010 - 1st Call for Papers
• NOTERE'2010: 3rd Call for Papers :: Special Issues
• DisCoTec 2010: Call for Papers
• LPAR-16 - Dakar, Senegal - April 2010
• PADL 2010: Call for Participation
• PADL 2010: Call for Participation and Early Registration
1
generated at 13:15:59