List of workshops
- Alpine Verification Meeting 2012 -- Call for Participation
Alpine Verification Meeting 2012
May 21-22, 2012 -- Passau, Germany
http://avm12.sosy-lab.org/- CFP: International Workshop on Extreme Modeling - XM 2012 (with MoDELS'12)
INTERNATIONAL WORKSHOP ON EXTREME MODELING - XM 2012
Co-located with MoDELS 2012October 1, 2012 - Innsbruck, Austria
http://www.di.univaq.it/XM2012- FHPC 2012: Workshop on Functional High Performance Computing
FHPC 2012
ACM SIGPLAN Workshop
on
Functional High Performance ComputingCopenhagen, Denmark
September 15th, 2012http://www.hiperfit.dk/fhpc12/
Co-located with the International Conference on Functional Programming
(ICFP 2012)- ForMASSEC 2012 - Extended Deadline
Formal Methods and Automated Software Engineering for Cloud Computing
Affiliated to the 12th International Conference on Algorithms and Architectures for Parallel Processing
Fukuoka, Japan, September 04-07, 2012
http://traclifo.univ-orleans.fr/PaPDAS/wiki/ForMASECC2012
Regular Research Paper Submission: May 18, 2012 (extended deadline, firm)
Work-in-Progress Paper Submission: May 25, 2012 (extended deadline, firm)
Notification of Acceptance: June 15, 2012
Camera-Ready Paper: June 28, 2012- CFP: 7th International Workshop on Critical Information Infrastructures Security (CRITIS 2012)
Critical key sectors of modern economies depend highly on Information and Communication Technologies (ICT). Disruption, disturbance or loss of information flowing through and processed by ICT infrastructures can, as well as incidents in the sector infrastructure itself, lead to various damages such as high economical, material, or ecological impact, loss of vital societal functions and social well-being of people, and in the most unfortunate cases loss of human lives. As a consequence the security, reliability and resilience of these infrastructures are critical for the society. The topic of Critical (Information) Infrastructure Protection (C(I)IP) is therefore a major objective for governments, companies and the research community of the major industrial countries worldwide.
- Call for papers: NSAD 2012
Submission deadline: June 6
The fourth workshop on Numerical and Symbolic Abstract Domains (co-located with SAS 2012) invites submissions broadly related to abstract interpretation, numeric and symbolic abstract domains, composition of abstract domains, data structures for abstract domains, novel applications of abstract domains, implementations of abstract domains and experimentation with abstract domains.
- Essential Abstractions in GCC
The GCC Resource Center at IIT Bombay will be conducting its annual (instructional) workshop titled Essential Abstractions in GCC from 30 June to 3 July 2012.
Please visit http://www.cse.iitb.ac.in/grc/gcc-workshop-12/ for more details.
- Call for Participation: IWSC 2012 - 6th Int'l Workshop on Software Clones
Please participate in IWSC 2012. The early registration deadline on
April 22 is approaching.Register now via the ICSE website:
http://www.ifi.uzh.ch/icse2012/registration/
