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

ETAPS 2004: FIRST CALL FOR SUBMISSIONS
by ETAPS 2004 19 Jul '18

19 Jul '18

Please apologize if you receive multiple copies of this message. ********************************************************** *** ETAPS 2004 *** *** March 27 - April 4, 2004 *** *** Barcelona, SPAIN *** *** *** *** http://www.lsi.upc.es/etaps04/ *** ********************************************************** The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events. ------------------------------------------------------------------------ 5 Conferences - 22 Satellite Workshops - Tutorials - Tool Demonstrations ------------------------------------------------------------------------ ********************************************************** *** *** *** CALL FOR SUBMISSIONS *** *** Submission deadline: October 17, 2003 *** *** *** ********************************************************** ----------------------------------------------------------------------- Conferences ----------------------------------------------------------------------- CC 2004: International Conference on Compiler Construction http://www.research.ibm.com/CC2004/home.html Chair: Evelyn Duesterwald (IBM, USA) duester(a)us.ibm.com ESOP 2004, European Symposium On Programming http://www.cis.ksu.edu/santos/esop2004/ Chair: David Schmidt (Kansas, USA) schmidt(a)cis.ksu.edu FASE 2004, Fundamental Approaches to Software Engineering http://ctp.di.fct.unl.pt/~mw/conf/fase04/ Co-Chairs: Tiziana Margaria (Dortmund, Germany) tmargaria(a)metaframe.de Michel Wermelinger (Lisboa, Portugal) mw(a)di.fct.unl.pt FOSSACS 2004 Foundations of Software Science and Computation Structures http://www.labri.fr/Perso/~igw/FOSSACS/ Chair: Igor Walukiewicz (Bordeaux, France) igw(a)labri.fr TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems http://www.daimi.au.dk/~cpn/tacas04/ Co-Chairs: Kurt Jensen (Aarhus, Denmark) kjensen(a)daimi.au.dk Andreas Podelski (Saarbrücken, Germany) podelski(a)mpi-sb.mpg.de ----------------------------------------------------------------------- ETAPS main conferences accept two types of contributions: * Research papers; * Tool demonstration papers. ----------------------------------------------------------------------- Research papers: ----------------------------------------------------------------------- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science series. Final papers will be no more than 15 pages long in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Instructions on how to submit are available at the URL of each individual conference. ----------------------------------------------------------------------- Tool demonstration papers: ----------------------------------------------------------------------- Demonstrations of novel and state-of-the-art tools are also invited. A submission should have a clear connection to one of the main ETAPS conferences, possibly complementing a paper submitted separately. Tool demonstrations are an integrated part of the ETAPS programme. Selected demonstrations will be presented in ordinary conference sessions, using state-of-the-art projection. The time allowed will be approximately the same as that for the presentation of a research paper. The demonstration will be accompanied by the publication of a short paper (up to 4 pages) in the proceedings of the relevant ETAPS conference, describing the main features of the tool. There will be opportunities for follow-up demonstrations with individuals and small groups. Submissions should follow the instructions published in the URL of the relevant conference. They should take the form of a self-contained tool description of no more than 4 pages in the format specified by Springer-Verlag at http://www.springer.de/comp/lncs/authors.html. The tool description should be accompanied by an appendix (not intended for publication, and not included in the page limit) indicating which features of the tool would be demonstrated - preferably with some sample screen snapshots - followed by a detailed specification of the hardware, software, and licensing requirements for installing and using the tool. N.B. Tool demonstrations should not be confused with research contributions to the TACAS conference, which emphasizes principles of tool design, implementation, and use, rather than focusing on specific domains of application. ----------------------------------------------------------------------- Satellite Workshops ----------------------------------------------------------------------- * A-UML - Agents and UML Contact: Marc-Philippe Huget (M.P.Huget(a)csc.liv.ac.uk) URL: http://www.informatik.uni-augsburg.de/auml2004 * AVIS'04 - Third International Workshop on Automatic Verification of Infinite-State Systems Contact: Dr. Ramesh Bharadwaj (ramesh(a)itd.nrl.navy.mil) URL: http://chacs.nrl.navy.mil/AVIS04 * CMCS 2004 - Coalgebraic Methods in Computer Science 2004 Contact: Jiri Adamek (J.Adamek(a)tu-bs.de) URL: http://www.iti.cs.tu-bs.de/~cmcs/ * COCV - 3rd International Workshop on Compiler Optimization Meets Compiler Verification Contact: Jens Knoop (Jens.Knoop(a)FernUni-Hagen.De) URL: http://sunshine.cs.uni-dortmund.de/~knoop/COCV2004/cocv2004.html * CP+CV'04 - Workshop on Constraint Programming and Constraints for Verification Contact: Thom Fruehwirth (Thom.Fruehwirth(a)informatik.uni-ulm.de) URL: http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/cp_etaps04.html * DCC - Designing Correct Circuits Contact: Mary Sheeran (ms(a)cs.chalmers) and Tom Melham (Tom.Melham(a)comlab.ox.ac.uk) URL: http://www.cs.chalmers.se/~ms/DCC04/ * FESCA - Formal Foundation of Embedded Software and Component-based Software Architectures Contact: Juliana Küster Filipe (jkfilipe(a)inf.ed.ac.uk) URL: http://www.csse.monash.edu.au/fesca email: fesca-04(a)inf.ed.ac.uk * FUSE 2004 - Foundations of Unanticipated Software Evolution Contact: Tom Mens, (Tom.Mens(a)vub.ac.be) URL: http://joint.org/fuse2004/ * GT-VMT - Graph Transformation and Visual Modelling Techniques Contact: Reiko Heckel URL: http://www.uni-paderborn.de/cs/ag-engels/GT-VMT04 email: gtvmt04(a)upb.de * INT - Third International Workshop on Integration of Specification Techniques for Applications in Engineering Contact: Hartmut Ehrig (ehrig(a)cs.tu-berlin.de) and Gunnar Schroeter (schroetg(a)cs.tu-berlin.de) URL: http://tfs.cs.tu-berlin.de/~gschroet/int04/index.html * LDTA - Fourth Workshop on Language Descriptions, Tools and Applications Contact: Joao Saraiva (jas(a)di.uminho.pt) URL: http://www.di.uminho.pt/LDTA04 * MBT 2004 - International Workshop on Model-Based Testing Contact: Alexander Kossatchev (kos(a)ispras.ru) URL: http://www.ispras.ru/news/MBT2004.html * QAPL'04 - 2nd Workshop on Quantitative Aspects of Programming Languages Contact: Alessandra Di Pierro URL: http://qapl04.di.unipi.it/ email: qapl04(a)di.unipi.it * RV'04 - Fourth Workshop on Runtime Verification Contact: Klaus Havelund (havelund(a)email.arc.nasa.gov) URL: http://ase.arc.nasa.gov/rv2004 * SC 2004 - Software Composition Contact: Uwe Assmann (uweas(a)ida.liu.se) URL: http://www.ida.liu.se/~uweas/sc2004 * SFEDL - Semantic Foundations of Engineering Design Languages Contact: Michael Mendler (michael.mendler(a)wiai.uni-bamberg.de) URL: http://www.uni-bamberg.de/~ba7gi99/sfedl04/ * SLAP 2004 : Synchronous Languages, Applications, and Programs Contact: Florence Maraninchi (Florence.Maraninchi(a)imag.fr) URL: http://www.inrialpes.fr/pop-art/people/girault/Slap04 * SPIN - 11th International Workshop on Model-Checking of Software Contact: Susanne Graf, Verimag/CNRS (spin04(a)imag.fr) URL: http://www-verimag.imag.fr/SPIN-2004 * TACoS - Test and Analysis of Component-Based Systems Contact: Mauro Pezzè (pezze(a)disco.unimib.it) URL: www.lta.disco.unimib.it/tacos * WADT'04 - 17th International Workshop on Algebraic Development Techniques Contact: Fernando Orejas (orejas(a)lsi.upc.es) * WITS'04 - Workshop on Issues in the Theory of Security Contact: Peter Y A Ryan (peter.ryan(a)ncl.ac.uk) URL: http://www.dsi.unive.it/IFIPWG1_7/wits2004.html * WRLA 2004 - 5th International Workshop on Rewriting Logic and its Applications Contact: Narciso Marti-Oliet (narciso(a)sip.ucm.es) URL: http://www.fdi.ucm.es/wrla2004 email: wrla2004(a)sip.ucm.es ----------------------------------------------------------------------- Tutorials ----------------------------------------------------------------------- Proposals for half-day or full-day tutorials related to ETAPS 2004 are invited. Tutorial proposals will be evaluated on the basis of their assessed benefit for prospective participants to ETAPS 2004. Proposals should include a description of the material that will be covered in the tutorial; a justification of the relevance of the tutorial for ETAPS 2004; a short history of the tutorial if it has been given before; the duration of the tutorial; scope of the tutorial; the key learning objectives for the participants; the intended audience for the tutorial and required background; and the credentials for the instructor(s). Contact: Jordi Cortadella - http://www.lsi.upc.es/~jordic/ ----------------------------------------------------------------------- INVITED SPEAKERS ----------------------------------------------------------------------- Serge Abiteboul, INRIA-Rocquencourt, France Hubert Comon, Cachan, France Robin Milner, Cambridge, UK Peter O'Hearn, London, UK Gruia-Catalin Roman, Washington Univ., USA Mary Lou Soffa, Pittsburgh, USA Antti Valmari, Tampere, Finland ----------------------------------------------------------------------- IMPORTANT DATES ----------------------------------------------------------------------- October 17, 2003 Submission deadline for the main conferences and tutorials December 12, 2003 Notification of acceptance/rejection January 9, 2004 Camera-ready version due March 29 - April 2, 2004 ETAPS 2004 main conferences March 27 - April 4, 2004 ETAPS 2004 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 etaps04(a)lsi.upc.es -----------

