Newsletter 99
June 24, 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
FLoC 2006 - Call for Workshop Proposals
CALCO 2005 - Call for Participation
LPAR-12 - Call for Papers
AVoCS '05 - Call for Short Presentations
Overture Workshop - Call for Participation
* BOOK ANNOUNCEMENT
Linear Logic in Computer Science - Ehrhard, Girard, Ruet, and Scott, eds.
* VACANCIES
Assistant positions in software component technology, Zurich
Positions in mathematical logic and applications, Freiburg
THE 2006 FEDERATED LOGIC CONFERENCE (FLoC 2006)
Seattle, Wash., USA, August 2006
http://research.microsoft.com/floc06/
Call For Workshop Proposals
* The fourth Federated Logic Conference (FLoC'06), will be held in
in August 2006, at the Seattle Sheraton. The following six
conferences will participate in FLoC:
- Conference on Computer-Aided Verification (CAV).
- International Conference on Logic Programming (ICLP).
- International Joint Conference on Automated Deduction (IJCAR).
- IEEE Symposium on Logic in Computer Science (LICS).
- Conference on Rewriting Techniques and Applications (RTA).
- International Conference on Theory and Applications of Satisfiability
Testing (SAT).
* The organizers have made arrangements to facilitate the running of
pre-, post-, and mid-FLoC workshops. Each workshop will
have its own registration. It is not necessary to register for FLoC in
order to attend workshops. Meeting rooms and accommodations have been
reserved at the Seattle Sheraton.
- Pre-FLoC workshops: Thurs. August 10 - Fri. August 11, 2006.
- Mid-FLoC workshops: Tues. August 15 - Wed. August 16, 2006.
- Post-FLoC workshops: Mon. August 21 - Tues. August 22, 2006.
* Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic, broadly understood, applied to
computer science. Each workshop proposal must indicate one sponsoring
conference among the participating conferences. (It is suggested
that prospective workshop organizers contact the conference program
chair before submitting a proposal.) Workshops will have to be
financially self-supporting, unless the sponsoring conference
accepts financial responsibility. The FLoC Organizing Committee
will determine the final list of accepted workshops based on the
recommendations from the sponsoring conferences and subject to the
availability of space and facilities.
* Proposals should consist of two parts. First, a short scientific
justification of the proposed topic, its significance, and the
particular benefits of a workshop. A second, organizational, part
should include:
- contact information about organizers
- proposed format and agenda
- procedures for selecting papers and participants
- duration (which may vary from one day to three days) and
preferred period.
- proposed sponsoring conference
* Additional organizational plans may include names of
potential invited speakers, proposed demo sessions and tutorials,
plans for proceedings or other publications, etc.
* Proposals are due by July 31, 2005. Organizers will be notified by
August 31, 2005. Proposals should be submitted either electronically, and
should be addressed to the Program Chair of the sponsoring conference
as well as to
Gopal Gupta (Workshop Chair)
Department of Computer Science
University of Texas at Dallas
Richardson, TX 75080
Email: gupta@utdallas.edu
Phone: +1 972 883 4107
Fax: +1 972 883 2399
1ST CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2005)
September 3-6, 2005, Swansea, Wales, UK
http://www.cs.swan.ac.uk/calco/
Call for Participation
* CALCO 2005 is an exciting new conference that brings together
researchers and practitioners to exchange new results related to
foundational aspects and both traditional and emerging uses of
algebras and coalgebras in computer science.
* Registration is open now on
http://www.cs.swan.ac.uk/calco/registration.php
The fee 180 GBP includes a volume of Springer's Lecture Notes in
Computer Science with the proceedings.
* CALCO-jnr: CALCO 2005 is preceded by a Young Researchers Workshop,
dedicated to presentations by PhD students and people who
completed their doctoral studies within the past few years, see
http://www.cs.swan.ac.uk/calco-jnr/
* Invited Speakers:
- Professor Samson Abramsky, Christopher Strachey Professor of
Computing, University of Oxford, UK
- Professor Gordon Plotkin, School of Informatics, University of
Edinburgh, UK.
- Professor Vladimiro Sassone, Professor of Informatics, University of
Sussex, UK.
* For more information see webpage
12th INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING ARTIFICIAL
INTELLIGENCE AND REASONING (LPAR-12)
2nd-6th December 2005, Montego Bay, Jamaica
http://www.lpar.net/2005
Final Call For Papers
* LPAR-12 will be held 2nd-6th December 2005, at the Wexford Hotel,
Montego Bay, Jamaica. Submission of papers for
presentation at the conference is now invited.
* Dates and Deadlines:
- Submission of full paper abstracts 11th July
- Submission of full papers 18th July
- Submission of short papers 26th September
* Full and short papers are welcome. Full papers may be either regular papers
containing new results, or experimental papers describing implementations
or evaluations of systems. Short papers may describe work in progress or
provide system descriptions. Submitted papers must be original, and not
submitted concurrently to a journal or another conference.
* For more information see webpage
5TH INTERNATIONAL WORKSHOP ON AUTOMATED VERIFICATION OF CRITICAL SYSTEMS
(AVoCS '05)
University of Warwick, UK, 12-13 September 2005
Call for Short Presentations
http://www.dcs.warwick.ac.uk/~avocs05
* Topics include: Specification and Refinement; Requirements Capture and
Analysis; Model Checking: Theory, Tools and Applications;
Abstract Interpretation; Theorem Proving; Software and Hardware
Verification; Verification of Probabilistic and/or Real-Time Systems;
Verification of Distributed Protocols including Security; Performance
and Dependability Evaluation; Case Studies
* The regular papers will be supplemented by a series of short
presentations, for submission of which:
- Abstract must be supplied in plain text format.
- Short presentations will be accepted on a first-come,
first-served basis.
* Preliminary proceedings will be published by the University of Warwick
and distributed at the workshop. This will include preliminary
versions of regular papers, and abstracts of short presentations.
After the workshop, authors of regular papers will have an option to
prepare a final version for proceedings in Electronic Notes in
Theoretical Computer Science (Elsevier), and to submit a full
version for a special issue of a high-quality international journal.
* 25 July: deadline for submission of short presentation abstracts
* Programme committee: Dragan Boshnachki, Muffy Calder, Sadie Creese,
Michael Goldsmith, Michael Gordon, John Harrison, Gerard Holzmann,
Michael Huth, Antonin Kucera, Orna Kupferman, Marta Kwiatkowska,
Ranko Lazic, Michael Leuschel, Rajagopal Nagarajan, David Nowak,
Paritosh Pandya, Jakob Rehof, Markus Roggenbach, Bill Roscoe,
Jim Woodcock
OVERTURE WORKSHOP
July 18, 2005, Newcastle upon Tyne, UK
Co-located Workshop of Formal Methods 2005
http://www.csr.ncl.ac.uk/fm05/main_workshops.php?mode=info&language=english&workshop=14
Call for Participation
* The mission of the Overture project is twofold: to provide an
industrial-strength tool for VDM++ to allow the use of precise abstract
models in software development, and to foster an environment that allows
researchers and other interested parties to experiment with language
modifications and extensions to the tool. The aim of the workshop is
to reflect on 13 years of history with VDM++ and to boost the momentum
that currently exists for the Overture project.
* For more information see webpage
BOOK ANNOUNCEMENT
Linear Logic in Computer Science
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, and Philip Scott, editors
Cambridge University Press, November 2004, ISBN 0-521-60857-0. 392 pages;
75 exercises; 150 figures; 50 worked examples. $70.00
* Linear Logic is a branch of proof theory which provides refined tools for
the study of the computational aspects of proofs. These tools include a
duality-based categorical semantics, an intrinsic graphical representation
of proofs, the introduction of well-behaved non-commutative logical
connectives, and the concepts of polarity and focalization. These various
aspects are illustrated here through introductory tutorials as well as
more specialized contributions, with a particular emphasis on applications
to computer science: denotational semantics, lambda-calculus, logic
programming and concurrency theory. The volume is rounded-off by two
invited contributions on new topics rooted in recent developments of
linear logic. The book derives from a summer school that was the climax of
the EU Training and Mobility of Researchers project "Linear Logic in
Computer Science". It is an excellent introduction to some of the most
active research topics in the area.
* Contents: Part I. Tutorials: 1. Category theory for linear logicians R.
Blute and Ph. Scott; 2. Proof nets and the x-calculus S. Guerrini; 3. An
overview of linear logic programming D. Miller; 4. Linearity and
nonlinearity in distributed computation G. Winskel; 5. An axiomatic
approach to structural rules for locative linear logic J. M. Andreoli; 6.
An introduction to uniformity in ludics C. Faggian, M. R. Fleury-Donnadieu
and M. Quatrini; 7. Slicing polarized addictive normalization O. Laurent
and L. Toratora De Falco; 8. A topological correctness criterion for
muliplicative noncommutative logic P.A. Mellies; 9. Bicategories in
algebra and linguistics J. Lambek; 10. Between logic and quantic: a tract
J. Y. Girard.
* For ordering information, please visit
http://www.cambridge.org/0521608570.
ASSISTANT POSITIONS IN SOFTWARE COMPONENT TECHNOLOGY, ZURICH
Department of Computer Science - ETH Zurich, Switzerland
http://sct.inf.ethz.ch/jobs.html
* The Software Component Technology group is recruiting one or two
assistants (PhD students) to work on the European research project
"Mobility, Ubiquity and Security: MOBIUS", aiming at developing the
technology for establishing trust and security for the next generation
of global computers, using the Proof Carrying Code paradigm. The
project will start September 1, 2005.
* For more information see webpage
POSITIONS IN MATHEMATICAL LOGIC AND APPLICATIONS, FREIBURG
http://gradlog.informatik.uni-freiburg.de/gradlog
* Starting 1st October 2005, we announce the vacancy of scholarships
for 1 Post-Doc Position and 2 Ph.D. Positions at the University
of Freiburg, for interested people, having a Masters (M.Sc. or
equivalent) or Ph.D. degree in the respective field or related.
* Funding is provided for a duration of 2-3 years. The limit in age
for Post-Doc applicants is 35 years, and 28 years for
Ph.D. applicants, respectively.
* The DFG-funded Graduate Program is led by Mathematics and Computer
Science faculty. Major topics comprise applications of mathematical
logics in Computer Science and Algebra:
- Model Checking problems with particular focus on theory of database
systems, artificial intelligence, and verification of hybrid systems.
- Model theory of arithmetic structures and algebraic and geometrical
methods in model theory.
These fields of interest are represented by university professors
Becker, Flum, Koenigsmann, Lausen, Nebel, Prestel, and Ziegler.
* For further information see webpage
Back to the LICS web page.