Newsletter 99
June 24, 2005

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at

  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
  Linear Logic in Computer Science - Ehrhard, Girard, Ruet, and Scott, eds.
  Assistant positions in software component technology, Zurich
  Positions in mathematical logic and applications, Freiburg

  Seattle, Wash., USA, August 2006
  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
    Phone: +1 972 883 4107
    Fax: +1 972 883 2399

  September 3-6, 2005, Swansea, Wales, UK
  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
  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
* 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

  2nd-6th December 2005, Montego Bay, Jamaica
  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

(AVoCS '05)
  University of Warwick, UK, 12-13 September 2005
  Call for Short Presentations
* 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

  July 18, 2005, Newcastle upon Tyne, UK
  Co-located Workshop of Formal Methods 2005
  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

  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

  Department of Computer Science - ETH Zurich, Switzerland
* 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

* 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.