PRELIMINARY CALL FOR PAPERS
HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC 2003)
*******************************************************************************
Sixth International Workshop
Prague, The Czech Republic
http://www-hscc03.imag.fr
Important Dates
Submission deadline: October 15, 2002
Notification of acceptance: December 15, 2002
Final versions due: January 15, 2003
Workshop: April 3-5 (Thu-Sat), 2003
Aims and Scope
The Workshop on Hybrid Systems attracts researchers from academia
and industry interested in modeling, analysis, and implementation of
dynamic and reactive systems involving both discrete (integer,
logical, symbolic) and continuous behaviors. It is a forum for the
latest developments in all aspects of hybrid systems, including formal
models and computational representations, algorithms and heuristics,
computational tools, and new challenging applications. The Sixth HSCC
International Workshop continues the series of workshops held in
Grenoble, France (HART'97), Berkeley, California, USA (HSCC'98),
Nijmegen, The Netherlands (HSCC'99), Pittsburgh, Pennsylvania, USA
(HSCC 2000), Rome, Italy (HSCC2001) and Palo Alto, California USA
(HSCC2002). Accepted papers will be allotted 14 pages each in a volume
to be published in the Springer-Verlag Lecture Notes in Computer
Science (LNCS) series.
Scientific Program and Topics
Sessions will include presentations of contributed papers and a
small number of invited talks. In keeping with the tradition of
previous workshops, there will be ample time and space for informal
discussions. Submissions are invited in all areas pertaining to
the design, analysis and implementation of hybrid systems.
Topics of interest include, but are not limited to:
- modeling and representations,
- timed and hybrid automata,
- formal methods for analysis, synthesis and verification,
- numerical aspects of simulating, and verifying hybrid systems,
- computer-aided design,
- control methods and algorithms, optimization
- hybrid models in biology and other sciences,
- engineering applications, including but not limited to
manufacturing and production systems, intelligent robots, avionics,
automotive control systems, railway systems, energy systems, and
transportation networks.
Reports on case studies and tool development are particularly encouraged.
A strong representation of multiple disciplines, including formal methods,
symbolic computation, control theory, artificial intelligence, and
numerical methods, assures a lively and productive workshop.
Venue
The workshop will be held at Prague, the lovely capital
of the Czech Republic in the Pyramida Hotel.
Submissions
Researchers are invited to submit either a postscript or pdf file
of an extended abstract using the electronic-submission procedure
through the workshop web-page http://www-hscc03.imag.fr
The abstract should not exceed 10 pages.
The first page should contain:
- the title of the paper,
- each author's name and affiliation,
- complete contact information for the corresponding author (postal
and e-mail addresses, telephone and fax numbers), and a
- one-paragraph summary of the contribution.
Full versions of the accepted submissions will be published in the
Springer Lecture Notes in Computer Science series. The proceedings
will be available at the workshop.
Workshop Co-chairs: Amir Pnueli and Oded Maler
Program Committee:
Rajeev Alur University of Pennsylvania
Eugene Asarin VERIMAG, Grenoble
Alberto Bemporad University of Siena
Jennifer Davoren University of Melbourne
Sebastian Engell University of Dortmund
Mark Greenstreet University of British Columbia
Bruce Krogh Carnegie Mellon University
Benjamin Kuipers University of Texas, Austin
Kim Larsen University of Aalborg
John Lygeros University of Cambridge
Oded Maler VERIMAG, Grenoble
Manfred Morari ETH, Zurich
George Pappas University of Pennsylvania
Anders Rantzer University of Lund
Amir Pnueli Weizmann Institute, Rehovot
Anders Ravn University of Aalborg
Alberto Sangiovanni-Vincentelli University of California, Berkeley
Shankar Sastry University of California, Berkeley
Ashish Tiwari SRI international
Paolo Traverso IRST, Trento
Howard Wong-Toi Cadence Berkeley Labs
Steering Committee:
Rajeev Alur, Mark Greenstreet, Bruce Krogh (chair),
Oded Maler, Manfred Morari, George Pappas, Amir Pnueli,
Anders Ravn, Alberto Sangiovanni-Vincentelli, Claire Tomlin.
Local Organization:
The workshop is locally sponsored by Honeywell Prague Laboratory with
support of Guarant travel agency.
Amir Pnueli
Department of Computer Science
Weizmann Institute of Science
Rehovot 76100
Israel
amir(a)wisdom.weizmann.ac.il
Oded Maler
CNRS-VERIMAG
2, av. de Vignate
38610 Gieres
France
maler(a)imag.fr
One URL was mispelled in the previous Email, sorry...
=================================================================
SIGMOD / PODS 2002
Madison, Wisconsin
June 3-6, 2002
http://www-db.cs.wisc.edu/sigmodpods2002
PODS 2002 Call for Papers
21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
The symposium invites papers in the fundamental aspects of databases.
Original research papers on the theory, design, specification, or
implementation of databases are solicited. Papers emphasizing new topics or
foundations of emerging areas are especially welcomed.
IMPORTANT DATES:
* November 2, 2001 - Paper registration and short abstracts due.
* November 9, 2001 - Papers due.
* January 29, 2002 - Notification of acceptance/rejection.
* February 26, 2002 - Camera-ready papers due.
TOPICS:
Suggested topics include the following (this list is not exhaustive and the
order does not reflect priorities):
* Access Methods and Physical Design * Performance Evaluation
* Concurrency Control * Transaction Management
* Integrity and Security * Data Models
* Logic in Databases * Query Languages
* Query Optimization * Database Programming Languages
* Database Updates * Active Databases
* Deductive Databases and Knowledge Bases * Object-oriented Databases
* Multimedia Databases * Spatial and Temporal Databases
* Constraint Databases * Real-time Databases
* Distributed Databases * Data Integration and
Interoperability
* Views and Warehousing * Data Mining
* Databases and Information Retrieval * Semistructured Data and XML
* Information Processing on the Web * Databases in E-commerce
* Databases and Workflows
SUBMISSION INSTRUCTIONS:
Paper titles and short abstracts (about 100 words) should be received by the
PC Chair on or before November 2, 2001. Papers are due on November 9, 2001.
These are firm deadlines. There will be no exceptions.
Electronic and hard copy submissions are accepted. Electronic submissions
are STRONGLY preferred. Note that for accepted papers, an electronic version
of the final paper is required by the camera-ready copy due date.
Detailed instructions for submissions can be found by following the
"PODS Call for Papers" link at the SIGMOD/PODS 2002 homepage:
http://www-db.cs.wisc.edu/sigmodpods2002
SUBMISSION FORMAT:
TITLES and SHORT ABSTRACTS: this year, authors are required to submit a
paper title and short abstract about 100 words before submitting their
paper (see the important dates).
PAPERS: The address, telephone number, FAX number, and e-mail address of the
contact author should appear on the title page of the submission.
Submissions should be limited to 10 pages (with font size at least 11 pts)
and may consist of extended abstracts. Each submission must provide
sufficient detail to allow the program committee to assess its merits and
should include appropriate references to and comparisons with the
literature.
It is recommended that each submission begin with a succinct statement of
the problem, a summary of the main results, and a brief explanation of their
significance and relevance to the conference, all suited for the
non-specialist. Technical development of the work, directed to the
specialist, should follow. If the authors believe more details are necessary
to substantiate the main claims of the paper, they may include a clearly
marked appendix to be read at the discretion of the committee.
PUBLICATION OF PAPERS:
Please note that papers will be released to the public
shortly after the camera-ready deadline. Issues involving patents or
confidentiality will have to be resolved by that deadline.
AWARDS:
BEST NEWCOMER AWARD: An award will be given to the best submission,
as judged by the program committee, written solely by authors
who have never published in earlier PODS proceedings.
BEST PAPER AWARD: There will also be an award for the best of all
papers submitted, as judged by the program committee.
The program committee reserves the right to give both awards to the same
paper, not to give an award, or to split an award among several papers.
Papers authored or co-authored by program committee members are not eligible
for an award.
CONFERENCE ORGANIZATION:
PODS General Chair:
* Serge Abiteboul, INRIA, France
Program Chair:
* Phokion G. Kolaitis (kolaitis(a)cs.ucsc.edu)
UC Santa Cruz & IBM Almaden Research Center
Program Committee:
* Walid Aref, Purdue University
* Catriel Beeri, Hebrew University of Jerusalem
* Nicole Bidoit, University of Bordeaux
* Surajit Chaudhuri, Microsoft Research
* Thomas Eiter, Technical University of Vienna
* Ronald Fagin, IBM Almaden Research Center
* Giuseppe De Giacomo, University of Rome "La Sapienza"
* Stephane Grumbach, INRIA
* Dimitris Gunopulos, UC Riverside
* Phokion G. Kolaitis, UC Santa Cruz and IBM Almaden Research Center
* Leonid Libkin, University of Toronto
* Jeff Naughton, University of Wisconsin, Madison
* Ken Ross, Columbia University
* Dan Suciu, University of Washington
* Thomas Schwentick, University of Marburg
* Jeffrey D. Ullman, Stanford University
Proceedings Chair:
* Lucian Popa (lucian(a)almaden.ibm.com)
IBM Almaden Research Center
Publicity Chair:
* Luc Segoufin (luc.segoufin(a)inria.fr)
INRIA
IMPORTANT DATES:
* November 2, 2001 - Paper registration and short abstracts due.
* November 9, 2001 - Papers due.
* January 29, 2002 - Notification of acceptance/rejection.
* February 26, 2002 - Camera-ready papers due.
==========================================================================
=================================================================
SIGMOD / PODS 2002
Madison, Wisconsin
June 3-6, 2002
http://www-db.cs.wisc.edu/sigmodpods2002
PODS 2002 Call for Papers
21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
The symposium invites papers in the fundamental aspects of databases.
Original research papers on the theory, design, specification, or
implementation of databases are solicited. Papers emphasizing new topics or
foundations of emerging areas are especially welcomed.
IMPORTANT DATES:
* November 2, 2001 - Paper registration and short abstracts due.
* November 9, 2001 - Papers due.
* January 29, 2002 - Notification of acceptance/rejection.
* February 26, 2002 - Camera-ready papers due.
TOPICS:
Suggested topics include the following (this list is not exhaustive and the
order does not reflect priorities):
* Access Methods and Physical Design * Performance Evaluation
* Concurrency Control * Transaction Management
* Integrity and Security * Data Models
* Logic in Databases * Query Languages
* Query Optimization * Database Programming Languages
* Database Updates * Active Databases
* Deductive Databases and Knowledge Bases * Object-oriented Databases
* Multimedia Databases * Spatial and Temporal Databases
* Constraint Databases * Real-time Databases
* Distributed Databases * Data Integration and
Interoperability
* Views and Warehousing * Data Mining
* Databases and Information Retrieval * Semistructured Data and XML
* Information Processing on the Web * Databases in E-commerce
* Databases and Workflows
SUBMISSION INSTRUCTIONS:
Paper titles and short abstracts (about 100 words) should be received by the
PC Chair on or before November 2, 2001. Papers are due on November 9, 2001.
These are firm deadlines. There will be no exceptions.
Electronic and hard copy submissions are accepted. Electronic submissions
are STRONGLY preferred. Note that for accepted papers, an electronic version
of the final paper is required by the camera-ready copy due date.
Detailed instructions for submissions can be found by following the
"PODS Call for Papers" link at the SIGMOD/PODS 2002 homepage:
http://www-db/cs.wisc.edu/sigmodpods2002
SUBMISSION FORMAT:
TITLES and SHORT ABSTRACTS: this year, authors are required to submit a
paper title and short abstract about 100 words before submitting their
paper (see the important dates).
PAPERS: The address, telephone number, FAX number, and e-mail address of the
contact author should appear on the title page of the submission.
Submissions should be limited to 10 pages (with font size at least 11 pts)
and may consist of extended abstracts. Each submission must provide
sufficient detail to allow the program committee to assess its merits and
should include appropriate references to and comparisons with the
literature.
It is recommended that each submission begin with a succinct statement of
the problem, a summary of the main results, and a brief explanation of their
significance and relevance to the conference, all suited for the
non-specialist. Technical development of the work, directed to the
specialist, should follow. If the authors believe more details are necessary
to substantiate the main claims of the paper, they may include a clearly
marked appendix to be read at the discretion of the committee.
PUBLICATION OF PAPERS:
Please note that papers will be released to the public
shortly after the camera-ready deadline. Issues involving patents or
confidentiality will have to be resolved by that deadline.
AWARDS:
BEST NEWCOMER AWARD: An award will be given to the best submission,
as judged by the program committee, written solely by authors
who have never published in earlier PODS proceedings.
BEST PAPER AWARD: There will also be an award for the best of all
papers submitted, as judged by the program committee.
The program committee reserves the right to give both awards to the same
paper, not to give an award, or to split an award among several papers.
Papers authored or co-authored by program committee members are not eligible
for an award.
CONFERENCE ORGANIZATION:
PODS General Chair:
* Serge Abiteboul, INRIA, France
Program Chair:
* Phokion G. Kolaitis (kolaitis(a)cs.ucsc.edu)
UC Santa Cruz & IBM Almaden Research Center
Program Committee:
* Walid Aref, Purdue University
* Catriel Beeri, Hebrew University of Jerusalem
* Nicole Bidoit, University of Bordeaux
* Surajit Chaudhuri, Microsoft Research
* Thomas Eiter, Technical University of Vienna
* Ronald Fagin, IBM Almaden Research Center
* Giuseppe De Giacomo, University of Rome "La Sapienza"
* Stephane Grumbach, INRIA
* Dimitris Gunopulos, UC Riverside
* Phokion G. Kolaitis, UC Santa Cruz and IBM Almaden Research Center
* Leonid Libkin, University of Toronto
* Jeff Naughton, University of Wisconsin, Madison
* Ken Ross, Columbia University
* Dan Suciu, University of Washington
* Thomas Schwentick, University of Marburg
* Jeffrey D. Ullman, Stanford University
Proceedings Chair:
* Lucian Popa (lucian(a)almaden.ibm.com)
IBM Almaden Research Center
Publicity Chair:
* Luc Segoufin (luc.segoufin(a)inria.fr)
INRIA
IMPORTANT DATES:
* November 2, 2001 - Paper registration and short abstracts due.
* November 9, 2001 - Papers due.
* January 29, 2002 - Notification of acceptance/rejection.
* February 26, 2002 - Camera-ready papers due.
==========================================================================
Dear Colleague
I would like to invite you to attend the
IEEE International Conference on Software Maintenance, 2001, and
associated workshops: IEEE SCAM, IEEE WESS, IEEE WSE, TABOO.
FLORENCE, ITALY, 6-10 November 2001
http://www.dsi.unifi.it/icsm2001
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
Theme: Systems and Software Evolution in the era of the Internet
kEYWORDS: software evolution, embedded suystems, program analysis,
reengineering, managment, maintenance, lyfe cycle, Internet and
distributed systems, Multimedia systems, User interface evolution,
Commercial off-the-shelf (COTS), Program comprehension, Formal methods,
Empirical studies, Testing and regression testing, Measurement of software,
METRICS,etc.
Please forward the following to anybody you think may be interested.
The discount for the advanced registration fee will be active for few days.
Apologies for multiple receptions.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
Paolo Nesi
(ICSM2001 General Chair)
Subject: ETAPS 2002, CALL FOR SUBMISSIONS
To: finite-model-theory(a)informatik.rwth-aachen.de
Please apologize if you receive multiple copies of this message.
**********************************************************
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
**********************************************************
The European Joint Conferences on Theory and Practice of Software
ETAPS is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
******************************
* http://www-etaps.imag.fr/ *
******************************
CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - Tutorials - Tool Demonstrations
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Nigel Horspool
http://www.csr.UVic.CA/cc2002/
ESOP 2001, European Symposium On Programming
Chair: Daniel Le Metayer
FASE 2001, Fundamental Approaches to Software Engineering
Chairs: Ralf-Detlef Kutsche and Herbert Weber
http://www.cis.cs.tu-berlin.de/~fase2002/index_general.html
FOSSACS 2001 Foundations of Software Science and Computation Structures
Chair: Mogens Nielsen
http://www.brics.dk/fossacs02/
TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Perdita Stevens and Joost-Pieter Katoen
Tool chair: Hubert Garavel
http://www.dcs.ed.ac.uk/tacas2002/
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
Contact: Matt Kaufmann, matt.kaufmann(a)amd.com
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
AGT: APPLIGRAPH Workshop on Applied Graph Transformation
Contact: Hans-Jvrg Kreowski, kreo(a)informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/theorie/AGT2002
CMCS: Coalgebraic Methods in Computer Science
Contact: Larry Moss, University of Indiana, lsm(a)cs.indiana.edu
http://www.cs.indiana.edu/cmcs
COCV: Compiler Optimization Meets Compiler Verification
Contact: Jens Knoop, knoop(a)ls5.cs.uni-dortmund.de
http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
DCC: Designing Correct Circuits
Contact: Mary Sheeran, ms(a)cs.chalmers.se
http://www.cs.chalmers.se/~ms/DCC02/
INT: Second Workshop on Integration of Specification Techniques for
Applications in Engineering
Contact: Martin Gro_e-Rhode, mgr(a)cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~mgr/int02/
LDTA: Second Workshop on Language Descriptions, Tools and Applications
Contact: Marjan Mernik, marjan.mernik(a)uni-mb.si
http://www.cwi.nl/conferences/LDTA2002/
SC: Software Composition
Contact: Elke Pulverm|ller, pulvermueller(a)acm.org
http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages
Contact: Gerald L|ttgen, g.luettgen(a)dcs.shef.ac.uk
http://www.dcs.shef.ac.uk/~sfedl
SLAP: Synchronous Languages, Applications, and Programming
Contact: Florence Maraninchi, Florence.Maraninchi(a)imag.fr
http://www.inrialpes.fr/bip/people/girault/Publications/Slap02
SPIN: 9th International SPIN Workshop on Model Checking of Software
Contact: Stefan Leue, spin2002(a)informatik.uni-freiburg.de
http://tele.informatik.uni-freiburg.de/spin2002
TPTS: Theory and Practice of Timed Systems
Contact: Oded Maler, Oded.Maler(a)imag.fr
http://www-verimag.imag.fr/~maler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications
Contact: Anca Muscholl, muscholl(a)liafa.jussieu.fr
http://www.liafa.jussieu.fr/~anca/VISS02.html
Tutorials
-----------------------------------------------------------------------
Proposals for half-day or full-day tutorials related to ETAPS 2001 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2001.
Contact: Saddek Bensalem, Verimag, Saddek.Bensalem(a)imag.fr
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art are
invited. Submissions in this category should present tools having a
clear connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately.
Contact: Peter D. Mosses, etaps2002-demo(a)brics.dk
-----------------------------------------------------------------------
INVITED SPEAKERS
-----------------------------------------------------------------------
Ed Clarke, Carnegy Mellon University, USA (Spin workshop)
Bruno Courcelle, LaBRI, Bordeaux, France
Patrick Cousot, ENS Paris, France
John Daniels, Syntropy Limited, London, UK
Daniel Jackson, Massachusetts Institute of Technology, USA
Michael Lowry, NASA Ames Research Center, USA
Greg Morrisett, Cornell University, USA
Mary Shaw, Carnegy Mellon University, USA
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
October 19, 2001: Submissions Deadline for the Main Conferences,
Demos and Tutorials
December 14, 2001: Notification of Acceptance/Rejection
January 18 2002: Camera-ready Version Due
April 8-12, 2002: ETAPS main Conferences in GRENOBLE
April 6-14, 2001: Satellite Events
-----------------------------------------------------------------------
-----------
you received this e-mail via the individual or collective address
finite-model-theory(a)informatik.rwth-aachen.de
to unsubscribe from ETAPS list: contact etaps02(a)ormelune.imag.fr
Dear Colleague
I would like to invite you to attend the
IEEE International Conference on Software Maintenance, 2001, and
associated workshops: IEEE SCAM, IEEE WESS, IEEE WSE, TABOO.
FLORENCE, ITALY, 6-10 November 2001
http://www.dsi.unifi.it/icsm2001
Sponsored by IEEE
Supported bt the: EC-IST, University of Florence, O-Groupi, IBM Italy
in collaboration with: TABOO, AICA, AIIA, ERCIM, UNINFO, CESVIT, ...
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
Theme: Systems and Software Evolution in the era of the Internet
kEYWORDS: software evolution, embedded suystems, program analysis,
reengineering, managment, maintenance, lyfe cycle, Internet and distributed
systems, Multimedia systems, User interface evolution, Commercial off-the-shelf
(COTS), Program comprehension, Formal methods, Empirical studies,
Testing and regression testing, Measurement of software, METRICS,etc.
Outstanding Keynotes such as:
Prof. David Lorge Parnas and Prof. Dieter Rombach. Kent Beck
110 technical presentations, 4 workshops,
Industrial papers and experiences, reseach papers and award, tutorials,
tool expositions, dissertation forum and award, workshops, panels,
and other exciting activities have been planned.
Please forward the following to anybody who you think may be interested.
The discount for the advanced registration fee will be active for few weeks.
Apologies for multiple receptions.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
Paolo Nesi
(ICSM2001 General Chair)
At the Institute of Mathematical Logic of the University of Freiburg there
is a postgraduate or postdoctorate position available for two to three
years, starting October 1, 2001. Applicants should work in the area of
finite model theory. Duties include tutorials for seminars and/or lecture
courses. Payment is between one half of BAT IIa to full BAT IIa (the
applicable payment class of public service), according to qualification.
Please, send your application to
H.-D. Ebbinghaus and/or J. Flum
Institut f"ur Mathematische Logik
Universit"at Freiburg
Eckerstrasse 1
79104 Freiburg
Germany
e-mail: hde(a)uni-freiburg.de, flum(a)uni-freiburg.de
Please apologize if you receive multiple copies of this message.
**********************************************************
*** ETAPS 2002 ***
*** APRIL, 6-14, 2002 ***
*** GRENOBLE, FRANCE ***
**********************************************************
The European Joint Conferences on Theory and Practice of Software
ETAPS is a loose and open confederation of conferences and other
events that has become the primary European forum for academic and
industrial researchers working on topics relating to Software Science.
******************************
* http://www-etaps.imag.fr/ *
******************************
FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS
-----------------------------------------------------------------------
5 Conferences - 13 Satellite Events - Tutorials - Tool Demonstrations
-----------------------------------------------------------------------
Conferences
-----------------------------------------------------------------------
CC 2001: International Conference on Compiler Construction
Chair: Nigel Horspool
ESOP 2001, European Symposium On Programming
Chair: Daniel Le Metayer
FASE 2001, Fundamental Approaches to Software Engineering
Chairs: Ralf-Detlef Kutsche and Herbert Weber
FOSSACS 2001 Foundations of Software Science and Computation Structures
Chair: Mogens Nielsen
TACAS 2001, Tools and Algorithms for the Construction and Analysis of Systems
Chairs: Perdita Stevens and Joost-Pieter Katoen
Satellite Events
-----------------------------------------------------------------------
ACL2: Third Workshop on the ACL2 Theorem Prover and its Applications
Contact: Matt Kaufmann, matt.kaufmann(a)amd.com
http://www.cs.utexas.edu/users/moore/acl2/workshop-2002/
AGT: APPLIGRAPH Workshop on Applied Graph Transformation
Contact: Hans-Jörg Kreowski, kreo(a)informatik.uni-bremen.de
http://www.informatik.uni-bremen.de/theorie/AGT2002
CMCS: Coalgebraic Methods in Computer Science
Contact: Larry Moss, University of Indiana, lsm(a)cs.indiana.edu
http://www.cs.indiana.edu/cmcs
COCV: Compiler Optimization Meets Compiler Verification
Contact: Jens Knoop, knoop(a)ls5.cs.uni-dortmund.de
http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
DCC: Designing Correct Circuits
Contact: Mary Sheeran, ms(a)cs.chalmers.se
http://www.cs.chalmers.se/~ms/DCC02/
INT: Second Workshop on Integration of Specification Techniques for
Applications in Engineering
Contact: Martin Große-Rhode, mgr(a)cs.tu-berlin.de
http://tfs.cs.tu-berlin.de/~mgr/int02/
LDTA: Second Workshop on Language Descriptions, Tools and Applications
Contact: Marjan Mernik, marjan.mernik(a)uni-mb.si
http://www.cwi.nl/conferences/LDTA2002/
SC: Software Composition
Contact: Elke Pulvermüller, pulvermueller(a)acm.org
http://i44www.info.uni-karlsruhe.de/~pulvermu/workshops/SC2002
SFEDL: Semantic Foundations of Engineering Design Languages
Contact: Gerald Lüttgen, g.luettgen(a)dcs.shef.ac.uk
http://www.dcs.shef.ac.uk/~sfedl
SLAP: Synchronous Languages, Applications, and Programming
Contact: Florence Maraninchi, Florence.Maraninchi(a)imag.fr
http://www.inrialpes.fr/bip/people/girault/Publications/Slap02
SPIN: 9th International SPIN Workshop on Model Checking of Software
Contact: Stefan Leue, spin2002(a)informatik.uni-freiburg.de
http://tele.informatik.uni-freiburg.de/spin2002
TPTS: Theory and Practice of Timed Systems
Contact: Oded Maler, Oded.Maler(a)imag.fr
http://www-verimag.imag.fr/~maler/TPTS.html
VISS: Validation and Implementation of Scenario-based Specifications
Contact: Anca Muscholl, muscholl(a)liafa.jussieu.fr
Tutorials
-----------------------------------------------------------------------
Proposals for half-day or full-day tutorials related to ETAPS 2001 are
invited. Tutorial proposals will be evaluated on the basis of their
assessed benefit for prospective participants to ETAPS 2001.
Contact: Saddek Bensalem, Verimag, Saddek.Bensalem(a)imag.fr
Tool Demonstrations
-----------------------------------------------------------------------
Demonstrations of tools presenting advances on the state of the art are
invited. Submissions in this category should present tools having a
clear connection to one of the main ETAPS conferences, possibly
complementing a paper submitted separately.
Contact: Peter D. Mosses, etaps2002-demo(a)brics.dk
-----------------------------------------------------------------------
INVITED SPEAKERS
-----------------------------------------------------------------------
Bruno Courcelle, LaBRI, Bordeaux, France
Patrick Cousot, ENS Paris, France
John Daniels, Syntropy Limited, London, UK
Daniel Jackson, Massachusetts Institute of Technology, USA
Michael Lowry, NASA Ames Research Center, USA
Greg Morrisett, Cornell University, USA
Mary Shaw, Carnegy Mellon University, USA
-----------------------------------------------------------------------
IMPORTANT DATES
-----------------------------------------------------------------------
October 19, 2001: Submissions Deadline for the Main Conferences,
Demos and Tutorials
December 14, 2001: Notification of Acceptance/Rejection
January 18 2002: Camera-ready Version Due
April 8-12, 2002: ETAPS main Conferences in GRENOBLE
April 6-14, 2001: Satellite Events
-----------------------------------------------------------------------
-----------
you received this e-mail via the individual or collective address
finite-model-theory(a)informatik.rwth-aachen.de
to unsubscribe from ETAPS list: contact etaps02(a)ormelune.imag.fr
Dear Colleague
I hope that this CFPs could be useful for your work.
Please forward the following to anybody who you think may be interested.
Apologies if you have already seen this.
If you would like to be removed from our list please send an email to
icsm2001(a)dsi.unifi.it with REMOVE in the subject.
ICSM2001
Technical Committee
_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=
CALL---FOR---PAPERS
IEEE International Conference on Software Maintenance 2001
FLORENCE, ITALY, 5-9 November 2001,
http://www.dsi.unifi.it/icsm2001
Theme: Systems and Software Evolution in the era of the Internet
_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=_=
ICSM is the major international conference in the field of software and
systems maintenance, evolution, and management.
In the era of the Internet, businesses and end-users have invested in new
technologies and small and large software organizations around the world
are looking for Internet related solutions to evolve and maintain their
new Internet software products.
Internet technologies are strongly impacting system architectures and
business processes and rules. In some cases businesses and end-users
have been overwhelmed trying to keep up with software development and
evolution processes and practices. In addition to novel solutions to
enable the life-cycle of new web-based software systems, huge investments
are necessary to migrate aginglegacy applications to web-enabled
contemporary systems.
ICSM 2001 will address these major changes in the software landscape and
their impact on maintenance and evolution. The focus of the conference
will be to explore the new challenges that the Internet, as a driver for
business changes, poses for software maintenance, and the new opportunities
it opens as infrastructure and enabling technology.
The purpose of the conference is to promote discussion and interaction
between researchers and practitioners. We are particularly interested in
exchanging concepts, prototypes, research ideas, and other results which
could contribute to the academic arena and also benefit business and the
industrial community. ICSM 2001 will be participatory, with working
collaborative sessions and presentations of industry projects. ICSM 2001
will bring together researchers, practitioners, developers and users
of tools, technology transfer experts, and project managers.
The Conference will be held in conjunction with WESS, the Workshop on
Empirical Studies of Software.
Topics of interest include but are not restricted to the following
aspects of maintenance and evolution:
- Methods and theories -Processes and strategies
- Organizational frameworks -Life cycle and process control
- Design for maintenance -Tools and environments
- Internet and distributed systems -Multimedia systems
- User interface evolution -Commercial off-the-shelf (COTS)
- Third party maintenance -Freeware and open source applications
- Program comprehension -Software and system visualization
- Knowledge based systems -Formal methods
- Impact of new software practices -Empirical studies
- Software reusability -Programming languages
- Source code analysis and manipulation -Testing and regression testing
- Models and methods for error prediction -Measurement of software
- Maintenance and/or productivity metrics -Preventive maintenance
- Personnel aspects of maintenance -Reengineering and reverse engineering
- Version and configuration management -Legal aspects and standards
- Management and organization -Remote, tele-work, and co-operative applications
RESEARCH PAPERS
Research papers should describe original and significant work in the
research and practice of software maintenance. Research case studies,
empirical research, and experiments are particularly welcome. Papers should be 2000 - 5000 words in length, in English. Submit them
in PDF or PostScript via email to icsm2001(a)unisannio.it by 15 January 2001.
A prize of the Journal of Software Maintenance will be assigned at the
Best submitted Paper.
INDUSTRIAL APPLICATIONS
We welcome proposals for presentations of Industrial Applications.
These can be experience reports from real projects, industrial practices
and models, or tool demonstrations. Submit proposals for Industrial Application
presentations via email to icsm2001.industry(a)unisannio.it by 12 March 2001.
Industrial Applications proposals will be reviewed by a dedicated
sub-committee of the program committee and a 1 page summary of accepted
proposals will be included in the conference proceedings.
TUTORIALS
Tutorials should present software maintenance and evolution topics of
interest to practitioners. Tutorials may be full-day or half-day in length.
Submit tutorial proposals via email to
icsm2001.tutorial(a)unisannio.it by 12 February 2001.
IMPORTANT DATES
Research Paper submission 15 January 2001, notification of acceptance 1 June 2001
Industrial Application submission 12 March 2001
Tutorial submission 12 February 2001
------------------------------
General chair:
Paolo Nesi, University of Florence, Italy, nesi(a)dsi.unifi.it
Financial chair:
Vaclav Rajlich, Wayne State University, USA, vtr(a)cs.wayne.edu
Program co-chairs:
Gerardo Canfora, University of Sannio, Italy, gerardo.canfora(a)unisannio.it
Anneliese von Mayrhauser, Colorado State University, USA, avm(a)CS.ColoState.EDU
Tutorials co-chairs:
Lionel C. Briand, Carleton University, briand(a)sce.carleton.ca
Alessandro Fantechi, University of Florence, Italy, Fantechi(a)dsi.unifi.it
Industrial Applications co-chairs:
Panagiotis K. Linos, Tennessee Technological University, USA, linos(a)tntech.edu
Harry Sneed, Software Engineering Service GmbH, Germany, Harry.Sneed(a)t-online.de
Chris Verhoef, University of Amsterdam, NL, x(a)wins.uva.nl
Publicity co-chairs:
Nicholas Zvegintzov (General Co-chair), Software Management Network, USA,
zvegint(a)attglobal.net
Malcolm Munro (Co-chair for Europe), University of Durham, UK,
malcolm.munro(a)durham.ac.uk
William Cheng-Chung Chu (Co-chair for East), TungHai University, Taiwan,
chu(a)cis.thu.edu.tw
Local Arrangements co-chairs:
Fabrizio Fioravanti, University of Florence, Italy, fioravan(a)dsi.unifi.it
Pierfrancesco Bellini (Industrial Applications, and Demos),
University of Florence, Italy, bellini(a)hpcn.dsi.unifi.it
WEB Master:
Marius Bogdan Spinu, University of Florence, Italy, spinu(a)hpcn.dsi.unifi.it
--------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------
CALL FOR PAPERS
31st International Workshop on Description Logics, DL 2018
October 26th to October 29th, 2018 - Tempe, Arizona, US
http://dl.kr.org/dl2018/
--- PAPER REGISTRATION/SUBMISSION DEADLINE EXTENDED ---
-------------------------------------------------------------------------------
The DL workshop is the major annual event of the description logic research
community. It is the forum at which those interested in description logics,
both from academia and industry, meet to discuss ideas, share information and
compare experiences. The 31st edition will be held in Tempe, Arizona, US from
October 26th to October 29th, 2018, collocated with the 16th International
Conference on Principles of Knowledge Representation and Reasoning (KR 2018).
Important Dates (Extended Deadlines)
===============
Paper registration deadline:
July 21, 2018
Paper submission deadline:
July 28, 2018
Notification of acceptance:
September 18, 2018
Camera-ready copies:
October 4, 2018
Workshop:
October 26-29, 2018
Invited Speakers
================
Lidia Tendera (University of Opole, Poland)
Denny Vrandecic (Google LLC, USA)
Renata Wassermann (University of Sao Paulo, Brazil), jointly with NMR 2018
Workshop Scope
==============
We invite contributions on all aspects of description logics, including but
not limited to:
* Foundations of description logics: decidability and complexity of reasoning,
expressive power, novel inference problems, inconsistency management,
reasoning techniques, and modularity aspects
* Extensions of description logics: closed-world and nonmonotonic reasoning,
epistemic reasoning, temporal and spatial reasoning, procedural knowledge,
query answering, reasoning over dynamic information
* Integration of description logics with other formalisms: object-oriented
representation languages, database query languages, constraint-based
programming, logic programming, and rule-based systems
* Applications and use areas of description logics: ontology engineering,
ontology languages, databases, ontology-based data access, semi-structured
data, graph structured data, linked data, document management, natural
language, learning, planning, Semantic Web, cloud computing, conceptual
modelling, web services, business processes
* Systems and tools around description logics: reasoners, software tools for
and using description logic reasoning (e.g. ontology editors, database
schema design, query optimisation, and data integration tools),
implementation and optimisation techniques, benchmarking, evaluation,
modelling
Submissions
===========
Submissions may be of two types:
(1) Regular submissions consist of 11 pages LNCS plus references. If the authors prefer the paper to not appear in the proceedings, an additional 2-page abstract has to be submitted.
(2) Papers accepted at some conference can be submitted as accepted elsewhere together with a 2-page abstract that also specifies where the paper has been accepted.
* For both types, there is no page limit on the list of references.
* For submissions with an additional 2-page abstract, only the abstract is
published in the proceedings. The abstracts might not be indexed in dblp.
This option is designed for authors who wish to announce results that have
been published elsewhere, or which the authors intend to submit or have
already submitted to a venue with an incompatible prior / concurrent
publication policy.
* All submissions may optionally include a clearly marked appendix (e.g.,
with additional proofs or evaluation data). The appendix will be read at
the discretion of the reviewers and not included in the proceedings. The
appendix does not need to be in LNCS format.
* Accepted papers and 2-page abstracts will be made available electronically
in the CEUR Workshop Proceedings series (http://www.CEUR-ws.org/).
* Accepted submissions, be they full papers or 2-page abstracts, will be
selected for either oral or poster presentation at the workshop. Submissions
will be judged solely based upon their content, and the type of submission
will have no bearing on the decision between oral and poster presentation.
Submission page: https://easychair.org/conferences/?conf=dl2018
Organization
============
* Magdalena Ortiz, TU Wien, Austria (program co-chair)
* Thomas Schneider, University of Bremen, Germany (program co-chair)
* Michael Zakharyaschev, Birkbeck, University of London, UK (general chair)
Resources
=========
* Information about submission, registration, travel information, etc., is
available on the DL 2018 homepage: http://dl.kr.org/dl2018/
* The official description logic homepage is at http://dl.kr.org/