List of workshops - page 15
- 2nd CFP: Functional High-Performance Computing (FHPC'13)
CALL FOR PAPERS
The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC 2013)
Boston, Massachusets, September 23, 2013
http://www.hiperfit.dk/fhpc13.html (co-located with ICFP 2013)Submission deadline: 14 June 2013 (anywhere on earth)
The submission site is open: https://www.easychair.org/conferences/?conf=fhpc2013- ECOOP'13/ECMFA'13/ECSA'13: Call for workshop proposals
In 2013, the European Conference on Object-Oriented Programming (ECOOP), European Conference on Modelling Foundations and Applications (ECMFA) and the European Conference on Software Architecture (ECSA) will be collocated in Montpellier, France.
- BEAT'13 - 1st International Workshop on Behavioural Types
This workshop aims to present contributions on the theory and applications of behavioural types and to foster discussion on the pros and cons of different approaches and on new directions and challenges in the area.
- SmartGridSec12 - First Open EIT ICT Labs Workshop on Smart Grid Security
Program Committee welcomes proposals for contributions on any topics related to:
- Attackers, Threats, Risk Analysis
- Security of Smart Grid protocols
- IDS / IPS / SIEM for Smart Grids / SCADA systems
- Security related Smart Grid test beds and simulators
- Security for long term deployment
- Securing the Smart Grids from the business and market perspective: Products, Stakeholders, Models
- Cross organizational security aspects
- Real-time monitoring and recovery
- Privacy issues
- Standardization
- Certification, Regulatory issuesImportant Dates:
Submission of full paper (5-10 pages), extended abstract (2-5 pages) or short paper (2-5 pages) ..31 October
Notification to authors:...................................10 November
Final version for post-proceedings: ....................... 3 December
Workshop: ................................................. 3 December- Last call for papers: ITSLE2012 Industrial Track of Software Language Engineering
Software Language Engineering based techniques, such as domain Specific Languages and Model Driven Software Engineering, are used more and more within industry. This shows the strength and potential of DSLs and MDSE. However, it is clear that industry is still in an explorative phase. Many challenges have to be resolved in order to convince industry to start using these techniques on a very large scale.
The Industrial Track is dedicated to industrial research on and application of SLE based techniques, including industry oriented work done in universities and research organizations. We seek high-quality contributions from practitioners and as well as industrial and academic researchers. We promote industrial partners to exchange their experiences with SLE based techniques.
- 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- call for participation: Bytecode 2012 (an ETAPS 2012 workshop), March 31, 2012 in Tallinn, Estonia
CALL FOR PARTICIPATION
Bytecode 2012
Seventh Workshop on Bytecode Semantics,
Verification, Analysis and TransformationA Satellite workshop of ETAPS 2012
Tallinn, Estonia,
31 March 2012
http://wwwhome.ewi.utwente.nl/~marieke/Bytecode2012/Program is now available
Deadline for normal registration ETAPS is closing on February 26, 2012
- LDTA 2012: call for participation
Call for Participation for the 12th International Workshop on Language Descriptions, Tools, and Applications (http://ldta.info). The early registration deadline is January 29, 2012.