1 0

workshop on preposition semantics
by Patrick SAINT-DIZIER 19 Jul '18

19 Jul '18

Sorry for multiple copies of this call. <<< NEW DEADLINE: April 25th !! >>>> Call for Papers : ACL-SIGSEM Workshop on The Linguistic Dimensions of Prepositions and their Use in Computational Linguistics Formalisms and Applications. September 4-6, 2003, Toulouse, France Endorsed by SIGSEM, the ACL's Special Interest Group in Computational Semantics. A great deal of attention has been devoted in the past ten years in the linguistic and computational linguistics communities to the syntax and the semantics of nouns, verbs and also, but to a lesser extent, to adjectives. Related phenomena such as quantification or tense and aspect have motivated a number of in-depth studies and projects. In contrast, prepositions have received less attention. The reasons are quite clear: prepositions are probably the most polysemic category, possibly more so than adjectives, and linguistic realizations are extremely difficult to predict, not to mention the difficulty of identifying cross-linguistic regularities. Let us mention, however, several projects devoted to prepositions expressing space, time and movement in AI and in NLP, and also the development of formalisms and heuristics to handle PP attachment ambiguities. Let us also mention the large number of studies in psycholinguistics and in ethnolinguistics around specific preposition senses. Finally, prepositions seem to reach a very deep level in the cognitive-semantic structure of the brain: cognitive grammar developers often use prepositions in their metalanguage, in order to express very primitive notions. An important and difficult question to address, is whether these notions are really primitive or can be decomposed and lexically analysed In argument structure, prepositions often play the crucial role of a mediator between the verb's expectations and the semantics of the nominal argument. The verb-preposition-noun semantic interactions are very subtle, but totally crucial for the development of an accurate semantics of the proposition. Let us note that a number of languages have postpositions or other markers like case instead of prepositions that play a quite similar role. Finally, languages like English have verbal compounds that integrate prepositions (compositionally or as collocations) while others, like Romance languages or Hindi either incorporate the preposition or include it in the prepositional phrase. All these configurations are semantically as well as syntactically of much interest. Prepositions turn out to be a very useful category in a number of applications such as indexing and knowledge extraction since they convey basic meanings of much interest like instruments, means, comparisons, amounts, approximations, localizations, etc. They must necessarily be taken into account---and rendered accurately---for effective machine translation and lexical choice in language generation. Prepositions are also closely related to semantic structures such as thematic roles, semantic templates or frames. From a linguistic perspective, several investigations have been carried out on quite diverse languages, emphasizing e.g., monolingual and cross-linguistic contrasts or the role of prepositions in syntactic alternations. These observations cover in general a small group of closely related prepositions. The semantic characterization of prepositions has also motivated the emergence of a few dedicated logical frameworks and reasoning procedures. The aim of this workshop is to bring together linguists, NLP researchers and practitioners, and AI people in order to define a common ground, to advance the state-of-the-art, to identify the primary issues and bottlenecks, and to promote future collaborations. If appropriate, the workshop will also establish a working group and the development of projects and resources. Paper presentations Both short research notes (3 pages) and longer conference-style papers (up to 10 pages) submissions as well as working session proposals (1 page proposal on a precise topic) are welcome. Papers must be in .ps, .pdf or .doc formats. The 12 point Times new Roman font is preferred, leave about 2.5 cm margins on both sides. More precise formatting instructions will be given for final versions, since a book publication is under preparation. Paper must be sent in electronic form to: stdizier(a)irit.fr The main topics are: - The syntax of prepositions: formal or descriptive syntax, prepositions in alternations, principles in the syntax of PPs, syntactic and semantic restrictions. General syntactic-semantic principles. Postpositions or other equivalent markers (e.g. case). - Polysemy of prepositions, identification and classification of preposition senses, contrastive uses, metaphorical uses, semantic and cognitive foundations for prepositions. - Descriptions: Potential WordNet / EuroWordNet descriptions of preposition uses, productive uses versus collocations, multi-lingual descriptions: mismatches, incorporation, divergences. Prepositions and thematic roles, prepositions in semantic frameworks (e.g. Framenet.). - Cognitive or logic-based formalisms for the description of the semantics of prepositions, in isolation, and in composition/confrontation with the verb and the NP. Compositional semantics. Logical and reasoning aspects. - The role of prepositions in applications, in particular: * in machine translation * in information extraction * in lexicalization in language generation. - Corpus-based studies that support or challenge any of the approaches described above. - Lexical knowledge bases and prepositions. Prepositions in AI, KR and in reasoning procedures. Deadlines Submission deadline: April 25th, 2003 <<<<< NEW DEADLINE >>>>>> Notification to authors: May 30th Final paper due July 1st (a book publication is under preparation) Registration preferably before July 7th. (to be confirmed) Registration frees will be kept as low as possible, around 100 Euros with lunch. Programme Committee: Nicholas Asher (Austin) Pushpak Bhattacharyya (IIT Mumbai) Harry Bunt (Tilburg) Nicoletta Calzolari (Pisa) Bonnie Dorr (Maryland) Christiane Fellbaum (Princeton) Claire Gardent (CNRS Nancy) Betsy Klipple (Upenn) Alda Mari (ENST Paris) Palmira Marraffa (Lisboa) Martha Palmer (Upenn) James Pustejovsky (Brandeis) Patrick Saint-Dizier (Chair, IRIT, Toulouse) Gloria Vazquez (Lerida) Laure Vieu (IRIT, Toulouse) Contacts : Submissions and inquiries : stdizier(a)irit.fr and submissions also to : patrick_saintdizier(a)yahoo.fr Local organizing committee : Farah Benamara, Patrick Saint-Dizier WEB site: www.irit.fr/cgi-bin/voir-congres

