Newsletter 91 February 27, 2004 ******************************************************************* * 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 ICGT 2004 - Call for Papers Structural Operational Semantics - Call for Papers QUEST 2004 - Call for Papers Workshop on Disproving - Call for Papers SAT-2004 - Call for papers JELIA'04 - Call for Papers ESORICS 2004 - Call for Papers ARSPA 2004 - Call for Papers * SPECIAL EVENTS International Logic and Computer Science Semester at Tel-Aviv - Call for Participation * NEW JOURNAL ANNOUNCEMENT Annals of Mathematics, Computing & Teleinformatics (AMCT) * VACANCIES Senior research positions in Logic and Computation, National ICT, Australia 2ND INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATION (ICGT 2004) Call for Papers Roma (Italy), September 28 - October 2, 2004 http://icgt2004.dsi.uniroma1.it * Scope. Graphical structures of various kinds (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension modelling the evolution of systems via any kind of transformation of such graphical structures. The field of Graph Transformation is concerned with the theory, applications and implementation issues of all these formalisms. The theory is strongly related to areas such as graph theory and graph algorithms, formal language and parsing theory, theory of concurrency and distributed systems, formal specification and verification, logic and semantics. The application areas include all those fields of Computer Science, Information Processing, Engineering and Natural Sciences where static and dynamic modeling by graphical structures and graph transformations, respectively, play an important role. * Paper submission will be electronic by PDF or PostScript. Detailed information on the conference website. Title and abstract submission deadline: April 19, 2004 Complete paper submission deadline: April 26, 2004 The proceedings will appear in the Lecture Notes in Computer Science series by Springer-Verlag. * Program committee. M.Bauderon (FR), D.Blostein (CA), A.Corradini (IT), H.Ehrig (DE), G.Engels (co-chair; DE), R.Heckel (DE), D.Janssens (BE), H.-J.Kreowski (DE), B.Koenig (DE), B.Meyer (AU), U.Montanari (IT), M.Nagl (DE), F.Orejas (ES), F.Parisi-Presicce (co-chair; USA/IT), M.Pezze' (IT), J.Pfaltz (USA), R.Plasmeijer (NL), D.Plump (UK), L.Ribeiro (BR), G.Rozenberg (NL), A.Schuerr (DE), G.Taentzer (DE), G.Tortora (IT), G.Valiente (ES) STRUCTURAL OPERATIONAL SEMANTICS A Satellite Workshop of CONCUR 2004 30 August, 2004, London, United Kingdom Call for Papers * Structural operational semantics (SOS) provides a framework for giving operational semantics to programming and specification languages. A growing number of programming languages from commercial and academic spheres have been given usable semantic descriptions by means of structural operational semantics. Because of its intuitive appeal and flexibility, structural operational semantics has found considerable application in the study of the semantics of concurrent processes. Moreover, it is becoming a viable alternative to denotational semantics in the static analysis of programs, and in proving compiler correctness. * The proposed SOS workshop aims to be a forum for researchers, students and practitioners interested in new developments and directions for future investigation in the field of structural operational semantics. One of the specific goals of the workshop is to establish synergies between the concurrency and programming language communities working on the theory and practice of SOS. * We solicit unpublished papers reporting on original research on the general theme of SOS. Prospective authors are invited to submit a pdf or postscript file with their extended abstract, whose length should not exceed 15 pages, by email to all of the co-chairs at their respective email addresses. The email message with the submission should also include, in plain text, contact information for the author(s), together with the title and abstract of the submission. Submissions are to be received by Sunday, 6 June, 2004. Authors will be notified of acceptance by Wednesday, 30 June, 2004. * Submission deadline: Sunday 6 June 2004 * For further details see: http://www.cs.auc.dk/~luca/SOS-WORKSHOP/ 1st INT. CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2004) Call for Papers University of Twente, the Netherlands, Sep 27 - 30, 2004. http://www.qest.org * Theme: QEST is a new series of annual conferences that recently emerged as the merger of the following individual conferences: - Int. Conf. on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS), - the Int. Workshop on Petri Nets and Performance Models (PNPM), - the Joint Int. Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV). * Subject: all kinds of evaluation and verification of computer and communication systems, through measurements and stochastic models, possibly incorporating non-deterministic behaviour. Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems. Moreover, tools for supporting the practical application of research results in all the above areas, and case studies showing the practical applicability of such results are also explicitly addressed. * All submissions must be done electronically; see the conference webpage * Submission deadline: March 22 (abstract), March 29 (full paper) * General chair: Boudewijn Haverkort (NL); PC co-chairs: Giuliana Frances- chinis (I), Joost-Pieter Katoen (NL), and Murray Woodside (CND). * Tool demo chair: Andrew Miner (USA) * Tutorial chair: Marco Bernardo (Italy) WORKSHOP ON DISPROVING - NON-THEOREMS, NON-VALIDITY, NON-PROVABILITY (affiliated with IJCAR 2004) Call for Papers Cork, Ireland, July 4, 2004 http://www.cs.chalmers.se/~ahrendt/ijcar-ws-disproving/ * Theme: Disproving aims at identifying non-theorems, i.e. showing non-validity, and providing some kind of proof of non-validity. In the scope of the workshop is every method that is able to discover non-theorems and, ideally, provides explanation why the formula is not a theorem. Possible subjects are decision procedures, model generation methods, reduction to SAT, formula simplification methods, abstraction based methods, failed-proof analysis, and others. * All submissions must be done electronically. Details will be announced in due time on the workshop web page. * Submission Deadline: April 18, 2004 * Workshop Organizers: Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle * Program committee: Chris Fermueller, Uli Furbach, Bernhard Gramlich, Deepak Kapur, Bill McCune, Renate Schmidt, Carsten Schuermann, Graham Steel, Cesare Tinelli, Andrei Voronkov, and the WS organizers Conference on Theory and Applications of Satisfiability Testing (SAT-2004) Call for Papers Vancouver, 10-13 May 2004 http://www.satisfiability.org/SAT04/ * The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). We welcome submissions on SAT from any discipline with an interest in the problem, including theoretical, experimental and applied work. Topics include: Proof Systems and Proof Complexity; Search Algorithms and Heuristics; Analysis of Algorithms; Hard Instances ; Random Formulas; Problem Encodings; Industrial Applications; Solvers and other tools * Submissions are to be extended abstracts of at most 8 pages in Springer-Verlag LNCS style. Submission is online through the conference web page. Submission of SAT and QBF solvers and benchmark instances are also welcome. * Submission deadline is February 20; Authors are asked to register by February 10. * Conference Organizers: David Mitchell (Simon Fraser University) and Holger Hoos (University of British Columbia). * Sponsors: Intel, PIMS, IISI, CoLogNet 9TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE - JELIA'04 Lisbon, Portugal, September 27-30 Call for Papers * Submission deadline: May 9th (abstracts due May 6th) * For further details see: http://centria.di.fct.unl.pt/~jelia2004 9TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY - ESORICS 2004 Institut Eurecom, Sophia Antipolis, French Riviera, France September 13-15, 2004 Call for Papers * Submission deadline: March 26 2004 * For further details see: http://esorics04.eurecom.fr Automated Reasoning for Security Protocols Analysis - ARSPA 2004 IJCAR 2004 Workshop W6 University College Cork, Ireland Sunday, July 04, 2004 Call for Papers * Submission deadline: April 15, 2004 * For further details see: http://www.avispa-project.org/arspa INTERNATIONAL LOGIC AND COMPUTER SCIENCE SEMESTER AT TEL-AVIV Call for Participation * Models of Computation (March 10-12) Including lectures (subject to change) by: Samson Abramsky (Oxford) Bob Constable (Cornell) Felix Costa (Lisbon) Janos Makowsky (Technion) Nissim Francez (Technion) Doron Peled (Warwick) Gordon Plotkin (Edinburgh) Hilary Putnam (Harvard) Vladimir Sazonov (Liverpool) Udi Shapiro (Weizmann) Boaz Trakhtenbrot (Tel Aviv) * Logic and Computation (March 17-19) Including lectures (subject to change) by: Sergei Artemov (Graduate Center CUNY) Mel Fitting (CUNY) Haim Gaifman (Columbia U) Zurab Khasidashvili (Intel Haifa) Daniel Lehmann (Hebrew U) Zohar Manna (Stanford) Anatol Slissenko (Paris) Mars Valiev (Moscow) * Registration is free. * Please send titles notification of intent to participate (by March 1) to one of the following: Logic and Computation Program Chair: Arnon Avron (aa@tau.ac.il) Organizing Committee Chair: Nachum Dershowitz (nachumd@tau.ac.il) Models of Computation Program Chair: Alex Rabinovich (rabinoa@tau.ac.il) * Web site (for further details, as they develop): http://www.cs.tau.ac.il/~nachumd/semester.html * Of Related Interest: March 23-29: Symposium on Cardinal Arithmetic at Work (in Jerusalem) See http://www.as.huji.ac.il/midrasha04.htm April 28, 16:00: Lecture by Yuri Gurevich (Microsoft) at Tel Aviv University ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS (AMCT) http://journals.teilar.gr/amct * AMCT publishes original, high quality, refereed papers in the broad area indicated by its title. It emphasizes a balanced coverage of both theory and practice, publishing both basic and applied research results, as well as papers on novel technological applications. Due to its diverse and ample scope, AMCT is divided into five broad Sections Computational Intelligence Software Engineering and Project Management Networking and Information Systems Computational Mathematics and Theory of Computing Emerging Applications of Computing * To submit a paper for publication, authors may send an e-mail to amct@teilar.gr. Please do read the author instructions first, at the web site of the journal: http://journals.teilar.gr/amct * The Annals of Mathematics, Computing & Teleinformatics (AMCT) is an annual publication with international scope, available in both electronic and paper format, published as a Section of the TEI\L Scientific Annals (TEI Larissa, Greece). It supports fully electronic procedures of paper submission and refereeing. It is published, in english, by the TEI\L, on a non-profit basis. Copies of the printed issues are distributed to major libraries around the world. New issues appear every last month of the year. SENIOR RESEARCH POSITIONS IN LOGIC AND COMPUTATION Senior Researcher/Principal Researcher/Senior Principal Researcher (two permanent positions in the Canberra laboratory) Logic and Computation Program National ICT Australia * For details see advertisement under Positions Vacant at http://nicta.com.au Enquiries to John Slaney (John.Slaney@nicta.com.au) * Closing date: 16 April 2004.
Back to the LICS web page.