Difference between revisions of "ETAPS 2002"
Jump to navigation
Jump to search
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
|||
| (2 intermediate revisions by one other user not shown) | |||
| Line 22: | Line 22: | ||
|has tutorial chair=Saddek Bensalem | |has tutorial chair=Saddek Bensalem | ||
|has Keynote speaker=Jose Meseguer, Luigi Santocanale, Nicolas Halbwachs, Eerke Boiten | |has Keynote speaker=Jose Meseguer, Luigi Santocanale, Nicolas Halbwachs, Eerke Boiten | ||
| + | |pageCreator=Tolga.karaarslan | ||
| + | |pageEditor=Tolga.karaarslan | ||
| + | |contributionType=1 | ||
}} | }} | ||
The 5. European Conferences on Theory and Practice of Software (ETAPS) 2002 | The 5. European Conferences on Theory and Practice of Software (ETAPS) 2002 | ||
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. | The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998. | ||
| + | |||
| + | |||
| + | ==Main Conferences== | ||
| + | *CC 2002, International Conference on Compiler Construction | ||
| + | *ESOP 2002, European Symposium on Programming | ||
| + | *FASE 2002, Fundamental Approaches to Software Engineering | ||
| + | *FOSSACS 2002, Foundations of Software Science and Computation Structures | ||
| + | *TACAS 2002, Tools and Algorithms for the Construction and Analysis of Systems | ||
Latest revision as of 20:26, 1 April 2022
| ETAPS 2002 | |
|---|---|
European Conferences on Theory and Practice of Software
| |
| Ordinal | 5 |
| Event in series | ETAPS |
| Dates | 2002/04/08 (iCal) - 2002/04/12 |
| Presence | presence |
| Homepage: | http://www-etaps.imag.fr/ |
| Location | |
| Location: | Grenoble, France |
| Important dates | |
| Submissions: | 2001/10/19 |
| Notification: | 2001/12/14 |
| Camera ready due: | 2002/01/18 |
| Committees | |
| Organizers: | Laurent Mounier, Jean-Claude Fernandez |
| General chairs: | Susanne Graf |
| PC chairs: | Jean-Claude Fernandez |
| Workshop chairs: | Rachid Echahed |
| Seminars Chair: | Saddek Bensalem |
| Keynote speaker: | Jose Meseguer, Luigi Santocanale, Nicolas Halbwachs, Eerke Boiten |
| Table of Contents | |
The 5. European Conferences on Theory and Practice of Software (ETAPS) 2002
The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science. It is an annual event held in Europe each spring since 1998.
Main Conferences
- CC 2002, International Conference on Compiler Construction
- ESOP 2002, European Symposium on Programming
- FASE 2002, Fundamental Approaches to Software Engineering
- FOSSACS 2002, Foundations of Software Science and Computation Structures
- TACAS 2002, Tools and Algorithms for the Construction and Analysis of Systems
Important Dates
October 19, 2001: Submissions deadline for the main conferences, demos and tutorials (over)
November 18, 2001: Submissions deadline for the tool demonstrations (over)
December 14, 2001: Notification of acceptance/rejection (over)
January 18, 2002: Camera-ready version due (over)
Before March 6, 2002: Early registration (running)
April 8 - 12: ETAPS 2002 main conferences
April 6 - 14: Satellite events