1 0

ETAPS 2004: CALL FOR SATELLITE EVENTS
by ETAPS 2004 19 Jul '18

19 Jul '18

Please apologize for multiple submission ------------------------------------------------------------------- ETAPS 2004: 2nd CALL FOR SATELLITE EVENT PROPOSALS ------------------------------------------------------------------- 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. Started in 1998, ETAPS is an annual event which takes place in Europe each spring. The seventh meeting, ETAPS 2004 will take place in Barcelona, Spain, from March 29 to April 2, 2004, hosted by the Technical University of Catalonia (UPC). The main conferences of ETAPS are: the International Conference on Compiler Construction (CC), the European Symposium on Programming (ESOP), Fundamental Approaches to Software Engineering (FASE), Foundations of Software Science and Computation Structures (FOSSACS), and Tools and Algorithms for the Construction and Analysis of Systems (TACAS). These conferences will be held from March 29 to April 2, 2004. Workshops affiliated to ETAPS 2004 will be held before and after the main conferences, on 27-28 March and 3-4 April, 2004. Researchers and practitioners wishing to organize such a workshop are invited to contact the ETAPS 2004 Workshop Chair, Jordi Cortadella, e-mail jordic(a)lsi.upc.es, by November 1. Final workshop proposals are due December 1, 2002, and should be submitted to the ETAPS 2004 Workshop Chair by electronic mail in ASCII, PDF or Postscript format. A proposal should not exceed two pages and should describe the topic of the workshop, the names and contact information of the organizers, the estimated dates for paper submissions, notification of acceptance, and final versions (before February 15, 2004), the expected number of participants and duration, the preferred period (March 27-28 or April 3-4), and any other relevant information (e.g., invited speakers, panels, publication policy, demo sessions etc.). The proposals will be evaluated by the ETAPS 2004 organizing committee on the basis of their assessed benefit for prospective participants to ETAPS 2004. Acceptance decisions will be made by January 10, 2003. The titles and brief information related to accepted workshop proposals will be included in the conference program and advertised in the call for participation. Workshop organizers will be responsible for producing a Call for Papers, Web site, reviewing and making acceptance decisions on submitted papers and scheduling workshop activities in consultation with the local organizers. Any further information needed for preparing a workshop proposal can be obtained from the ETAPS 2004 Workshop Chair: Jordi Cortadella, jordic(a)lsi.upc.es Important dates : November 1, 2002 : Contact the Workshop Chair December 1, 2002 : Workshop proposals January 15, 2003 : Notification of acceptance ETAPS 2004 Web site: http://www.lsi.upc.es/etaps04 ----------- 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 etaps04(a)lsi.upc.es -----------

