Upcoming Deadlines
| Deadline | Name | When | Where |
|---|
| January 8, 2007 | FMOODS'07 | June 6-8, 2007 | Paphos, Cyprus |
| January 12, 2007 | SBLP'07 | May 23-25, 2007 | Natal, Brazil |
| January 12, 2007 | CiE 2007 (Computability in Europe) | June 18-23, 2007 | Siena, Italy |
| January 21, 2007 | ACSD (7th Inter Conf. Application of Concurrency to System Design) | June 1-13, 2007 | Bratislava, Slovak Republik |
| January 27, 2007 | Coordination'07 | June 6-8, 2007 | Paphos, Cyprus |
| January 28, 2007 | CALCO'07 (2nd Conf. Algebra and Coalgebra in Computer Science) | August 20-24, 2007 | Bergen, Norway |
| January 28, 2007 | [[http://www.sei.ecnu.edu.cn/TASE2007/] [TASE'07(1st IEEE & IFIP Inter. Symp. Theoretical Aspects of Software Eng.)]] | June 6-8, 2006 | Shangai, China |
| January 29, 2007 | IFM 2007 (Integrated Formal Methods) | July 2-6, 2007 | Oxford, UK |
| January 30, 2007 | EuroPLoP 2007 (12th European Conf. Pattern Languages of Programs) | July 4-8, 2007 | Irsee Monastery, Germany |
| February 16, 2007 | Qac'07 (First Inter. Workshop on Quality Aspects of Coordination) | June 4-5, 2007 | Shangai, China |
| February 20, 2007 | SARP'2007 (First Int. Ws. Software Architecture Research and Practice) | July 1-6, 2007 | Silicon Valley, USA |
| March 11, 2007 | SACT'07 (2th IEEE A Software Architectures & Component Technologies) | July 24-27, 2007 | Beijing, China |
| March 19, 2007 | ESEC/FSE 2007 | September 3-7 | Dubrovnik, Croatia |
| March 19, 2007 | MODELS 2007 | September 30 - October 5, 2007 | Nashville, USA |
| March 26, 2007 | CONCUR'07 | September 4-7 | Lisbon, Portugal |
| May 4, 2007 | Refine'07 (BCS-FACS Refinement Workshop) | July 2-6, 2007 | Oxford, UK |
| May 15, 2007 | SBMF'07 | August, 29-31 | Ouro Preto, Brazil |
| April 16, 2007 | SCAM'07 | September 30 - October 1, 2007 | Maison Internationale, Paris, France |
Past Deadlines
| Deadline | Name | When | Where |
|---|
| July 8, 2005 | 3nd APPSEM II Workshop | September 12-15, 2005 | Frauenchiemsee, Germany |
| July 8, 2005 | Trends in Functional Programming | September 23-24, 2005 | Tallinn, Estonia |
| July 15, 2005 | Formal Aspects of Component Software | October 24-25, 2005 | Macao |
| August 7, 2005 | Implementation and Application of Functional Languages | September 19-21, 2005 | Dublin, Ireland |
| August 20, 2005 | Practical Aspects of Declarative Languages | January 11-13, 2006 | South Carolina, USA |
| October 3, 2005 | Programming Language Technologies for XML | January 14, 2006 | South Carolina, USA |
| October 7, 2005 | ETAPS'06 (FASE, FOSSACS, ESOP, TACAS, CC) | March 25 - April 2, 2006 | Vienna, Austria |
| November 11, 2005 | FLOPS'06 (Eighth International Symposium on Functional and Logic Programming) | April 24-26, 2006 | Fuji Susono, Japan |
| December 2, 2005 | SC'06 (5th International Workshop on Software Composition) | March 25-26, 2006 | Vienna, Austria |
| December 11, 2005 | CSR'06 (International Computer Science Symposium in Russia) | June, 8-12, 2006 | St. Petersburg, Russia |
| December 14, 2005 | FESCA'06 (Formal Foundations of Embedded Software and Component-Based Software Architectures) | March 26, 2006 | Vienna, Austria |
| January 8, 2006 | CMCS'06 (8th International Workshop on Coalgebraic Methods in Computer Science) | March 25-27, 2006 | Vienna, Austria |
| January 10, 2006 | FMOODS'06 (8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems) | June 13-16, 2006 | Bologna, Italy |
| January 10, 2006 | Coordination'06 (8th International Conference on Coordination Models and Languages) | June 13-16, 2006 | Bologna, Italy |
| January 20, 2006 | ICPC'06 (14th International Conference on Program Comprehension) | June 14-16, 2006 | Athens, Greece |
| January 21, 2006 | SBLP (10º Brazilian Symposium on Programing Languages) | May 15-19, 2006 | Itatiaia, Brasil |
| January 27, 2006 | DEON'06(Deontic Logic in Computer Science) | July 12-14, 2006 | Utrecht, The Netherlands |
| January 27, 2006 | MPC'06 & AMAST'06 | July 3-5, 2006 | Kuressaare, Estonia |
| February 3, 2006 | LICS'06 (Logic in Computer Science) | August 12-15 | Seattle, USA |
| February 10, 2006 | ICALP'06 (33rd International Colloquium on Automata, Languages and Programming) | July, 9-16 | Venice, Italy |
| February 15, 2006 | MFPS XXII (Twenty-second Conference on the Mathematical Foundations of Programming Semantics) | May, 24-27 | Genoa, Italy |
| February 24, 2006 | FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS | August 21 - 27, 2006 | Hamilton, Canada |
| February 27, 2006 | RelMiCS/AKA 2006: Joint 9th International Conference on RELATIONAL METHODS IN COMPUTER SCIENCE and 4th International Workshop on APPLICATIONS OF KLEENE ALGEBRA | 29 Aug.-2 Sep. 2006 | Manchester, UK |
| March 3, 2006 | JMLC2006 | September, 12-15 | Oxford, UK |
| March 20, 2006 | MoDELS'06 | October, 1-6 | Genoa, Italy |
| March 21, 2006 | CONCUR'06 | August 27-30 | Bonn, Germany |
| March 27, 2006 | AiML'06: Advances in Modal Logic | September 25-28 | Queensland, Australia |
| March 31, 2006 | MTCoord'06 | June 13 | Bologna, Italy |
| April 11, 2006 | SIGSOFT 2006 / FSE 14 (14th ACM Symposium on Foundations of Software Engineering) | November 5-11 | Portland, Oregon, USA |
| April 11, 2006 | CSL'06 (Computer Science Logic 2006) | September 25-29 | Szeged, Hungary |
| April 30, 2006 | Generative Programming and Component Engineering (GPCE'06) | October 22-26 | Portland, USA |
| May 1, 2006 | ICTAC'06 (Int. Symp. Theo. Aspects of Computing) | November 22-24 | Gammarth/Tunis, Tunisia |
| May 12, 2006 | ICFEM 2006 (Eighth International Conference on Formal Engineering Methods) | October 30 - November 3 | Macau |
Summer and Winter Schools
Journals
|
|
|
 Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback
|
|
