Upcoming Conferences

The following upcoming conferences will be good places to hear and/or publish about new work on synchronous languages. Send us an email if you wish to propose another conference.

link name where when deadline
MSR'07 Congrès de Modélisation des Systèmes Réactifs Lyon, France October 17-19, 2007 Over
SYNCHRON'07 International Open Workshop on Synchronous Reactive Languages Bamberg, Germany November 26-30, 2007 None
SLA++P'08 Model-driven High-level Programming of Embedded Systems Budapest, Hungary April 5, 2008 23/11/2007
MEMOCODE'08 ACM & IEEE International Conference on Formal Methods and Models for Codesign Anaheim (CA), USA June 5-7, 2008 01/02/2008
ACSD'08 International Conference on Application of Concurrency to System Design Xi'an, China June 23-27, 2008 04/01/2008
EMSOFT'08 ACM International Conference on Embedded Software Atlanta (GA), USA 2008 ???

There are also a number of conferences, which are not entirely dedicated to synchronous programming, whose topic might be of interrest, e.g., real-time, distributed and parallel systems, concurrency, fault-tolerance, programming languages, and so on. This list is by no means exhaustive. Ordering is chronological:

link name where when deadline
ATVA'07 International Symposium on Automated Technology for Verification and Analysis Tokyo, Japan October 22-24, 2007 Over
FMCO'07 International Symposium on Formal Methods for Objects and Components Amsterdam, The Netherlands October 24-26, 2007 Over
FMCAD'07 International Conference on Formal Methods in Computer-Aided Design Austin, USA November 11-14, 2007 Over
ICFEM'07 International Conference on Formal Engineering Methods Boca Raton (FL), USA November 13-15, 2007 Over
SOC'07 International Symposium on System-on-Chip Tampere, Finland November 19-21, 2007 Over
MIDDLEWARE'07 International Middleware Conference Newport Beach (CA), USA November 26-30, 2007 Over
RTSS'07 IEEE International Real-Time Systems Symposium Tucson (AZ), USA December 3-6, 2007 Over
ASIAN'07 Asian Computing Science Conference Doha, Qatar December 9-11, 2007 Over
CDC'07 IEEE Conference on Decision and Control New Orleans (LO), USA December 12-14, 2007 Over
ISoLA'07 International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Poitiers, Framce December 12-14, 2007 Over
PRDC'2007 Pacific Rim International Symposium on Dependable Computing Melbourne, Australia December 17-19, 2007 Over
OPODIS'07 International Conference on Principles of Distributed Systems Guadeloupe, French West Indies December 17-20, 2007 Over
VMCAI'08 International Conference on Verification, Model Checking and Abstract Interpretation San Francisco (CA), USA January 7-9, 2008 Over
POPL'08 Symposium on Principles of Programming Languages San Francisco (CA), USA January 10-12, 2008 Over
HIPEAC'08 International Conference on High Performance Embedded Architectures & Compilers Goteborg, Sweden January 27-29, 2008 Over
ERTS'08 Embedded Real Time Software Toulouse, France January 29 - February 1, 2008 Over
PDP'08 Euromicro Conference on Parallel Distributed and Network Based Processing Toulouse, France February 13-15, 2008 Over
PPoPP'08 Symposium on Principles and Practice of Parallel Programming Lake City (UT), USA February 20-23, 2008 Over
DATE'08 Design Automation and Test in Europe Munich, Germany March 10-14, 2008 Over
SCOPES'08 International Workshop on Code Generation for Embedded Processors Munich, Germany March 13-14, 2008 01/12/2007
SAC'08 ACM Symposium on Applied Computing - Special Track on Embedded Systems Fortaleza, Brazil March 16-20, 2008 Over
SAC'08 ACM Symposium on Applied Computing - Special Track on Dependable and Adaptive Distributed Systems Fortaleza, Brazil March 16-20, 2008 Over
ETAPS'08 Joint Conference on Theory and Practice of Software Budapest, Hungary March 29 - April 6, 2008 Over
AOSD'08 International Conference on Aspect-Oriented Software Development Brussels, Belgium March 31 - April 4, 2008 Over
CGO'08 International Symposium on Code Generation and Optimization Boston (MA), USA April 6-9, 2008 Over
NOCS'08 International Symposium on Networks-on-Chips Newcastle, UK April 7-11, 2008 12/11/2007
TAP'08 International Conference on Tests and Proofs Prato, Italy April 9-11, 2008 18/11/2007
IPDPS'08 International Parallel and Distributed Processing Symposium Miami (FL), USA April 14-18, 2008 Over
WPDRTS'08 International Workshop on Parallel and Distributed Real-Time Systems Miami (FL), USA April 14-18, 2008 12/11/2007
HSCC'08 International Workshop on Hybrid Systems Computation and Control Saint Louis (MO), USA April 22-24, 2008 Over
RTAS'08 Real-Time and Embedded Technology and Applications Symposium Saint Louis (MO), USA April 22-24, 2008 19/10/2007
EDCC'08 European Dependable Computing Conference Kaunas, Lithuania May 7-9, 2008 Over
ICSE'08 International Conference on Software Engineering Leipzig, Germany May 10-18, 2008 Over
FM'08 International Symposium on Formal Methods Turku, Finland May 26-30, 2008 11/11/2007
WODES'08 Workshop on Discrete Event Systems Göteborg, Sweden May 28-30, 2008 18/01/2008
FMOODS'08 IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems Oslo, Norway June 4-6, 2008 08/01/2008
PLDI'08 Conference on Programming Language Design and Implementation Tucson (AZ), USA June 7-13, 2008 12/11/2007
SIES'08 IEEE Symposium on Industrial Embedded Systems Montpellier, France June 11-13, 2008 18/01/2008
LCTES'08 Conference on Languages, Compilers, and Tools for Embedded Systems Tucson (AZ), USA June 12-13 2008 06/02/2008
ICDCS'08 International Conference on Distributed Computing Systems Beijing, China June 17-20, 2008 15/11/2007
DSN'08 International Conference on Dependable Systems and Networks Anchorage (AK), USA June 24-27, 2008 03/12/2007
ECRTS'08 Euromicro Conference on Real-Time Systems Prague, Czech Republic July 2-4, 2008 11/01/2008
CAV'08 Computer-Aided Verification Conference Princeton (NJ), USA July 7-13, 2008 28/01/2008
ICSOFT'08 International Conference on Software and Data Technologies Porto, Portugal July 5-8, 2008 19/03/2008
SSIRI'08 International Conference on Secure System Integration and Reliability Improvement Yokohama, Japan July 14-17, 2008 01/02/2008
SAS'08 Static Analysis Symposium Valencia, Spain July 16-18, 2008 12/01/2008
ICESS'08 International Conference on Embedded Software and Systems Chengdu, China July 29-31, 2008 01/02/2008
CONCUR'08 International Conference on Concurrency Theory Toronto, Canada August 19-22, 2008 11/04/2008
EURO-PAR'08 European Conference on Parallel Computing Las Palmas de Gran Canaria, Spain August 26-29, 2008 25/01/2008
DSD'08 Euromicro Conference on Digital System Design Parma, Italy September 3-5, 2008 03/03/2008
DIPES'08 IFIP Working Conference on Distributed and Parallel Embedded Systems Milano, Italy September 7-10, 2008 01/12/2007
CASES'08 International Conference on Compilers, Architecture and Synthesis for Embedded Systems Atlanta (GA), USA 2008 ???
CODES+ISSS'08 International Symposium on Hardware/Software Codesign and System Synthesis Atlanta (GA), USA 2008 ???

Other good places to find related conferences are the Artist web site and the conference alert in computing.