Newsletter 98
April 12, 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
LICS 2005 - Call for Participation
CiE '05 - Call for Participation
PLS 5 - Call for Papers (deadline April 15)
Logic Colloquium '05 - Call for Abstracts (deadline April 15)
ARSPA'05 - Call for Papers (deadline April 15)
WS-FM 2005 - Call for Papers (deadline April 22)
FAST 2005 - Call for Papers (deadline April 29)
Bounded Model Checking - Call for Papers (Deadline May 1)
ESCAR - Call for Papers (Deadline May 1)
Workshop on Automated Reasoning - Call for Abstracts (Deadline May 1)
SOS 2005 - Call for Papers (deadline May 13)
ICFEM 2005 - Call for Papers (deadline May 20)
FORMATS '05 - Call for Papers (deadline May 20)
MERLIN 2005 - Call for Papers (deadline May 23)
EXPRESS'05 - Call for Papers (deadline June 1)
FSEN 2005 - Call for Papers (deadline June 1)
WCFLP 2005 - Call for Papers (deadline June 5)
PMCCS-7 - Call for Papers (deadline June 20)
LPAR-12 - Call for Papers (deadline July 18)
FMCO 2005 - Call for Tutorial Papers (deadline September 5)
FLOC 06 - Preliminary Announcement
* SUMMER SCHOOLS
Summer School on Logic-based Knowledge representation, Dresden
* VACANCIES
Lecturer in Computer Science, University of Edinburgh
TWENTIETH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2005)
June 26th-29th, 2005, Chicago, Illinois
Affiliated workshops: June 24-25, 30 and July 1, 2005
Call for Participation
http://www.lfcs.informatics.ed.ac.uk/lics/lics05/
* The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed.
* Registration is now open.
* Important dates:
May 1st 2005: Club Quarters room block booking expires. Reserve
your hotel room before this date!
May 20th 2005: University Center of Chicago room block booking
expires. Reserve your dorm room before this date!
May 20th 2005: Early registration discount expires.
* Invited Speakers:
Michael Benedikt, Bell Laboratories;
Solomon Feferman, Stanford University;
Walter Fontana, Harvard University;
Jane Hillston, University of Edinburgh
Glynn Winskel, University of Cambridge.
* Affiliated Workshops:
Logic and Computational Complexity, June 24-25.
Organizer: Jim Royer
Intuitionistic Modal Logics and Applications, June 30.
Organizers: Valeria de Paiva and Frank Pfenning
Foundations of Computer Security June 30-July 1.
Organizer: Andrei Sabelfeld
Workshop on Quantum Programming Languages, June 30-July 1.
Organizer: Peter Selinger
* For more information see webpage
COMPUTABILITY IN EUROPE: NEW COMPUTATIONAL PARADIGMS (CiE'05)
Call for Participation
June 8 - 12, 2005, Amsterdam, The Netherlands
http://www.illc.uva.nl/CiE/
* CiE 2005 is an interdisciplinary venue for researchers from computer
science and mathematics focusing on New Computational Paradigms. These
include prominently connections between computation and physical systems
but also higher mathematical models of computation. The researchers from
the different communities will exchange ideas, approaches and techniques
in their respective work, thereby generating a wider community for work
on computational issues that allows uniform approaches to diverse areas,
the transformation of theoretical ideas into applicable projects, and
general cross-fertilization transcending disciplinary borders.
* There will be two three-hour tutorials (Buhrman and Weihrauch), eight
plenary talks, six special sessions with altogether 25 talks and over 50
contributed talks covering the entire range of research in computability
theory:
* Plenary Talks: http://www.illc.uva.nl/CiE/index.php?page=12
Special Sessions: http://www.illc.uva.nl/CiE/index.php?page=6
Contributed Papers: http://www.illc.uva.nl/CiE/index.php?page=15
* Regular registration (EUR 95, EUR 75 for students) will be possible
until April 30th, 2005. After May 1st, 2005, there will be an option of
Late Registration with higher fees.
* Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry
Cooper (Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe
(Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg
(Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet
(Amsterdam), John Tucker (Swansea), Johan van Benthem
(Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann
(Praha).
5TH PANHELLENIC LOGIC SYMPOSIUM (PLS5)
Dedicated to Y. N. Moschovakis upon his retirement from the University
of Athens
25-28 July 2005, Athens, Greece
http://www.di.uoa.gr/~pls5
Call for Papers
* The Panhellenic Logic Symposium (PLS) is a biannual scientific event
that aims to promote interaction and cross-fertilization between
different areas of logic. PLS brings together researchers from Greece
and other countries who work on logic broadly conceived.
* Topics of interest include: Computer Science Logic, Mathematical Logic
and Set Theory, History of Logic, Methodology and Philosophy of Science.
* Invited Tutorials: O. Belegradek (Bilgi U., Turkey),
I. Pratt-Hartmann (U. Manchester, U.K.).
* Invited Plenary Talks: P. Aczel (U. Manchester, U.K.), K. Apt (U. Amsterdam,
Netherlands), M. Fitting (CUNY, USA), A. Kechris (CalTech, USA),
L. Kirousis (U. Patras, Greece), Ph. Kolaitis (IBM Almaden and UCSC, USA),
E. Kranakis (Carleton U., Canada), L. Moss (Indiana U., USA), Z. Petric
(Serbian Academy, Serbia), D. Skordev (Sofia U., Bulgaria).
* Original papers falling within the scope of the symposium are solicited.
Authors are invited to submit electronically short papers (up to six pages).
Deadline for submission: April 15
Notification of acceptance: May 15
Deadline for camera-ready papers: May 25
* Programme Committee: C. Dimitracopoulos (Athens, Chair), K. Dosen
(Belgrade), K. Hatzikiriakou (Volos), A. Kakas (Nicosia),
G. Koletsos (Athens), M. Mytilinaios (Athens), Th. Pheidas (Crete),
P. Rondogiannis (Athens), J. Sifakis (VERIMAG), I. Soskov (Sofia),
A. Tzouvaras (Thessaloniki), S. Zachos (Athens).
LOGIC COLLOQUIUM '05 - ASL EUROPEAN SUMMER MEETING
July 28-August 3, 2005, Athens, Greece
Call for Abstracts
http://www.math.uoa.gr/lc2005
* The conference will highlight the following areas: Computability Theory,
Computer Science Logic, Model Theory, Philosophical Logic, Proof Theory
and Set Theory. The scientific program of the conference will consist of
* four short courses, twelve plenary lectures, four special sessions and
presentations of contributed papers.
* Authors of contributed papers are invited to submit abstracts by
April 15, 2005. Each accepted paper will be allocated a twenty-minute
period for presentation and questions.
* For more information see webpage
SECOND WORKSHOP ON AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS
(ARSPA'05)
co-located with ICALP'05
Lisboa, Portugal, July 16, 2005
http://www.avispa-project.org/arspa
* The ARSPA workshop aims to bring together researchers and
practitioners from both the security and the formal methods communities,
from academia and industry, who are working on developing and applying
automated reasoning techniques and tools for the formal specification
and analysis of security protocols.
* Submission deadline: April 15, 2005
* For more information see webpage
WEB SERVICES AND FORMAL METHODS (WS-FM 2005)
1-3 September 2005, Versailles, France
http://cs.unibo.it/WS-FM05
* The aim of the workshop is to bring together researchers working
on Web Services and Formal Methods in order to activate a fruitful
collaboration in this direction of research. This, potentially, could
also have a great impact on the current standardization phase of Web
Service technologies.
* Submission deadline: April 22
* For more information see webpage
FORMAL ASPECTS IN SECURITY & TRUST (FAST2005)
Newcastle, UK, 18-19 July 2005.
www.iit.cnr.it/FAST2005
Call for Papers
* Paper Submission: 29 April 2005
* For more information see webpage
THIRD INTERNATIONAL WORKSHOP ON BOUNDED MODEL CHECKING
(Affiliated with CAV'05)
11 July, 2005, Edinburgh, Scotland, UK
http://iew3.technion.ac.il/BMC05/bmc05.html
Call for Papers
* All theoretical and practical aspects of Bounded Model Checking,
including, but not limited to, using SAT technology for unbounded
model checking, combining BMC with other tools and techniques,
experimental results in an industrial setting, BMC of infinite
state systems, translation schemes, and dedicated SAT techniques
for BMC.
* Submissions: May 1, 2005
* Please send submissions to bmc05@ie.technion.ac.il. Further instructions
can be found in the workshop's home page as stated above.
* Chairs: Armin Biere, John Kepler Univ., Austria
Ofer Strichman, Technion, Israel
* Program Committee:
Armin Biere (Johannes Kepler University, Linz, Austria),
Per Bjesse (Synopsys, USA), Alessandro Cimatti (IRST,Italy),
Koen Claessen (Chalmers Univ. of Technology, Sweden),
Raanan Fraer (Intel, Israel), Danny Geist (IBM, Israel),
Alan Hu (Univ. of British Columbia, Canada), Sharad Malik
(Princeton Univ., USA), Ken McMillan (Cadence, USA),
Joao M. Silva (Technical Univ. of Lisbon, Portugal),
Fabio Somenzi (Univ. of Colorado, USA), Ofer Strichman
(Technion, Israel), Yunshan Zhu (Synopsys, USA)
EMPIRICALLY SUCCESSFUL CLASSICAL AUTOMATED REASONING (ESCAR)
a CADE-20 Workshop
22nd-23rd July 2005, Tallinn, Estonia
http://www.cs.miami.edu/~geoff/Conferences/ESCAR/
* The CADE-20 Workshop on Empirically Successful Classical Automated
Reasoning (ESCAR) will bring together practioners and researchers
who are concerned with the implementation and deployment of working
automated reasoning systems for classical logic (propositional,
first order, and higher order). The workshop will discuss "really
running" systems, and not theoretical ideas that have not
yet been translated into working software. ESCAR is the successor
to the successful ESFOR workshop held at IJCAR 2004. CADE-20 will
be 22nd to 27th July 2005, with ESCAR on the 22nd and 23rd.
* Submission deadline: 1st May,
* For more information see webpage
TWELFTH WORKSHOP ON AUTOMATED REASONING: BRIDGING THE GAP BETWEEN
THEORY AND PRACTICE
(co-located with IJCAI 2005)
University of Edinburgh, Edinburgh, UK
29th and 30th July 2005
Call for Abstracts
http://www.inf.ed.ac.uk/events/conferences/arw-05
* Continuing the highly successful series of Workshops on Automated
Reasoning, this event will provide an informal forum for the automated
reasoning community. The ARW workshop series aims to bring together
researchers from all areas of automated reasoning in order to foster
links and facilitate cross-fertilisation of ideas among researchers
from various disciplines; among researchers from academia, industry
and government; and between theoreticians and practitioners.
* Abstract submission: 1st May 2005
* For more information see webpage
SECOND WORKSHOP ON STRUCTURAL OPERATIONAL SEMANTICS (SOS 2005)
(a satellite event of ICALP 2005)
Call for Papers
Lisbon, Portugal, July 10, 2005
http://www.cs.le.ac.uk/events/SOS2005
* Theme. A forum for researchers, students and practitioners interested
in new developments, and directions for future investigation, in the
field of structural operational semantics. Aims to establish synergies
between the concurrency and programming language communities working
on the theory and practice of SOS.
* Topics of interest include (but are not limited to): programming
languages; process algebras; higher-order formalisms; rule formats for
operational specifications; meaning of operational specifications;
comparisons between denotational, axiomatic and SOS; compositionality
of modal logics with respect to operational specifications; congruence
with respect to behavioural equivalences; conservative extensions;
derivation of proof rules from operational specifications; software
tools that automate, or are based on, SOS; and applications of SOS to
software engineering and other areas of computer science.
* All submissions must be done electronically. Please email your
submissions to sos2005 AT mcs.le.ac.uk
* Submission deadline for abstracts: Friday, 13 May 2005.
Submission deadline for full papers: Monday, 23 May 2005.
* The proceedings of the workshop will appear in ENTCS. If the quality
and quantity of the papers accepted for the workshop warrant it,
submissions will be invited for a special issue of an archival
ournal.
* Programme committee: Luca Aceto (BRICS, Aalborg, DK), Wan Fokkink
(Amsterdam, NL), Rob van Glabbeek (NICTA, AU), Matthew Hennessy
(Sussex, UK), Ralf Laemmel (CWI, NL), Peter Mosses (Swansea, UK,
(co-chair), David Sands (Chalmers, SE), Alex Simpson (Edinburgh, UK),
Simone Tini (Insubria, IT), Irek Ulidowski (Leicester, UK, co-chair),
Erik de Vink (Eindhoven, NL).
* Invited speakers: Jan Friso Groote, Jose Meseguer.
INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM 2005)
1-4 November 2005, Manchester, UK
Call for Papers
http://www.cs.man.ac.uk/icfem05/
* Theme. Formal engineering methods are formal methods applied to
practical computer system development. These methods have been
extensively researched and their use in industry is increasing.
Recent applications to the development of mission-critical,
safety-critical and security-critical systems have significantly
increased trustworthiness, without increasing overall development
costs. Nowadays, it is more and more the case that formal techniques
have gone hand in hand with the construction of systems displaying
the highest level of dependability.
* Proceedings. The proceedings will be published by Springer as a
volume in the Lecture Notes in Computer Science series. Every
accepted paper will be included in the proceedings if it is presented
at the conference by (at least one of) its authors.
* Conference Chair: Richard Banach, The University of Manchester
Programme Chair: Kung-Kiu Lau, The University of Manchester
Email: icfem05@cs.man.ac.uk
* Important Dates.
Paper submission: 20 May 2005
Author notification: 19 August 2005
Camera-ready copies: 16 September 2005
* Invited Speakers.
Egon Boerger, University of Pisa, Italy
Anthony Hall, Independent consultant, UK
John Rushby, SRI, USA
FORMAL MODELLING AND ANALYSIS OF TIMED SYSTEMS (FORMATS'05)
September 26-28, 2005, Uppsala, Sweden
http://www.it.uu.se/formats05/
Call for Papers
* The aim of FORMATS is to promote the study of fundamental and
practical aspects of timed systems, and to bring together researchers
from different disciplines that share interests in modelling and
analysis of timed systems.
* Submission deadline: May 20, 2005
* For more information see webpage
WORKSHOP ON MECHANIZED REASONING ABOUT LANGUAGES WITH VARIABLE BINDING
AND NAMES (MERLIN 2005)
Affiliated with ICFP 2005
Call for Papers
Talinn, Estonia, 30 September 2005
http://merlin.dimi.uniud.it/
* Topics of interest include:
- Automation of the meta-theory of programming languages and
related calculi, particularly work which involves variable
binding and fresh name generation.
- Theoretical and practical issues concerning the encoding of
variable binding and fresh name generation, especially the
representation of, and reasoning about, datatypes defined from
binding signatures.
* Invited speaker: Frank Pfenning (Carnegie Mellon University).
* Submissions can be done electronically by email to merlin@dimi.uniud.it,
or via post to Alberto Momigliano, LFCS, School of Informatics,
University of Edinburgh, Mayfield Road, Edinburgh EH9 3JZ, Scotland, UK.
* Important dates:
Abstract submission: 23 May 2005
Paper submission: 30 May 2005
Notification: 1 July 2005
Final Version: 12 July 2005
Workshop: 30 September 2005
* Program committee: James Cheney (U. Edinburgh, UK),
Roy L. Crole (U. Leicester, UK), Joelle Despeyroux (INRIA, France),
Amy Felty (U. Ottawa, Canada), Martin Hofmann (Ludwig-Maximilians-
Universitaet Muenchen, Germany), Marino Miculan (U. Udine, Italy),
Alberto Momigliano (U. Edinburgh, UK), Randy Pollack (U. Edinburgh, UK)
* See the workshop website for further information.
12th INTERNATIONAL WORKSHOP ON EXPRESSIVENSS IN CONCURRENCY (EXPRESS'05)
(Affiliated with CONCUR 2005)
Call for Papers
San Francisco, California, 27 August 2005
http://www.win.tue.nl/Express05
* Theme. The EXPRESS workshops aim at bringing together researchers
interested in the relations between various formal systems,
particularly in the field of Concurrency. More specifically,
they focus on the comparison between programming concepts
(such as concurrent, functional, imperative, logic and
object-oriented programming) and between mathematical models
of computation (such as process algebras, Petri nets, event
structures, modal logics, rewrite systems etc.) on the basis
of their relative expressive power.
* Submissions may be of two forms:
- Short papers (not included in the proceedings):
up to 4 pages, typeset 11 points
- Full papers: up to 12 pages, typeset 11 points
(excluding bibliography and technical appendices)
Simultaneous submission to other conferences or journals is
only allowed for short papers. Submissions may already use
the ENTCS-style format.
* The proceedings will be published after the workshop in the
ENTCS (Electronic Notes in Theoretical Computer Science).
A printed preliminary version of the proceedings will be
available at the workshop. Authors will be asked to prepare
their final version using the ENTCS-style format.
* Authors of selected papers will be invited after the
workshop to submit a full version for publication in a
Special Issue of a leading journal; those submissions will
then be subject to a separate reviewing procedure matching
the standards of the journal.
* Submission deadline: 1 June 2005
* Invited speakers: Thomas Henzinger (EPFL, CH), Glynn Winskel (Univ. of
Cambridge, UK)
* Programme committee: Roberto Amadio (Univ. de Provence, CMI Marseille,
FR), Jos Baeten (Co-chair, Eindhoven Univ. of Technology, NL), Julian
Bradfield (Univ. of Edinburgh, UK), Michele Bugliesi (Univ. Ca'
Foscari, IT), Mariangiola Dezani-Ciancaglini (Univ. di Torino, IT),
Wan Fokkink (Vrije Univ. Amsterdam, NL), Thomas Hildebrandt (IT Univ.
of Copenhagen, DK), Kohei Honda (Queen Mary Univ. of London, UK),
Richard Mayr (North Carolina State Univ. US), Catuscia Palamidessi
(INRIA Futurs, LIX Ecole Polytechnique, FR), Iain Phillips (Co-chair,
Imperial College London, UK), Julian Rathke (Univ. of Sussex, UK),
Eugene Stark (SUNY Stony Brook, US)
* Contact: Jos Baeten (josb@win.tue.nl), Iain Phillips
(iccp@doc.ic.ac.uk)
IPM INTERNATIONAL WORKSHOP ON FOUNDATIONS OF SOFTWARE ENGINEERING
(FSEN 2005)
1-3 October 2005, Tehran, Iran.
http://cs.ipm.ac.ir/FSEN05
Call for Papers
* The aim of the workshop is to bring together researchers and
practitioners working on different aspects of formal methods in software
engineering. The specific goal is to facilitate transfer of experience,
adaptation of methods, and where possible, collaboration between
different groups. The topics may cover any aspect in formal methods,
especially those related to advancing the application of formal methods
in software industry and promoting their integration with practical
engineering techniques.
* June 1, 2005: Submissions deadline
* For more information see webpage
INTERNATIONAL WORKSHOP ON CURRY AND FUNCTIONAL LOGIC PROGRAMMING (WCFLP 2005)
Tallinn, Estonia, September 29, 2005
http://www.informatik.uni-kiel.de/~mh/wcflp2005
* The aim of this workshop is to bring together researchers interested
in Curry, related functional logic languages, and general aspects of
integrating declarative programming paradigms. It promotes the
cross-fertilizing exchange of ideas and experiences among researches
and students from the different communities interested in the
foundations, applications, and combinations of high-level, declarative
programming languages and related areas.
* Deadline for submissions: June 5, 2005
* For more information see webpage
PERFORMABILITY MODELING OF COMPUTER AND COMMUNICATION SYSTEMS (PMCCS-7)
Torino, Italy, September 23-24, 2005
http://www.di.unito.it/~horvath/PMCCS
Call for Papers
* The workshop aims to bring together academic and industrial
researchers in the area of integrated performance and dependability
modeling, with emphasis on bridging theory and practice. Theoretical
contributions as well as application-oriented work are welcome. Case
studies and industrial applications of performability modeling and
evaluation are solicited in the field of computer and communication
systems as well as in related fields, such as flexible manufacturing
systems, product-in-process software development, medical systems,
transportation systems, and complex infrastructures.
* Submission deadline: June 20, 2005
* For more information see webpage
LOGIC FOR PROGRAMMING ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-12)
Montego Bay, Jamaica, 2nd-6th December 2005
http://www.lpar.net/2005
* The 12th International Conference on Logic for Programming Artificial
Intelligence and Reasoning (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.
* 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.
* Submission of full paper abstracts: 11th July
Submission of full papers: 18th July
Submission of short papers: 26th September
* For more information see webpage
FORMAL METHODS FOR OBJECTS AND COMPONENTS (FMCO 2005)
1-4 November 2005, CWI, Amsterdam
http://fmco.liacs.nl/fmco05.html
Preliminary Call for Tutorial Papers
* The FMCO symposium is an annual international event on the application
and development of formal methods in software engineering, with a special
focus on component-based and object-oriented software systems. We invite
submissions of tutorial papers on topics that fit under that rubric.
Suggested, but not exclusive, topics of interest for submissions
include: models and logics for object-oriented and component-based
systems, formal aspects of analysis of large systems, prediction,
analysis and monitoring of extra-functional system properties,
applications of modal logics, temporal logics, and model checking
for the specification and verification of object-oriented languages,
type systems and type theory for objects and components, probabilistic
systems, process calculi, and semantics of object and component oriented
language, reasoning about security, trustworthiness and dependability
of component-based systems.
* Authors are invited to submit a title and a short abstract of one
or two pages providing a tutorial perspective on research results
or experience related to the topics above. Accepted abstracts will
be presented at the symposium and an extended tutorial paper of
about 20 pages in LNCS style will be refereed and eventually
published together with the contributions of the keynote speakers
after the symposium, in a proceeding of Lecture Notes in Computer
Science by Springer-Verlag. Selected papers will be published in
revised and extended version in the Elsevier journal Theoretical
Computer Science.
* Title and short abstract due: 5 Sep 2005
Author notification: 1 Oct 2005
Symposium: 1-4 Nov 2005
Tutorial paper due: 28 Feb 2006
Author notification: 15 Apr 2006
Camera-ready paper due: 15 May 2006
* For more information see webpage
2006 FEDERATED LOGIC CONFERENCE (FLoC'06)
Seattle, Washington, USA
August 10-August 22, 2006
http://research.microsoft.com/projects/FLoC2006/home.html
http://research.microsoft.com/floc06/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modeled after the
successful Federated Computer Research Conference (FCRC), and synergetically
brought together conferences that apply logic to computer science. The
second Federated Logic Conference (FLoC'99) was held in Trento, Italy,
in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.
* We are pleased to announce the fourth Federated Logic Conference (FLoC'06)
to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton
(http://www.sheraton.com/seattle).
* The following conferences will participate in FLoC.
Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Rewriting Techniques and Applications (RTA)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Logic Programming (ICLP)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
Int'l Joint Conference on Automated Reasoning (IJCAR)
* Pre-conference workshops will be held on August 10-11. LICS, RTA,
and SAT will be held in parallel on August 12-15, to be followed
by mid-conference workshops and excursions on August 15-16.
CAV, ICLP, and IJCAR will be held in parallel on August 16-21,
to be followed by post-conference workshops on August 21-22.
Plenary events involving all the conferences are planned.
* Calls for papers and call for workshop proposals will be issued in the
near future. For additional information regarding the participating
meetings, please check the FLoC web page (see above) later this summer.
* FLoC'06 Steering Committee:
Moshe Y. Vardi (General Chair)
Jakob Rehof (Conference Chair)
Edmund Clarke (CAV)
Reiner Hahnle (IJCAR)
Manuel Hermenegildo (ICLP)
Phokion Kolaitis (LICS)
Henry Kautz (SAT)
Aart Middeldorp (RTA)
Andrei Voronkov (IJCAR)
ICCL SUMMER SCHOOL 2005 ON LOGIC-BASED KNOWLEDGE REPRESENTATION
Technische Universitat Dresden
2nd-17th July 2005
http://www.computational-logic.org/iccl-ss-2005
* The topic of this year's summer school is Logic-based
Knowledge Representation.
* For more information see webpage
LECTURER IN COMPUTER SCIENCE, UNIVERSITY OF EDINBURGH
* The School of Informatics invites applications for a Lecturership in
Computer Science. The position is permanent, and the successful
candidate is expected to join the Laboratory for Foundations of
Computer Science (LFCS).
* The successful candidate will have an excellent research record in
types, logic and security, with a demonstrated ability to apply
theoretical constructs to application problems. They will be expected
to play a key role in the LFCS's mobile computation group, and to
establish collaborations locally and internationally. Expertise in the
design and implementation of relevant software will be advantageous.
The successful candidate will also have a demonstrated commitment to
excellence in teaching, and should be able to teach and develop
courses in computer security and related areas. Experience of
successful course administration will be an advantage.
* Closing date: 15 April 2005.
* Further information:
https://www.jobs.ed.ac.uk/jobs/index.cfm?action=jobdet&jobid=3004028
Informal enquiries: Dr Julian Bradfield
Back to the LICS web page.