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.