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.