Juli 2018 - finite-model-theory - lists.rwth-aachen.de

Hybrid Systems Workshop, Prague 3-5 April 2003

von hscc03 VERIMAG

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

6 Jahre

1
0
0 0

pods 02, call for paper

von Luc Segoufin

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. ==========================================================================

6 Jahre

1
0
0 0

PODS 2001 - call for papers

von Luc Segoufin

================================================================= 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. ==========================================================================

6 Jahre

1
0
0 0

IEEE Conf.on Software Maintenance, Italy,Florence, ICSM2001

von icsm2001

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)

6 Jahre

1
0
0 0

(no subject)

von Etaps 2002

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

6 Jahre

1
0
0 0

IEEE Conf.on Software Maintenance Italy,Florence, ICSM2001

von icsm2001

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)

6 Jahre

1
0
0 0

position

von Heinz Dieter Ebbinghaus

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

6 Jahre

1
0
0 0

ETAPS 2002, FIRST ANNOUNCEMENT & CALL FOR SUBMISSIONS

von Etaps 2002

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

6 Jahre

1
0
0 0

CFPs: IEEE Int. Conf. on Software Maint., Florence, Italy

von icsm2001

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 --------------------------------------------------------------------------------------------------------------

6 Jahre

1
0
0 0

DL 2018 - Extended Deadlines (21 and 28 July)

von Thomas Schneider

------------------------------------------------------------------------------- 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/

6 Jahre

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory Juli 2018