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.