1 0

Hybrid Systems workshop: submission deadline 15/10/2002
by hscc03 VERIMAG 19 Jul '18

19 Jul '18

[Apologies if you receive this message more times than you would like to] 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 Invited Speakers (Tentative): David Berlinski (author of "A Tour of the Calculus" and "The Advent of the Algorithm"): On Discrete and Continuous Mathematics David Harel (Weizmann Institute of Science): From Aerospace to C. elegans: Modeling and Analyzing the Behavior of Complex Reactive Systems Udi Peless (Friendly Machines Inc.): Lessons from the Development of a Commercial Autonomous Lawn Mower 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 Olaf Stursberg Carnegie Mellon University Ashish Tiwari SRI international Paolo Traverso IRST, Trento Howard Wong-Toi Cadence Berkeley Labs Steering Committee: Maria Di Bendetto, Mark Greenstreet, Bruce Krogh (chair), Oded Maler, Manfred Morari, 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

1 0

ETAPS 2004: CALL FOR SATELLITE EVENTS
by ETAPS 2004 19 Jul '18

19 Jul '18

Please apologize for multiple submission ------------------------------------------------------------------- ETAPS 2004: CALL FOR SATELLITE EVENT PROPOSALS ------------------------------------------------------------------- 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. Started in 1998, ETAPS is an annual event which takes place in Europe each spring. The seventh meeting, ETAPS 2004 will take place in Barcelona, Spain, from March 29 to April 2, 2004, hosted by the Technical University of Catalonia (UPC). The main conferences of ETAPS are: the International Conference on Compiler Construction (CC), the European Symposium on Programming (ESOP), Fundamental Approaches to Software Engineering (FASE), Foundations of Software Science and Computation Structures (FOSSACS), and Tools and Algorithms for the Construction and Analysis of Systems (TACAS). These conferences will be held from March 29 to April 2, 2004. Workshops affiliated to ETAPS 2004 will be held before and after the main conferences, on 27-28 March and 3-4 April, 2004. Researchers and practitioners wishing to organize such a workshop are invited to contact the ETAPS 2004 Workshop Chair, Jordi Cortadella, e-mail jordic(a)lsi.upc.es, by November 1. Final workshop proposals are due December 1, 2002, and should be submitted to the ETAPS 2004 Workshop Chair by electronic mail in ASCII, PDF or Postscript format. A proposal should not exceed two pages and should describe the topic of the workshop, the names and contact information of the organizers, the estimated dates for paper submissions, notification of acceptance, and final versions (before February 15, 2004), the expected number of participants and duration, the preferred period (April 5-6 or April 12-13), and any other relevant information (e.g., invited speakers, panels, publication policy, demo sessions etc.). The proposals will be evaluated by the ETAPS 2004 organizing committee on the basis of their assessed benefit for prospective participants to ETAPS 2004. Acceptance decisions will be made by January 10, 2003. The titles and brief information related to accepted workshop proposals will be included in the conference program and advertised in the call for participation. Workshop organizers will be responsible for producing a Call for Papers, Web site, reviewing and making acceptance decisions on submitted papers and scheduling workshop activities in consultation with the local organizers. Any further information needed for preparing a workshop proposal can be obtained from the ETAPS 2004 Workshop Chair: Jordi Cortadella, jordic(a)lsi.upc.es Important dates : November 1, 2002 : Contact the Workshop Chair December 1, 2002 : Workshop proposals January 15, 2003 : Notification of acceptance ETAPS 2004 Web site: http://www.lsi.upc.es/etaps04 ----------- 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 etaps04(a)lsi.upc.es -----------

1 0

Hybrid Systems Workshop, Prague 3-5 April 2003
by hscc03 VERIMAG 19 Jul '18

19 Jul '18

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

1 0

pods 02, call for paper
by Luc Segoufin 19 Jul '18

19 Jul '18

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

1 0

PODS 2001 - call for papers
by Luc Segoufin 19 Jul '18

19 Jul '18

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

1 0

IEEE Conf.on Software Maintenance, Italy,Florence, ICSM2001
by icsm2001 19 Jul '18

19 Jul '18

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)

1 0

(no subject)
by Etaps 2002 19 Jul '18

19 Jul '18

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

1 0