Newsletter 83 January 18, 2003 ******************************************************************* * Past issues of the newsletter are available at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/ * Instructions for submitting an announcement to the newsletter can be found at http://www.lfcs.informatics.ed.ac.uk/lics/newsletters/inst.html ******************************************************************* TABLE OF CONTENTS * CONFERENCES AND WORKSHOPS ETAPS 2003: Call for Participation Joint Conference CSL'03 and KGC: Call for Papers ICC'03: Call for Papers Fourth Panhellenic Logic Symposium: Call for Papers EWSCS'03: Call for Participation First APPSEM-II Workshop: Call for Participation International Workshop in Formal Methods: Call for Papers GPCE 2003: Call for Contributions Methods and Models for Codesign: Call for Papers * JOURNALS Special Issue of HOSC: Krivine's Abstract Machine Special Isssue of TCS: Game Theory Meets Theoretical Computer Science ETAPS 2003: THE EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE Warsaw, Poland, April, 5-13, 2003 http://www.mimuw.edu.pl/etaps03/ Call for Participation * 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, 15 workshops and 7 tutorials. * Registration: To register for ETAPS 2003 visit the conference Web page: http://www.mimuw.edu.pl/etaps03/ * Grants: A grant from the European Commission, High-Level Scientific Conferences, has been approved for supporting the participation in the Conference of young researchers (up to the age of 35 years at the time of the conference) who are nationals of a Member State or an Associated State, and who are actively participating in one of the ETAPS 2003 main conferences or in a satellite event. * The organizers offer additional limited support possibilities for ETAPS 2003 participants who are not eligible for the EC-HSC grants above. * Important dates: January 31 - Grant Application Deadline February 5 - Discount Registration Deadline March 3 - Early Registration Deadline * Main conferences: CC 2003: International Conference on Compiler Construction, http://www.cs.lth.se/~gorel/cc03/ ESOP 2003, European Symposium on Programming, http://www.di.unipi.it/ESOP03/ FASE 2003, Fundamental Approaches to Software Engineering, http://www.lta.disco.unimib.it/fase2003/ TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems, http://www.inrialpes.fr/vasy/tacas03/ FOSSACS 2003, Foundations of Software Science and Computation Structures, http://research.microsoft.com/~adg/FOSSACS03/ * Invited speakers: Samson Abramsky, Oxford University, UK Tony Hoare, Microsoft Research, Cambridge, UK Peter Lee, Carnegie Mellon University, USA Xavier Leroy, INRIA and Trusted Logic, France Catherine Meadows, Naval Research Laboratory, USA Barbara Ryder, Rutgers University, USA Michal Young, Oregon University, USA * Workshops: SE-WMT - Structured Programming: The Hard Core of Software Engineering (special event to honour W.M.Turski's 65th birthday) AVIS - Automated Verification of Infinite-State Systems CMCS - Coalgebraic Methods in Computer Science COCV - Compiler Optimization Meets Compiler Verification Feyerabend - Feyerabend - Redefining Computing FAMAS - Formal Approaches to Multi-Agent Systems FICS - Fixed Points in Computer Science LDTA - Language Description, Tools and Applications RSKD - Rough Sets in Knowledge Discovery and Soft Computing SC - Software Composition TACoS - Test and Analysis of Component Based Systems USE - Unanticipated Software Evolution UniGra - Uniform Approaches to Graphical Specification Techniques WITS - Workshop on Issues in the Theory of Security WOOD - Workshop on Object-Oriented Developments * Tutorials: Foundations of Constraint Programming XML Documents Using Tree Automata Multi-Media Instruction in Safe and Secure Systems Advanced Compilation Techniques for the Itanium Processor Family Formal Development of Critical Systems with UML An Inside Look at Rotor, Microsoft's "Shared Source" Implementation of the Common Language Infrastructure Theory and Practice of Co-Verification Process: UniTesk Story * For more information and to register visit the Web page: www.mimuw.edu.pl/etaps03 JOINT CONFERENCE CSL'03 and KGC (Annual Conference of the European Association for Computer Science Logic and 8th Kurt Goedel Colloquium) Vienna, August 25 - 30, 2003 http://www.logic.at/csl03/ Call for Papers * Topics include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, fuzzy logic, modal and temporal logics, computational proof theory, linear logic, finite model theory, bounded arithmetic, logical aspects of computational complexity, higher order logic, logic programming and constraints, lambda and combinatory calculi, logical foundations of programming paradigms, model checking, specification and extraction and transformation of programs, categorical logic and topological semantics, game semantics, domain theory, database theory. * Program committee: Matthias Baaz (chair), Arnold Beckmann, Lev Beklemishev, Maarten de Rijke, Chris Fermueller, Didier Galmiche, Harald Ganzinger, Erich Graedel, Petr Hajek, Martin Hyland, Reinhard Kahle, Helene Kirchner, Daniel Leivant, Johann Makowsky (co-chair), Jerzy Marcinkowski, Franco Montagna, Robert Nieuwenhuis, Michel Parigot, Jeff Paris, Helmut Schwichtenberg, Jerzy Tiuryn * Invited speakers (tentative): Sergei Artemov (CUNY, USA) Bruno Buchberger (Johannes Kepler University) Dov Gabbay (King's College London) Helmut Veith (Vienna University of Technology) Nikolai Vorobjov (University of Bath) Andrei Voronkov (University of Manchester) * Invited tutorials (tentative): Ahmed Bouajjani (University Paris 7) Georg Moser (University of Muenster) Richard Zach (University of Calgary) Nikolai Vorobjov (University of Bath) Igor Walukiewicz (University of Bordeaux) * Submission is in two stages Deadline for title and abstract: March 31, 2003 Deadline for the full paper: April 7, 2003 * For the required format of submissions see the Website: http://www.logic.at/csl03/ WORKSHOP ON IMPLICIT COMPUTATIONAL COMPLEXITY (ICC'03) (affiliated with LICS 2003) Ottawa, Canada, June 26 - 27, 2003 http://www.cis.syr.edu/~royer/icc/ICC03/ Call for Papers * Topics of interest include: automatic complexity analysis of programs, complexity analysis for functional languages, complexity in database theory, complexity in formal methods, foundations of implicit computational complexity, higher-type computational complexity, logical and machine-independent characterizations of complexity classes, logics closely related to complexity classes, software that applies ICC ideas, type systems for controlling complexity * All submissions must be done electronically. Please email your submission to Anuj.Dawar@cl.cam.ac.uk * Submission Deadline : March 28, 2003 * Program committee. Michael Benedikt (Bell Labs) Ralph Benzinger (McKinsey & Company, Berlin) Sam Buss (University of California/San Diego) Anuj Dawar (Cambridge University), chair Martin Grohe (Edinburgh) Jan Johannsen (Ludwig-Maximilians Universitat Munchen) Neil Jones (University of Copenhagen) Bruce Kapron (University of Victoria) Karl-Heinz Niggl (Technische Universitat Ilmenau) Luke Ong (University of Oxford) FOURTH PANHELLENIC LOGIC SYMPOSIUM July 7-10, 2003, Thessaloniki, Greece Call for Paapers * Original papers on all aspects of logic are solicited. Authors are invited to submit an extended abstract of at most five pages with a statement classifying the paper in one of the following areas: Mathematical Logic, Set Theory, Logic in Computer Science, History of Logic, Philosophy of Logic, other Logic related area (specified). * Invited talks: D. Bjorner, P. Peppas, K. Sagonas, I. Soskov * Tutorials: Philosophy of Logic: W. Demopoulos Complexity of Logic-Related Problems: E. Koutsoupias Logic-Based Information Integration: M. Lenzerini Set Theory: A. Louveau * Scientific committee: S. Cosmadakis, C. Dimitracopoulos), A. Kakas, A. Kechris, L. Kirousis (Chair), Ph. Kolaitis, G. Koletsos, E. Kranakis, M. Mytilinaios, Th. Pheidas, A. Sinachopoulos, P. Spirakis, Th. Tzouvaras, S. Zachos * Address for submission: kirousis@ceid.upatras.gr * Important dates Submission: March 28, 2003 Notification: May 9, 2003 Camera-ready abstracts: May 30, 2003 * http://www2.cs.ucy.ac.cy/pls4 8TH ESTONIAN WINTER SCHOOL IN COMPUTER SCIENCE (EWSCS'03) Palmse, Estonia, 2-7 March 2003 Call for Participation * EWSCS is a series of regional-scope international winter schools held annually in Estonia. The main objective of EWSCS is to expose Estonian, Baltic, and Nordic graduate students in computer science (but also interested students from elsewhere) to frontline research topics usually not covered within the regular curricula. The subject of the schools is general computer science, with a bias towards theory, this comprising both algorithms, complexity and models of computation, and semantics, logic and programming theory. The working language of the schools is English. This time the focus of the winter school will be on randomness, cryptography and abstract interpretation. * The schools' scientific programme consists of short courses by renowned specialists and a student session. The course list for EWSCS'03 is the following: Gregory Chaitin: Algorithmic Information Theory Patrick Cousot: Abstract Interpretation Ivan Damgard: Theory and Practice of Multiparty Computation Johan Hastad: The PCP Theorem with Some Applications to Inapproximability * The purpose of the student session is to give students an opportunity to present their own ongoing work (typically, thesis work) and get feedback. Registrants to EWSCS'03 are invited to propose short talks (20 min) or posters. The selection will be based on abstracts of 150-400 words. * The deadline for registration and submission of abstracts is 24 January 2003. All registrants will be notified of acceptance to school and of acceptance of their talks/posters by 31 January 2003. * For full details see: http://www.cs.ioc.ee/yik/schools/win2003/ FIRST APPSEM-II WORKSHOP 26th - 28th March 2003, Nottingham, United Kingdom First Announcement and Call for Participation * The first annual workshop of the IST working group APPSEM-II (Applied Semantics II) will be held at the University of Nottingham from 26-28 March 2003. All members of the working group are invited to attend, but participation of non-members from both academia and industry with interests in application-oriented programming language semantics is actively encouraged. The purpose of the workshop is to present new results and plan future work in each of the nine themes of the group: A - Program structuring: OO programming, modules (Didier Remy); B - Proof assistants, functional programming, and dependent types (Thierry Coquand); C - Program analysis, generation, and configuration (Neil Jones); D - Specification and verification methods (Uday Reddy); E - Types and type inference in programming (Fritz Henglein); F - Games, sequentiality, and abstract machines (Pierre-Louis Curien); G - Semantic methods for distributed computing (Glynn Winskel); H - Resource models and web data (Peter O'Hearn, Philippa Gardner); I - Continuous phenomena in Computer Science (Achim Jung). * For each theme there will be a session of presentations, organised by the theme leader (in parentheses above). There will also be a number of invited presentations, an industrial panel session, a brainstorming session, and a business meeting. Following on from the workshop an informal proceedings will be published on the web. * Further details regarding registration, accommodation, travel, etc will be available shortly. In the meantime, if you would like to attend the workshop, please email appsem03@cs.nott.ac.uk by FRIDAY 31ST JANUARY. If you would like to give a talk, please also include a title, short abstract (and paper if available), and a list of the themes to which it is relevant in order from most to least. * Note that the fun of programming symposium in honour of Richard Bird's 60th birthday will be held in Oxford during the two days before the workshop, so participants may like to attend both events. * Useful links: APPSEM-II working group: http://www.tcs.informatik.uni-muenchen.de/~mhofmann/appsem2/ First APPSEM-II workshop: http://www.cs.nott.ac.uk/~gmh/appsem03.html Fun of programming symposium: http://web.comlab.ox.ac.uk/oucl/research/areas/ap/fop/ SIXTH INTERNATIONAL WORKSHOP IN FORMAL METHODS Dublin City University, Dublin, Ireland, 10-11 July, 2003 Call for Papers * Submission deadline: 1 April, 2003 * For details see: http://www.computing.dcu.ie/~baziz/iwfm03 2ND INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING September 22-25, 2003, Erfurt, Germany Part of NetObjectDays'03 In Cooperation with ACM SIGPLAN and SIGSOFT Call for Contributions * Important dates: Technical paper submission: Apr 6, 2003 Workshop proposal submission: Apr 6, 2003 Practitioner report submission: May 18, 2003 Tutorials proposal submission: May 18, 2003 Demonstration proposal submission: May 18, 2003 Poster proposal submission: Jul 13, 2003 * For details see: http://gpce.org FIRST ACM-IEEE INTERNATIONAL CONFERENCE ON METHODS AND MODELS FOR CODESIGN June 24th-26th, 2003, Mont Saint-Michel, France Announcement and Call for Papers * Programming models, formal analysis methods and verification techniques for high-level system design: towards convergence of formal methods and industrial trends. * Opening speaker: Jose Meseguer (SRI) * Invited speakers: Ahmed Jerraya (IMAG), Nancy Lynch (MIT), Ken McMillan (Cadence) * General chair: Rajesh Gupta (University of California at San Diego) * Prospective authors are invited to submit original and unpublished papers describing innovative techniques and results addressing one or several of the following topics: 1. From general-purpose languages to formal semantic models 2. Analysis and verification of system-level models 3. System-level design methodologies 4. Formal methods for various aspects of system -evel design 5. Distribution, fault-tolerance, scheduling, non-functional requirements (portability, availability, maintainability, etc) * Problem solving sessions: the technical program committee has identified the following specific problem areas where the need for innovation and community contribution is important: 1. Levels of abstraction, notion of conformance and equivalence 2. Hierarchical verification 3. Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation ? 4. Functional coverage, test generation, and incremental verification 5. Post-fabrication verification, update and patch * More details on the problem background and discussions can be found on the conference website at http://www.irisa.fr/MEMOCODE. We especially seek contributions addressing these problem areas while contributions within the larger scope of the conference charter are welcome. Papers submitted to problem solving sessions and general sessions will be reviewed in the same manner, and papers submitted to one session may be moved to another session if deemed appropriate by the committee. * Conference proceedings will be published by ACM or IEEE Press. Selected papers from the conference will be published as a special volume by Kluwer Academic Publishers on a later date. * Important dates Feb 1, 2003 - submission deadline (firm) March 15, 2003 - authors notification March 31, 2003 - final versions of accepted papers due and authors registration deadline SPECIAL ISSUE OF HIGHER-ORDER AND SYMBOLIC COMPUTATION Krivine's Abstract Machine Call for Papers http://www.wkap.nl/journals/hosc * The Krivine machine has been rediscovered many times and in many settings, be it by inventive power, by derivation, or by reconstruction. The goal of this special issue is to document the variety of these rediscoveries, derivations, and reconstructions. The articles we are seeking can be either formal, informal, or experimental, as long as they are insightful and shed light on the Krivine machine or a variant of it. * Submission deadline: February 14, 2003. * Submissions, in pdf or ps format, should be sent to. * Questions (e.g., about the appropriateness of a submission) and comments should be directed to Olivier Danvy . SPECIAL ISSUE OF THEORETICAL COMPUTER SCIENCE Game Theory Meets Theoretical Computer Science Guest Editors: Samson Abramsky and Marios Mavronicolas Call for Papers * The Special Issue falls under both TCS-A (Algorithms, Automata, Complexity and Games) and TCS-B (Logic, Semantics and Theory of Programming). * The coverage aim of the Special Issue is two-fold. Specifically, the Special Issue is intended to cover: research results in areas of Theoretical Computer Science which have benefited from the application of concepts, methods and techniques from (classical) Game Theory; research results and approaches to Game Theory that build upon tools from Theoretical Computer Science and address algorithmic questions, thus giving rise to the emerging discipline of Algorithmic Game Theory. * High-calibre papers are solicited that address the intended issues. Topics of particular interest include (but are not limited to): Algorithmic Mechanism Design, Applications of Games to Model-Checking, Combinatorial Games, Computation of Equilibria in Games, Computational Complexity of Games, Computational Issues in Game Representations, Distributed Computing as a Game, Games as Models for Programming Languages and Logics, Game Models for Security and Cryptography, Game Paradoxes in Computer Science and Engineering, Game Semantics and Interactive Models of Computation, Game-Theoretic Approaches to Networking, Game-Theoretic Techniques in Computational Complexity Theory, Quantum Games, Reasoning about Games, Uses of Games in Finite Model Theory * Only work that contains rigorous analysis and proofs is sought. Theoretical work accompanied by experimental results is especially valued. Surveys and tutorial expositions of permanent reference value will also be considered. All submitted papers must be original, exclusively submitted to this Special Issue. * Authors are encouraged to submit their papers electronically. Please email a postscript file of your manuscript to either Samson.Abramsky@comlab.ox.ac.uk or mavronic@ucy.ac.cy, together with a plain text cover letter. Authors unable to submit electronically may send five copies of their manuscripts to one of the Guest Editors: Samson Abramsky, Computing Laboratory, Oxford University, Wolfson Building, Parks Road, Oxford, OX1 3QD, England Marios Mavronicolas, Department of Computer Science, University of Cyprus, P.O. Box 20537, Nicosia CY-1678, Cyprus * Important Dates: Submission deadline: March 31, 2003 (firm) Decision deadline: July 15, 2003 Final version due: August 31, 2003 Publication date: October 2004 (tentative) * Additional information may be obtained by communicating with either of the Guest Editors
Back to the LICS web page.