Newsletter 91
February 27, 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
* CONFERENCES AND WORKSHOPS
ICGT 2004 - Call for Papers
Structural Operational Semantics - Call for Papers
QUEST 2004 - Call for Papers
Workshop on Disproving - Call for Papers
SAT-2004 - Call for papers
JELIA'04 - Call for Papers
ESORICS 2004 - Call for Papers
ARSPA 2004 - Call for Papers
* SPECIAL EVENTS
International Logic and Computer Science Semester at Tel-Aviv - Call
for Participation
* NEW JOURNAL ANNOUNCEMENT
Annals of Mathematics, Computing & Teleinformatics (AMCT)
* VACANCIES
Senior research positions in Logic and Computation, National ICT, Australia
2ND INTERNATIONAL CONFERENCE ON GRAPH TRANSFORMATION (ICGT 2004)
Call for Papers
Roma (Italy), September 28 - October 2, 2004
http://icgt2004.dsi.uniroma1.it
* Scope. Graphical structures of various kinds (like graphs, diagrams,
visual sentences and others) are very useful to describe complex
structures and systems in a direct and intuitive way. These structures
are often augmented by formalisms which add to the static description
a further dimension modelling the evolution of systems via any kind of
transformation of such graphical structures. The field of Graph
Transformation is concerned with the theory, applications and
implementation issues of all these formalisms.
The theory is strongly related to areas such as graph theory and graph
algorithms, formal language and parsing theory, theory of concurrency
and distributed systems, formal specification and verification, logic
and semantics. The application areas include all those fields of
Computer Science, Information Processing, Engineering and Natural
Sciences where static and dynamic modeling by graphical structures and
graph transformations, respectively, play an important role.
* Paper submission will be electronic by PDF or PostScript. Detailed
information on the conference website.
Title and abstract submission deadline: April 19, 2004
Complete paper submission deadline: April 26, 2004
The proceedings will appear in the Lecture Notes in Computer Science
series by Springer-Verlag.
* Program committee. M.Bauderon (FR), D.Blostein (CA), A.Corradini (IT),
H.Ehrig (DE), G.Engels (co-chair; DE), R.Heckel (DE), D.Janssens (BE),
H.-J.Kreowski (DE), B.Koenig (DE), B.Meyer (AU), U.Montanari (IT),
M.Nagl (DE), F.Orejas (ES), F.Parisi-Presicce (co-chair; USA/IT),
M.Pezze' (IT), J.Pfaltz (USA), R.Plasmeijer (NL), D.Plump (UK),
L.Ribeiro (BR), G.Rozenberg (NL), A.Schuerr (DE), G.Taentzer (DE),
G.Tortora (IT), G.Valiente (ES)
STRUCTURAL OPERATIONAL SEMANTICS
A Satellite Workshop of CONCUR 2004
30 August, 2004, London, United Kingdom
Call for Papers
* Structural operational semantics (SOS) provides a framework
for giving operational semantics to programming and specification
languages. A growing number of programming languages from
commercial and academic spheres have been given usable semantic
descriptions by means of structural operational semantics.
Because of its intuitive appeal and flexibility, structural
operational semantics has found considerable application in
the study of the semantics of concurrent processes. Moreover,
it is becoming a viable alternative to denotational semantics
in the static analysis of programs, and in proving compiler
correctness.
* The proposed SOS workshop aims to be a forum for researchers,
students and practitioners interested in new developments and
directions for future investigation in the field of structural
operational semantics. One of the specific goals of the workshop is
to establish synergies between the concurrency and programming
language communities working on the theory and practice of SOS.
* We solicit unpublished papers reporting on original research on
the general theme of SOS. Prospective authors are invited to submit
a pdf or postscript file with their extended abstract, whose length
should not exceed 15 pages, by email to all of the co-chairs at their
respective email addresses. The email message with the submission
should also include, in plain text, contact information for
the author(s), together with the title and abstract of the submission.
Submissions are to be received by Sunday, 6 June, 2004. Authors will
be notified of acceptance by Wednesday, 30 June, 2004.
* Submission deadline: Sunday 6 June 2004
* For further details see:
http://www.cs.auc.dk/~luca/SOS-WORKSHOP/
1st INT. CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2004)
Call for Papers
University of Twente, the Netherlands, Sep 27 - 30, 2004.
http://www.qest.org
* Theme: QEST is a new series of annual conferences that recently emerged
as the merger of the following individual conferences:
- Int. Conf. on Modeling Techniques and Tools for Computer Performance
Evaluation (TOOLS),
- the Int. Workshop on Petri Nets and Performance Models (PNPM),
- the Joint Int. Workshop on Process Algebras and Performance Modeling
and Probabilistic Methods In Verification (PAPM-ProbMIV).
* Subject: all kinds of evaluation and verification of computer and
communication systems, through measurements and stochastic models, possibly
incorporating non-deterministic behaviour. Topics of interest cover the
areas of modelling formalisms and methodologies, measurements, analytical
and numerical evaluation, simulation and verification, and theory of
probabilistic systems. Moreover, tools for supporting the practical
application of research results in all the above areas, and case studies
showing the practical applicability of such results are also explicitly
addressed.
* All submissions must be done electronically; see the conference webpage
* Submission deadline: March 22 (abstract), March 29 (full paper)
* General chair: Boudewijn Haverkort (NL); PC co-chairs: Giuliana Frances-
chinis (I), Joost-Pieter Katoen (NL), and Murray Woodside (CND).
* Tool demo chair: Andrew Miner (USA)
* Tutorial chair: Marco Bernardo (Italy)
WORKSHOP ON DISPROVING - NON-THEOREMS, NON-VALIDITY, NON-PROVABILITY
(affiliated with IJCAR 2004)
Call for Papers
Cork, Ireland, July 4, 2004
http://www.cs.chalmers.se/~ahrendt/ijcar-ws-disproving/
* Theme: Disproving aims at identifying non-theorems, i.e. showing
non-validity, and providing some kind of proof of non-validity.
In the scope of the workshop is every method that is able to discover
non-theorems and, ideally, provides explanation why the formula is not a
theorem. Possible subjects are decision procedures, model generation
methods, reduction to SAT, formula simplification methods, abstraction
based methods, failed-proof analysis, and others.
* All submissions must be done electronically. Details will be announced
in due time on the workshop web page.
* Submission Deadline: April 18, 2004
* Workshop Organizers: Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle
* Program committee: Chris Fermueller, Uli Furbach, Bernhard Gramlich,
Deepak Kapur, Bill McCune, Renate Schmidt, Carsten Schuermann,
Graham Steel, Cesare Tinelli, Andrei Voronkov, and the WS organizers
Conference on Theory and Applications of Satisfiability Testing (SAT-2004)
Call for Papers
Vancouver, 10-13 May 2004
http://www.satisfiability.org/SAT04/
* The International Conference on Theory and Applications of
Satisfiability Testing is the primary annual meeting for researchers
studying the propositional satisfiability problem (SAT). We welcome
submissions on SAT from any discipline with an interest in
the problem, including theoretical, experimental and applied work.
Topics include: Proof Systems and Proof Complexity; Search Algorithms
and Heuristics; Analysis of Algorithms; Hard Instances ; Random Formulas;
Problem Encodings; Industrial Applications; Solvers and other tools
* Submissions are to be extended abstracts of at most 8 pages in
Springer-Verlag LNCS style. Submission is online through the
conference web page. Submission of SAT and QBF solvers and
benchmark instances are also welcome.
* Submission deadline is February 20; Authors are asked to register
by February 10.
* Conference Organizers: David Mitchell (Simon Fraser University)
and Holger Hoos (University of British Columbia).
* Sponsors: Intel, PIMS, IISI, CoLogNet
9TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE - JELIA'04
Lisbon, Portugal, September 27-30
Call for Papers
* Submission deadline: May 9th (abstracts due May 6th)
* For further details see:
http://centria.di.fct.unl.pt/~jelia2004
9TH EUROPEAN SYMPOSIUM ON RESEARCH IN COMPUTER SECURITY - ESORICS 2004
Institut Eurecom, Sophia Antipolis, French Riviera, France
September 13-15, 2004
Call for Papers
* Submission deadline: March 26 2004
* For further details see:
http://esorics04.eurecom.fr
Automated Reasoning for Security Protocols Analysis - ARSPA 2004
IJCAR 2004 Workshop W6
University College Cork, Ireland
Sunday, July 04, 2004
Call for Papers
* Submission deadline: April 15, 2004
* For further details see:
http://www.avispa-project.org/arspa
INTERNATIONAL LOGIC AND COMPUTER SCIENCE SEMESTER AT TEL-AVIV
Call for Participation
* Models of Computation (March 10-12)
Including lectures (subject to change) by:
Samson Abramsky (Oxford)
Bob Constable (Cornell)
Felix Costa (Lisbon)
Janos Makowsky (Technion)
Nissim Francez (Technion)
Doron Peled (Warwick)
Gordon Plotkin (Edinburgh)
Hilary Putnam (Harvard)
Vladimir Sazonov (Liverpool)
Udi Shapiro (Weizmann)
Boaz Trakhtenbrot (Tel Aviv)
* Logic and Computation (March 17-19)
Including lectures (subject to change) by:
Sergei Artemov (Graduate Center CUNY)
Mel Fitting (CUNY)
Haim Gaifman (Columbia U)
Zurab Khasidashvili (Intel Haifa)
Daniel Lehmann (Hebrew U)
Zohar Manna (Stanford)
Anatol Slissenko (Paris)
Mars Valiev (Moscow)
* Registration is free.
* Please send titles notification of intent to participate (by March 1)
to one of the following:
Logic and Computation Program Chair: Arnon Avron (aa@tau.ac.il)
Organizing Committee Chair: Nachum Dershowitz (nachumd@tau.ac.il)
Models of Computation Program Chair: Alex Rabinovich (rabinoa@tau.ac.il)
* Web site (for further details, as they develop):
http://www.cs.tau.ac.il/~nachumd/semester.html
* Of Related Interest:
March 23-29: Symposium on Cardinal Arithmetic at Work (in Jerusalem)
See http://www.as.huji.ac.il/midrasha04.htm
April 28, 16:00: Lecture by Yuri Gurevich (Microsoft) at Tel Aviv University
ANNALS OF MATHEMATICS, COMPUTING & TELEINFORMATICS (AMCT)
http://journals.teilar.gr/amct
* AMCT publishes original, high quality, refereed papers in the broad area
indicated by its title. It emphasizes a balanced coverage of both theory
and practice, publishing both basic and applied research results, as well
as papers on novel technological applications. Due to its diverse and ample
scope, AMCT is divided into five broad Sections
Computational Intelligence
Software Engineering and Project Management
Networking and Information Systems
Computational Mathematics and Theory of Computing
Emerging Applications of Computing
* To submit a paper for publication, authors may send an e-mail to
amct@teilar.gr. Please do read the author instructions first, at the web
site of the journal:
http://journals.teilar.gr/amct
* The Annals of Mathematics, Computing & Teleinformatics (AMCT) is an annual
publication with international scope, available in both electronic and paper
format, published as a Section of the TEI\L Scientific Annals
(TEI Larissa, Greece). It supports fully electronic procedures of paper
submission and refereeing. It is published, in english, by the TEI\L, on
a non-profit basis. Copies of the printed issues are distributed to major
libraries around the world. New issues appear every last month of the year.
SENIOR RESEARCH POSITIONS IN LOGIC AND COMPUTATION
Senior Researcher/Principal Researcher/Senior Principal Researcher
(two permanent positions in the Canberra laboratory)
Logic and Computation Program
National ICT Australia
* For details see advertisement under Positions Vacant at http://nicta.com.au
Enquiries to John Slaney (John.Slaney@nicta.com.au)
* Closing date: 16 April 2004.
Back to the LICS web page.