Newsletter 93 June 8, 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 * IN MEMORIAM Harald Ganzinger 1950-2004 * CONFERENCES AND WORKSHOPS LICS 2004 - Call for Participation LCC'04 - Call for Participation FCS 04 - Call for Participation MOMPES 2004 - Call for Participation TLCA 05 - Call for Papers FST&TCS 2004 - Call for Papers FAST 2004 - Call for Papers VODCA 2004 - Call for Papers * SCHOOLS AND COURSES ESSLI 2005 - Call for Course and Workshop Proposals 1st World Congress and School on Universal Logic International Master in Computational Logic * VACANCIES Academic Positions at University of Wales Swansea * BOOK ANNOUNCEMENT Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions - Y. Bertot, P. Casteran HARALD GANZINGER 1950-2004 http://www.mpi-sb.mpg.de/inmemoriam/HaraldGanzinger.html * The LICS community mourns the loss of Harald Ganzinger, LICS 2004 Program Committee Chair, who died on June 3, 2004. Although he had been in poor health for quite some time, Harald made a valiant effort to guide the LICS 2004 Program Committee through the selection of the papers for the conference. Unfortunately, he will not be present at the conference for which he worked so hard. He will also not be present to receive the 2004 Herbrand Award at the IJCAR conference in July 2004 (see http://domino.mpi-sb.mpg.de/internet/news.nsf/Press+Releases/20040420). Harald's passage leaves a void in our community that will be hard to fill. A tribute to his memory and contributions will be paid during the joint 2004 ICALP/LICS Conference at Turku in July. * Andrei Voronkov has now assumed the duties of LICS 2004 Program Committee Chair. 19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2004) (co-located with ICALP 2004) Turku, Finland, July 13-17, 2004 http://www.lfcs.informatics.ed.ac.uk/lics/ Call for Participation * The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. * Invited speakers: LICS: S. Abramsky (U. Oxford), D. Sangiorgi (U. di Bologna), I. Walukiewicz (U. Bordeaux), Joint ICALP/LICS: R. Harper (Carnegie Mellon), A. Razborov (Princeton & Moscow), M. Yannakakis (Stanford). * For registration visit http://www.math.utu.fi/ICALP04/registration.html WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY (LCC'04) (affiliated with ICALP'04 and LICS 2004) Turku, Finland, July 12-13, 2004 Call for participation * Preliminary Program: Stephen Cook, Making Sense of Bounded Arithmetic Victor Dalmau, The Complexity of Retraction Problems Andrei Bulatov, Polymorphisms of Relational Structures Phokion Kolaitis, Data Exchange: Aspects of Logic and Complexity Patrick Baillot, Type Inference for Light Affine Logic Via Constraints on Words Jean-Yves Marion, Resource Analysis by Quasi-Interpretations Daniel Leivant, Implicit Complexity Via Logics of Programs Kazushige Terui, Decomposition of Computation Via Linear Logic James Royer, Adventures in Time and Space * For details see http://www.cis.syr.edu/~royer/lcc/LCC04 FOUNDATIONS OF COMPUTER SECURITY (FCS'04) affiliated with LICS'04 and ICALP'04 Turku, Finland, July 12-13, 2004 Call for Participation * Invited Speaker: Martin Abadi, University of California at Santa Cruz * For details see: http://www.cs.chalmers.se/~andrei/FCS04/ 1ST WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE (MOMPES 2004) Hamilton, Ontario, Canada, June 15, 2004 within the 4th International Conference on Application of Concurrency to System Design 2004 (ACSD 2004) * The Object Management Group's Model Driven Architecture (MDA) paradigm is an approach to the development of software, based on the separation between the specification of the systems and their implementation using specific platforms. This workshop focuses on the scientific and practical aspects related with the adoption of Model Driven Development MDD) methodologies (notation, process, methods, and tools) for supporting the construction of pervasive and embedded software. * For details see: http://www.di.uminho.pt/mompes04 SEVENTH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA 05) Nara, Japan, 21-23 April 2005 Colocated with RTA'05 as RDP 2005 Call for Papers * The TLCA series of conferences serves as a forum for presenting original research results that are broadly relevant to the theory and applications of typed lambda calculi and related systems. * The programme of TLCA'05 will consist of three invited talks and about 25 papers selected from original contributions. Accepted papers will be published as a volume of Springer Lecture Notes in Computer Science series. * Deadlines: Titles and abstracts due: October 25, 2004 Paper submission deadline: November 2, 2004 * For details see http://www.kurims.kyoto-u.ac.jp/rdp05/tlca/ THE 24th CONFERENCE ON FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE - FST&TCS 2004 December 16-18, 2004, Chennai, INDIA Call for Papers * Important dates: Submissions: 21st June 2004 Notification: 20th August 2004 * Satellite Workshops: December 13--15, 2004. Algorithms for dynamic data, coordinated by S. Muthukrishnan and Pankaj Agarwal. Logic for dynamic data, coordinated by Uday Reddy. * Invited Speakers: Javier Esparza, Piotr Indyk, Pavel Pevzner, John C. Reynolds and Denis Therien. * For details see: http://www.fsttcs.org/ 2ND INTERNATIONAL WORKSHOP ON FORMAL ASPECTS IN SECURITY AND TRUST (FAST2004) Toulouse, France, 26-27 August 2004 Call for Papers * The second international Workshop on Formal Aspects in Security & Trust aims at continuing the successful efforts of FAST 2003 for the aggregation of researchers in the areas of security and trust. * FAST2004 is a satellite event of 18th IFIP World Computer Congress (WCC2004) and is under the auspicies of IFIP WG 1.7 on "Theoretical Foundations of Security Analysis and Design" * Paper Submission: 18 June 2004 * For details see http://www.iit.cnr.it/FAST2004 1ST INTERNATIONAL WORKSHOP ON VIEWS ON DESIGNING COMPLEX ARCHITECTURES (VODCA 2004) Bertinoro (Italy) September 11-12, 2004. * The workshop aims at providing a platform for young scientist to present their research views on all areas related to the design of complex architectures, with a special focus on the security and management of information. * Submission of papers: June 25, 2004 * For details see http://www-gris.det.uvigo.es/vodca SEVENTEENTH EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION August 8--19, 2005, Edinburgh, U.K Call for Course and Workshop Proposals * The Seventeenth European Summer School in Logic, Language and Information will be held at Heriot-Watt, Edinburgh, United Kingdom. The Summer Schools focus on the interface between linguistics, logic and computation. Foundational, introductory and advanced courses together with workshops cover a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. * The ESSLLI 2005 Program Committee invites proposals for foundational, introductory, and advanced courses, and for workshops for the 17-th annual Summer School on a wide range of timely topics that have demonstrated their relevance in the following fields: - Language & Computation - Language & Logic - Logic & Computation * All proposals should be submitted no later than Thursday July 15, 2004. Authors of proposals will be notified of the committee's decision no later than Wednesday September 15, 2004. * For details see http://www.esslli.org/2005/cfp.txt 1ST WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC Montreux Switzerland School: March 26-30; Congress: March 31 - April 3, 2005 * This event will focus on: 1) Techniques that can be used for a general theory of logics (Labelled deductive systems, Kripke structures, Logical matrices, etc.) 2) Studies of classes of logics (Substructural logics, Non monotonic logics, Paraconsistent logics, etc.) 3) Scope of validity and domain of application of fundamental theorems of logic (Completeness, Deduction, Cut-elimination, etc.) 4) Philosophical considerations about the nature of logic and the universality of some logical laws or axioms * The school is intended for advanced students and young researchers. There will be about 20 tutorials on many subjetcs: combination of logics, multiple conclusion logic, combinatory logic, logics and games, abstract model theory, logic as language vs. logic as calculus, category theory for logics, etc. * Invited speakers of the congress will include A.Avron, D.Batens, J.Corcoran, M.Dunn, D.Gabbay, R.Jansana, A.Koslow, V.de Paiva, K.Segerberg. * Contributed papers for the congress can be submitted before October 30, 2004. * More information on the website: http://www.uni-log.org MSC IN COMPUTATIONAL LOGIC 2004-5 International Master in Computational Logic Departamento de Informatica, FCT/UNL, Lisbon Computer Science Dept., T.U. Dresden * For information see: http://www.di.fct.unl.pt/mcl/ PROFESSORSHIPS, READERSHIPS, LECTURESHIPS, TUTORSHIPS * The department of computer science at Swansea (Wales, UK) is currently advertising academic positions at all levels. We hope especially to expand our groups in visual computing and in logic/theoretical computer science. * Our department was rated 5 in the last research assessment exericse. It has a very strong group in logic and theoretical computer science which is amongst the biggest in UK. The members of that group are Ulrich Berger (proof theory, computability theory, type theory), Phil Grant (artificial intelligence), Andy Gimblett (algebraic specification), Neal Harman (hardware verification, models of computation, algebraic specification), Oliver Kullmann (satisfiability problems), Markus Michelbrink (proof theory, type theory), Faron Moller (automata theory, modal and temporal logic), Markus Roggenbach (algebraic specification), Monika Seisenberger (proof theory, type theory, computability theory), Anton Setzer (proof theory, type theory) and John Tucker (algebraic specification, algebraic methods, computability theory). We have as well strong links to the mathematics department, with Roger Hindley (lambda-calculus) and Jiang-Lun Wu (nonstandard analysis). * The deadline for application is 25 June 2004 (it is possible that late applications may be acceptable). * The official advertisements can be found at http://www.jobs.ac.uk/jobfiles/IS433.html http://www.jobs.ac.uk/jobfiles/IS434.html BOOK ANNOUNCEMENT Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions Yves Bertot, Pierre Casteran Springer Verlag, 2004, ISBN 3-540-20854-2 http://www.labri.fr/Perso/~casteran/CoqArt/ * Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of type theory. * This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. * This book can be ordered directly from Springer (see the URL above)
Back to the LICS web page.