Newsletter 97 February 21, 2005 ******************************************************************* * 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 2005 - Call for Participation CMSB 2005 - Call for Participation CSL '05 - Call for Papers CONCUR 2005 - Call for Papers Algebraic and Topological Methods in Non-classical Logics II - Call for Papers IMLA'05 - Call for Papers LCC '05 - Call for Papers SEFM 2005 - Call for Papers TABLEAUX 2005 - Call for Papers and Tutorials FCS'05 - Call for Papers MTCoord 2005 - Call for Papers CoOrg 2005 - Call for Papers ESORICS 2005 - Call for Papers LOPSTR'05 - Call for Papers ARSPA'05 - Call for Papers ASIS 2005 - Call for Papers * POSTGRADUATE Funded Visitorships for Logic PhD Students 17th International School for Computer Science, Lipari Summer School on Logic-based Knowledge Representation, Dresden * PRIZES ACKERMANN AWARD - Second call for Submissions * VACANCIES Postdoctoral Position in Coordination Languages and Web Services, University of Namur, Belgium EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2005) Call for Participation Edinburgh, 2nd - 10th April 2005. http://www.etaps05.inf.ed.ac.uk * 5 Conferences, 16 Satellite Workshops, 4 Tutorials, Tool Demonstrations * Main conferences are: Foundations of Software Science and Computation Structures (FOSSACS), Fundamental Approaches to Software Engineering (FASE), European Symposium on Programming (ESOP), International Conference on Compiler Construction (CC), and Tools and Algorithms for the Construction and Analysis of Systems (TACAS). * Invited speakers: Gerard Berry, Marcelo Fiore, Thomas Henzinger, Ken McMillan, Ugo Montanari, Andrew Myers, Andreas Zeller. * Online registration and accommodation details at http://www.etaps05.inf.ed.ac.uk Ordinary registration until 7th March, late registration fee after then. * Organising chair: Don Sannella. Contact: email@example.com COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY 2005 (CMSB 2005) 3-5 April, Edinburgh, UK Call for Participation http://homepages.inf.ed.ac.uk/v1bklin/cmsb05/ * Invited Speakers: Hamid Bolouri, Institute for Systems Biology, Seattle (US) Drew Endy, MIT Biological Engineering (US) Stephen Muggleton, Imperial College (UK) Vincent Schachter, Genoscope, Evry (FR) Christophe Soule, Centre National de la Recherche Scientifique, Institut des Hautes etudes Scientifiques (FR) * For full programme see webpage COMPUTER SCIENCE LOGIC (CSL'05) 22-25 August 2005 Oxford, UK http://web.comlab.ox.ac.uk/oucl/conferences/CSL05/ Call for Papers * Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. * Suggested topics of interest include: automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, modal and temporal logic, model checking, logical aspects of computational complexity, finite model theory, computational proof theory, logic programming and constraints, lambda calculus and combinatory logic, categorical logic and topological semantics, domain theory, database theory, specification, extraction and transformation of programs, logical foundations of programming paradigms, linear logic, higher-order logic. * Invited speakers: Matthias Baaz (U. of Technology, Vienna), Ulrich Berger (U. of Wales, Swansea), Maarten Marx (U. of Amsterdam), Anatol Slissenko (Universite Paris 12) * Submissions: the proceedings will be published in the Springer Lecture Notes in Computer Science. Deadline for abstracts 25 March, 2005 Deadline for papers 1 April, 2005 * The EACSL Board has decided to launch the Ackermann Award: The EACSL Outstanding Dissertation Award for Logic in Computer Science. The first awards will be presented to the recipients at CSL'05. Further details of the Award can be found at http://www.dimi.uniud.it/~eacsl/award.html * Programme Committee: Albert Atserias (Barcelona), David Basin (Zurich), Martin Escardo (Birmingham), Martin Grohe (Berlin), Ryu Hasegawa (Tokyo), Martin Hofmann (Munich), Ulrich Kohlenbach (Darmstadt), Orna Kupferman (Jerusalem), Paul-Andre Mellies (Paris), Aart Middeldorp (Innsbruck), Dale Miller (Palaiseau), Damian Niwinski (Warsaw), Peter O'Hearn (London), Luke Ong (Oxford, Chair), Alexander Rabinovich (Tel Aviv), Thomas Schwentick (Marburg), Alex Simpson (Edinburgh), Nicolai Vorobjov (Bath), Andrei Voronkov (Manchester). 16TH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR 2005) San Francisco, CA, USA, August 23-26, 2005 Call for Papers http://www.soe.ucsc.edu/concur05/ * CONCUR 2005, the 16th International Conference on Concurrency Theory, will take place in San Francisco, California, on August 23-26, 2005. Eleven workshops will be held in affiliation with CONCUR 2005. * Short Abstract Submission: March 28, 2005 Extended Abstract Submission: April 1, 2005 * For more information see webpage ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II Barcelona, 15-18 June 2005 Call for Papers http://www.mat.ub.es/~logica/meeting2005/ * In recent years the interest in non-classical logics has been growing. We aim to bring together researchers from various fields of non-classical logics and applications, as well as from lattice theory, universal algebra, category theory and general topology, in order to foster collaboration and further research. The featured areas include, but are not limited to, the following: Algebraic logic, Coalgebraic semantics, Categorical semantics in general, Dynamic logic and dynamic algebras, Fuzzy and many-valued logics, Lattices with operators, Modal logics, Ordered topological spaces, Ordered algebraic structures, Residuated structures, Substructural logics and Topological semantics of modal logic. * Deadlines: Submission of contributed papers: 30 March 2005 Acceptation of contributed papers: 30 April 2005 Travel grant applications: 30 March 2005 * Programme committe: Leo Esakia, Georgian Academy of Sciences Mai Gehrke, New Mexico State University Petr Hajek, Czech Academy of Sciences Ramon Jansana, Universitat de Barcelona Hiroakira Ono, Japan Advanced Institute for Science and Technology (chair) Constantine Tsinakis, Vanderbilt University Yde Venema, Universiteit van Amsterdam Michael Zacharyaschev, King's College London * For more details see webpage THIRD INTERNATIONAL WORKSHOP ON INTUITIONISTIC MODAL LOGIC AND APPLICATIONS (IMLA'05) Chicago, Illinois, June 30, 2005 A LICS'05 affiliated workshop http://www.cs.cmu.edu/~fp/imla05/ Call for Papers * Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Sample applications are in type disciplines for programming languages, and meta-logics for reasoning about a variety of computational phenomena. * This workshop will bring together designers, implementers, and users to discuss all aspects of intuitionistic modal logics and type theories. * Submission: April 17, 2005 * For details see webpage WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'05) (affiliated with LICS 2005) Call for Papers Chicago, USA, June 24 - 25, 2005 http://www.cis.syr.edu/~royer/lcc/LCC05/ * Topics of interest include: complexity analysis for functional languages, complexity in database theory, complexity in formal methods, computational complexity in higher types, formal methods for complexity analysis of programs, foundations of implicit computational complexity, logical & machine-independent characterizations of complexity classes, logics closely related to complexity classes, semantic approaches to complexity, software that applies LCC ideas, type systems for controlling complexity * All submissions must be done electronically. See the workshop webpage for details. * Submission Deadline : April 17, 2005 * Program committee: Samson Abramsky (University of Oxford), co-chair. Rajeev Alur (University of Pennsylvania). Albert Atserias (UPC, Barcelona). Andrei Bulatov (Simon Fraser University). Kousha Etessami (University of Edinburgh). Daniel Leivant (Indiana University). Leonid Libkin (University of Toronto), co-chair. Igor Walukiewicz (University of Bordeaux). 3rd IEEE Conf. on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2005) Call for Papers Koblenz, Germany, 7-9 September 2005 http://sefm2005.uni-koblenz.de * Submission Deadline: March 18, 2005 (abstract), April 1, 2005 (paper) * Theme. The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods. * Topics (not exhaustive): requirement analysis and specification; software architectures and their description languages; software specification, validation and verification; software design and refinement; models of programs and systems; object and multi-agent systems; coordination and feature interaction; integration of formal and informal methods; integration of different formal methods; component-based development; service-oriented development; aspect-oriented development; formal aspects of security and mobility; model checking and theorem proving; program analysis; fault-tolerant, real-time and hybrid systems; analysis of safety-critical systems; formal aspects of software evolution and maintenance; formal methods for testing, re-engineering and reuse; light-weight formal methods; prototyping and visualisation; CASE tools and tool integration; application to industrial cases; formal methods for industrial standardisation; socio-economic implications of the use of formal methods * For more details see webpage INTERNATIONAL CONFERENCE ON AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2005) Call for Papers and Call for Tutorials Koblenz, Germany, September 14-17, 2005 http://tableaux2005.uni-koblenz.de * Theme. The conference brings together researchers interested in all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of reasoning with tableaux and related methods. * Topics (not exhaustive): analytic tableaux for various logics (theory and applications), related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, connection method, ...), new calculi and methods for theorem proving in classical and non-classical logics (modal, description, intuitionistic, linear, temporal, ...), systems, tools, implementations and applications * All submissions must be done electronically. Please use our conference management software at tableaux2005.confmaster.net * Tutorial Proposal Submission Deadline : March 31, 2005 * Paper Submission Deadline : April 30, 2005 * Program committee. Bernhard Beckert (U. of Koblenz), Peter Baumgartner (MPI Saarbruecken), Marta Cialdea Mayer (U. Roma Tre), Roy Dyckhoff (U. of St. Andrews), Christian Fermueller (Technical U. of Vienna), Ulrich Furbach (U. of Koblenz), Didier Galmiche (LORIA (U. Henri Poincare), Martin Giese (Chalmers U.), Rajeev P. Gore (Australian National U.), Jean Goubault-Larrecq (Ecole Normale Superieure de Cachan), Reiner Haehnle (Chalmers U. (Gothenburg), Ian Horrocks (U. of Manchester), Ullrich Hustadt (U. of Liverpool), Christoph Kreitz (U. of Potsdam), Reinhold Letz (TU Muenchen), Carsten Lutz (Dresden U. of Technology), Maarten Marx (U. of Amsterdam), Ugo Moscato (U. of Milano-Bicocca), Neil V. Murray (U. at Albany), Ilkka Niemela (Helsinki U. of Technology), Nicola Olivetti (U. of Torino), Lawrence Paulson (U. of Cambridge), David A. Plaisted (U. of North Carolina), Peter H. Schmitt (U. of Karlsruhe), Viorica Sofronie-Stokkermans (MPI Saarbruecken), Arild Waaler (U. of Oslo), Calogero G. Zarba (LORIA and INRIA-Lorraine) FOUNDATIONS OF COMPUTER SECURITY (FCS'05) Chicago, IL, June 30 - July 1, 2005 Affiliated with LICS'05 http://www.cs.chalmers.se/~andrei/FCS05/ Call for papers * Computer security is an established field of Computer Science of both theoretical and practical significance. In recent years, there has been increasing interest in foundations for various methods in computer security, including the formal specification, analysis and design of cryptographic protocols and their applications, the formal definition of various aspects of security such as access control mechanisms, mobile code security and denial-of-service attacks, trust management, and the modeling of information flow and its application to confidentiality policies, system composition, and covert channel analysis. * The aim of this workshop is to provide a forum for continued activity in this area, to bring computer security researchers in contact with the LICS'05 community, and to give LICS attendees an opportunity to talk to experts in computer security. * Submission deadline: March 18, 2005 * For more details see webpage 1ST INTERNATIONAL WORKSHOP ON METHODS AND TOOLS FOR COORDINATING CONCURRENT, DISTRIBUTED AND MOBILE SYSTEMS (MTCoord 2005) April 23, 2005, Namur, Belgium Affiliated to Coordination '2005 http://www.info.fundp.ac.be/MTCoord/MTCoord05 Call for papers * Various classes of computational models, languages, and formalisms have emerged in the aim of providing high-level descriptions of concurrent, distributed, and mobile systems. Typical examples include so-called coordination languages and models (e.g. Gamma, Linda, Manifold, Reo, Klaim, Lime, ...), concurrent constraint languages (e.g. cc languages, Mozart, ...) and process algebras (e.g. CSP, CCS, pi-calculus, ...). * These models are based on generative communication via a shared data space or on data communication through channels. In both cases, software components are typically conceived in isolation assuming that the required data will eventually be available. However, making a whole system out of these components and, in particular, ensuring that interactions occur properly is far from being obvious. The aim of the workshop is precisely to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems. * March 1, 2005: Abstract submission deadline. March 8, 2005: Paper Submission deadline. * For more details see webpage 1ST INTERNATIONAL WORKSHOP ON COORDINATION AND ORGANISATION (CoOrg 2005) Namur, Belgium, April 2005 Affiliated to Coordination '2005 Call for Papers http://boid.info/CoOrg05 * CoOrg 2005 is a one day workshop affiliated with COORDINATION 2005, Namur, Belgium, April 20-23, 2005. * March 1, 2005: Submissions deadline * For more details see webpage 10TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY (ESORICS 2005) Milan, Italy, September 14-16, 2005 Call for Papers http://esorics05.dti.unimi.it/ * Papers offering novel research contributions in any aspect of computer security are solicited for submission to the Tenth European Symposium on Research in Computer Security (ESORICS 2005). * Paper Submission due: March 25, 2005 * For more details see webpage INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR'05) September 7-9, 2005, London, UK. Call for Papers http://www.comp.leeds.ac.uk/lopstr05/ * The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development; the workshop is open to contributions in logic-based program development in any language paradigm. * LOPSTR'05 will be held at Imperial College in London co-located with SAS 2005: The International Static Analysis Symposium (http://www.doc.ic.ac.uk/~clh/sas05.htm). * Authors can either submit extended abstracts describing work in progress or they can choose to submit full papers. * Submission of full papers: May 20, 2005 Submission of extended abstracts: June 3, 2005 * For more details see webpage SECOND WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS (ARSPA'05) Lisboa, Portugal July 16, 2005 co-located with ICALP'05 Call for Papers http://www.avispa-project.org/arspa * The ARSPA workshop aims to bring together researchers and practitioners from both the security and the formal methods communities, from academia and industry, who are working on developing and applying automated reasoning techniques and tools for the formal specification and analysis of security protocols. * Submission deadline: April 15, 2005 * For more details see webpage ARGENTINE SYMPOSIUM ON INFORMATION SYSTEMS (ASIS 2005) Rosario, Argentina, August 29 Call for Papers http://www.sel.unsl.edu.ar/asis2005/ * ASIS 2005 seeks original works in the wide spectrum of information systems, not only from academic research but also from industrial and business applications, with significant impact and lessons learned from application development. * Paper submission deadline: May 2, 2005 * For details see webpage FUNDED VISITORSHIPS FOR LOGIC PHD STUDENTS http://www.maths.man.ac.uk/logic/mathlogaps * There is a Marie Curie Early Stage Training scheme in Mathematical Logic and Applications (MATHLOGAPS), linking Leeds, Manchester, Munich, Lyon 1, and Lyon Ecole Normale Superieure. Funding is available at all of these places for Logic PhD students from elsewhere to pay short-term visits (for at least 3 months). There is also funding available for several 36 month Logic PhD studentships. A student requiring 36 months of funding must start by 1 September 2005. There are Marie Curie eligibility restrictions based on mobility, nationality, and experience. * For more information, see webpage or contact Dugald Macpherson (firstname.lastname@example.org) 17TH INTERNATIONAL SCHOOL FOR COMPUTER SCIENCE RESEARCHERS AND GRADUATE STUDENTS ON "FORMAL METHODS: THEORY AND PRACTICE" Lipari Island, Italy, July 10-23, 2005 * SPEAKERS: RAJEEV ALUR (UPenn) "Modeling and analysis of Hybrid and Embedded Systems" ED CLARKE (CMU) "Abstraction in Model Checking" TOM HENZINGER (EPFL) "Games in System Design and Verification" DANIEL JACKSON (MIT) "Relational Logic for Software Design" ZOHAR MANNA (Stanford) "Practical Static Analysis of Software Systems" SRIRAM RAJAMANI (Microsoft Research) "Software Model Checking" MOSHE VARDI (Rice) "The Automata-Theoretic Approach to Verification" * DIRECTORS: ALFREDO FERRO (Catania) ZOHAR MANNA (Stanford)
* For more information and registration, see web site: http://lipari.cs.unict.it/lipari/index.htm * If you have any questions, contact Alfredo Ferro ICCL SUMMER SCHOOL 2005: LOGIC-BASED KNOWLEDGE REPRESENTATION Technische Universitat Dresden 2nd-17th July 2005 Call for Participation http://www.computational-logic.org/iccl-ss-2005 * The advantage of logic-based approaches for symbolic knowledge representation is that they provide the representation formalism with a formally well-founded semantics, which makes both the represented knowledge and the behavior of knowledge representation systems deducing implicit knowledge from the explicitly represented one comprehensible. The disadvantage is that the inference problems may become intractable or even undecidable if the expressive power of the formalism is large enough. For this reason, early systems employing the logic-based approach were either too inexpressive or too slow. * This situation has changed drastically in the last 10-15 years. This is partially due to increased computing power. More importantly, however, were the recent theoretical and practical advances in the field of logic-based knowledge representation. The summer school will focus on several of the most successful subfields of this active research area: - reasoning about action and change, - nonmonotonic reasoning, - description logics and ontologies, and - action planning. * Preferred registration by April 9, 2005. * For details see webpage ACKERMANN AWARD - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE Second Call for Submissions * The EACSL Board has decided to launch the ACKERMANN Award, the EACSL Outstanding Dissertation Award for Logic in Computer Science. * The ACKERMANN Award will be presented to the recipients at the annual conference of the EACSL (CSL'xx). The jury is entitled to give more than one award per year. The first ACKERMANN Award will be presented at CSL'05. * Eligible for the 2005 ACKERMANN Award are PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2003 and 31.12. 2004. * The deadline for submission is 31.3.2005 Submission details follow below. * The award consists of - a diploma, - an invitation to present the thesis at the CSL conference, - the publication of the abstract of the thesis and the laudatio in the CSL proceedings, - travel support to attend the conference. * The jury consists of seven members, three of them ex officio, namely the president (J. Makowsky, Haifa) and the vice-president (D. Niwinski, Warsaw) of EACSL, and one member of the LICS organizing committee (S. Abramsky, Oxford). The other members of the jury are currently - B. Courcelle (Bordeaux) - E. Graedel (Aachen) - M. Hyland (Cambridge) - A. Razborov (Moscow and Princeton) * The candidate or his/her supervisor has to submit a) the thesis (ps or pdf file); b) a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); c) a supporting letter by the PhD advisor and two supporting letters by other senior faculty or researchers in equivalent positions (in English); d) a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period; e) a short CV of the candidate. * For more details see: http://www.dimi.uniud.it/~eacsl/award and http://www.cs.technion.ac.il/eacsl POSTDOCTORAL POSITION ON COORDINATION LANGUAGES AND WEB SERVICES University of Namur, Belgium * In the framework of the "Namur Institutional Programme of postdoctoral grants", a one-year postdoctoral position is available on the subject of coordination languages and web services at the University of Namur, Belgium. * Application deadline: 1st March 2005 * For more details see: http://www.fundp.ac.be/recherche/Postdoc_FUNDP_CERUNA_2005.pdf * For scientific questions about the project, please contact Prof. Jean-Marie Jacquet (email: email@example.com, web: http://www.info.fundp.ac.be/~jmj). * For general questions regarding the application, please contact Prof. Paul Thiry (email: firstname.lastname@example.org).
Back to the LICS web page.