Newsletter 121
March 10, 2009

* Past issues of the newsletter are available at
* Instructions for submitting an announcement to the newsletter
  can be found at
* To unsubscribe, send an email with "unsubscribe" in the
  subject line to

  Upcoming deadlines, LICS abstract deadline next week!
* LICS 2009
  Associated Workshops
  CSL 09 - Call for Papers
  ICDT 2009 - Call for Participation
  FORMATS 09 - Call for Papers
  ICTAC 09 - Call for Papers
  LOGIC COLLOQUIUM 2009 - Call for Papers
  AAL 2009  - Call for Papers
  ISC 2009 - Call for Papers
  ESORICS 2009 - Call for Papers
  LFMTP 2009 - Call for Papers
  LAM 09 - Call for Papers
  Handbook of Practical Logic and Automated Reasoning by John Harrison
  Editor-in-Chief for ACM TOCL
  Radboud University Nijmegen
  Visiting Academic Positions - University of Cyprus

* CSL 2009
* FOCS 2009
* FORMATS 2009
* ESA 2009
* ICTAC 09
* AAL 2009
* LFMTP 2009
* LAM 2009

  The following workshops will be associated with LICS 2009
* Logics for Agents and Mobility (LAM)
  Organiser: Berndt Farwer
* Foundations of Computer Security (FCS)
  Organiser: Veronique Cortier 
* Logic and Computational Complexity (LCC)
  Organiser: Daniel Leivant 
* Normalization by Evaluation (NBE)
  Organiser: Olivier Danvy 
* Logical Aspects of Fault Tolerance (LAFT)
  Organiser: Leo G Marcus 
* Proof-carrying code and software certification (PCC)
  Organiser: Thomas Jensen 

   September 7 - 11, 2009, Coimbra, Portugal
* Computer Science Logic (CSL) is the annual conference of the European
  Association for Computer Science Logic (EACSL). The conference is
  intended for computer scientists whose research activities involve
  logic, as well as for logicians working on issues significant for
  computer science.
* Suggested topics of interest include: automated deduction and
  interactive theorem proving, constructive mathematics and type theory,
  equational logic and term rewriting, automata and games, modal and
  temporal logic, model checking, logical aspects of computational
  complexity, finite model theory, computational proof theory, logic
  programming and constraints, lambda calculus and combinatory logic,
  categorical logic and topological semantics, domain theory, database
  theory, specification, extraction and transformation of programs,
  logical foundations of programming paradigms, verification and program
  analysis, linear logic, higher-order logic, and nonmonotonic
* Programme Committee:              Invited Speakers:
  Samson Abramsky (Oxford)            Mikolaj Bojanczyk (Warsaw)
  Matthias Baaz (Vienna)              Thierry Coquand (Göteborg)
  Patricia Bouyer (Cachan)            Martin Grohe (Berlin)
  Andrej Bulatov (Burnaby)            Yiannis Moschovakis
  Stephen Cook (Toronto)                         (Athens, Los Angeles)
  Anuj Dawar (Cambridge)              Paulo Oliva (London)
  Hugo Gimbert (Bordeaux)
  Erich Grädel (Aachen, co-chair)
  Steffen Hölldobler (Dresden)
  Gerhard Jäger (Berne)
  Reinhard Kahle (Lisbon, co-chair)
  Antonín Ku~era (Brno)
  Benedikt Löwe (Amsterdam)           Organizing Committee:
  Simone Martini (Bologna)
  Dale Miller (Paris)                 Ana Almeida (Coimbra, co-chair)
  Luke Ong (Oxford)                   Sabine Broda (Porto)
  Martin Otto (Darmstadt)             José Carlos Espírito Santo (Braga)
  Jean-Francois Raskin (Brussels)     Mário Florido (Porto)
  Thomas Schwentick (Dortmund)        Gonçalo Gutierres (Coimbra)
  Luc Segoufin (Cachan)               Reinhard Kahle (Lisbon, co-chair)
  Amílcar Sernadas (Lisbon)           Isabel Oitavem (Lisbon)
  Anton Setzer (Swansea)              Pedro Quaresma (Coimbra, co-chair)
  Helmut Veith (Darmstadt)            João Rasga (Lisbon)
  Thomas Wilke (Kiel)                 Carlota Simões (Coimbra)
* Proceedings will be published in the LNCS series. Each paper accepted
  by the Programme Committee must be presented at the conference by one
  of the authors, and final copy prepared according to Springer's
* Submitted papers must be in Springer's LNCS style and of no more than
  15 pages, presenting work not previously published. They must not be
  submitted concurrently to another conference with refereed
  proceedings. The PC chair should be informed of closely related work
  submitted to a conference or journal by 1 March 2009. Papers authored
  or coauthored by members of the Programme Committee are not allowed.
* Submitted papers must be in English and provide sufficient detail to
  allow the Programme Committee to assess the merits of the paper.  Full
  proofs may appear in a technical appendix which will be read at the
  reviewer's discretion. The title page must contain: title and
  author(s), physical and e-mail addresses, identification of the
  corresponding author, an abstract of no more than 200 words, and a
  list of keywords.
* The submission deadline is in two stages. Titles and abstracts must be
  submitted by 30 March, 2009 and full papers by 6 April, 2009.
  Notifications of acceptance will be sent by 25 May, 2009, and final
  versions are due 22 June, 2009.
* The Ackermann Award for 2009 will be presented to the recipients at
* Important Dates:
  Submission (title & abstract): 30 March, 2009
  Submission (full paper)         6 April, 2009
  Notification:                  25 May,   2009
  Final papers:                  22 June,  2009

 St. Petersburg, Russia, 23-26 March 2009 (workshops: 22 March)
* The series of ICDT conferences provides a biennial, international
 forum for the communication of research advances on the principles
 of database systems.  The EDBT series of conferences is an
 established international forum for the exchange of the latest
 research results in data management. This year, for the first time,
 ICDT will be held jointly with EDBT.  ICDT will be on 23-25 March
 and EDBT will be on 24-26 March, 2009, in St. Petersburg, Russia.
* Registration is now open:
 Registration fee is 17,500 rubles (currently approx. $529) until
 February 6, and 19,000 rubles (curr. appr. $574) from February 7.
 There is an additional fee for the pre-conference workshops.
* 3 Invited Talks (2 ICDT + 1 EDBT):
 - Victor Vianu (UC San Diego) Automatic Verification of Database
   Driven Systems: A New Frontier
 - Georg Gottlob (Oxford U.) Datalog+/-: A Unified Approach to
   Ontologies and Integrity Constraints
 - Umesh Dayal (Hewlett-Packard Labs) Data Integration Flows for
   Business Intelligence
 27 Research Papers (ICDT), 111 Research Papers (EDBT),
 4 Pre-conference Workshops (March 22, 2009):
* Social Program: The registration fee includes a city tour with
 visiting the Peter-and-Paul Fortress on Sunday March 22, a welcome
 reception (Monday) and a dinner (Wednesday).  Other tours are
 available for an additional fee.
* Location: St. Petersburg was the former capital of imperial Russia
 and the home of its czars.  Founded >300 years ago, St. Petersburg
 is the 2nd largest Russian city, population of almost 5 M people.
 The city is a major European cultural center and has many splendid
 architectural treasures, palaces, theatres & art museums, including
 the world famous Hermitage.  Its climate is milder compared to that
 of the more inland areas of Russia.  It is humid all year round,
 the average March - April temperature is -5 - +8 C, weather varies.
 The conference is organized by the School of Mathematics and
 Mechanics of the Univ of St. Petersburg, the 2nd largest university
 in Russia.  It is located very close to the city center, in walking
 distance from the Hermitage and other museums.
* Visas: Most likely, you will need a Russian visa to enter Russia.
 To obtain a visa from Russian consulate,you will need an invitation
 which can be obtained from a travel agency.  Please make sure you
 do this in advance, to avoid expensive urgent actions.  The Monomax
 agency which provides services for ICDT/EDBT 2009 offers a package
 including visa invitation and accomodation in different hotels with
 a range of prices.  More details are available here:

   co-located with QEST 2009
   Budapest, Hungary, 13-16 September 2009
   Abstract submission: Friday 10 April, 2009
   Paper submission: Friday 17 April, 2009
  Timing aspects of systems from a variety of computer science domains
  have been treated independently by different communities. Researchers
  interested in semantics, verification and performance analysis study
  models such as timed automata and timed Petri nets, the digital design
  community focusses on propagation and switching delays while designers
  of embedded controllers have to take account of the time taken by
  controllers to compute their responses after sampling the
  Timing-related questions in these separate disciplines do have their
  particularities. However, there is a growing awareness that there are
  basic problems that are common to all of them. In particular, all
  these sub-disciplines treat systems whose behaviour depends upon
  combinations of logical and temporal constraints; namely, constraints
  on the temporal distances between occurrences of events.
* 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. Typical topics include (but are not limited
  - Foundations and Semantics
    Theoretical foundations of timed systems and languages; comparison
    between different models (timed automata, timed Petri nets, hybrid
    automata, timed process algebra, max-plus algebra, probabilistic
  - Methods and Tools
    Techniques, algorithms, data structures, and software tools for
    analyzing timed systems and resolving temporal constraints
    (scheduling, worst-case execution time analysis, optimisation, model
    checking, testing, constraint solving, etc.).
  - Applications
    Adaptation and specialization of timing technology in application
    domains in which timing plays an important role (real-time software,
    hardware circuits, and problems of scheduling in manufacturing and
  Abstract submission:  Friday 10 April, 2009
  Paper submission:     Friday 17 April, 2009
  Author notification:  Monday 8 June, 2009
  Camera ready version: Wednesday 1 July, 2009
  The proceedings of FORMATS 09 will be published by Springer in the
  Lecture Notes in Computer Science series. Papers must contain original
  contributions, be clearly written, and include appropriate references
  to and comparison with related work. Simultaneous submission to other
  conferences with published proceedings is not allowed. Submissions
  should not exceed 15 pages, and should be formatted according to
  Springer LNCS guidelines. If necessary, the submission may be
  supplemented with a clearly marked appendix, which will be reviewed at
  the discretion of the program committee.
  New: A best-paper award will be presented at the conference.
  Submissions will be handled by the EasyChair system.
  - Rajeev Alur, Univ. Pennsylvania, USA
  - Franck Cassez, National ICT Australia & CNRS, Australia
  - Ansgar Fehnker, National ICT Australia, Australia
  - Olivier Finkel, Univ. Paris 7, France
  - Martin Fraenzle, Univ. Oldenburg, Germany
  - Claude Jard, ENS Cachan/IRISA, France
  - Joost-Pieter Katoen, RWTH Aachen Univ., Germany
  - Insup Lee, Univ. Pennsylvania, USA
  - Oded Maler, Verimag, France
  - Richard Mayr, Univ. Edinburgh, UK
  - Joel Ouaknine, Oxford Univ., UK (co-chair)
  - Paritosh Pandya, Tata Institute of Fundamental Research, India
  - Paul Pettersson, Malardalen Univ., Sweden
  - Alexander Rabinovich, Univ. Tel Aviv, Israel
  - Sanjit Seshia, UC Berkeley, USA
  - Jiri Srba Aalborg, Univ., Denmark
  - Stavros Tripakis, Verimag, France
  - Frits Vaandrager, Radboud Univ. Nijmegen, The Netherlands (co-chair)
  - Walter Vogler, Univ. Augsburg, Germany
  - Farn Wang, National Taiwan Univ., Taiwan

  Call for Papers
  Equatorial Hotel Bangi, Malaysia
  University Kebangsaan Malaysia (UKM)
  August 16th - 20th 2009
* The 6th International Colloquium  on Theoretical Aspects  of Computing
  is taking place from  the 16th till the  20th of August 2009  in Kuala
  Lumpur, Malaysia. ICTAC'09  is     organized by Abdullah   Mohd   Zin,
  Universiti Kebangsaan  Malaysia   and  Jeff Sanders,    United  Nation
  University, Institute  of   Software Technology,  Macao.  The   PC  is
  chaired by Martin Leucker (TU Munich) and Carroll Morgan (UNSW).
* About ICTAC 2009
  ICTAC 2009 is the 6th  International Colloquium on Theoretical Aspects
  of  Computing, the latest  in  a series  founded by the  International
  Institute for  Software  Technology of  the  United Nations University
  (UNU-IIST).  The    main purpose  of  ICTAC   is    to bring  together
  practitioners and researchers  from academia,  industry and government
  to present research and  to  exchange ideas and  experience addressing
  challenges  in  both theoretical  aspects  of   computing and in   the
  exploitation   of   theory  through  methods   and  tools   for system
  development. The previous four   ICTAC  events were held  in  Guiyang,
  China (2004), Hanoi,   Vietnam (2005),  Tunis, Tunisia (2006),   Macau
  (2007) and Istanbul (2008).
* Invited Speakers
  Zuohua Ding      Zhejiang Sci-Tech University
  Leslie Lamport   Microsoft
  Annabelle McIver Macquarie University
  Sriram Rajamani  Microsoft
* Scope
  Topics include, but are not limited to:
  - software specification, refinement, verification and testing
  - model checking and theorem proving
  - software architectures
  - coordination and feature interaction
  - integration of theories, formal and engineering methods and tools
  - models of concurrency, security, and mobility
  - parallel, distributed, and internet-based (grid) computing
  - real-time, embedded and hybrid systems
  - automata theory and formal languages
  - principles and semantics of languages
  - logics and their applications
  - type and category theory in computer science
  - case studies, theories, tools and experiments of verified systems
  - service-oriented architectures: models and development methods
  - domain modelling and domain-specific technology: examples,
    frameworks and experience
* Important Dates
  Abstract Submission:         6 April 2009
  Submission of Papers:       10 April 2009
  Notification of acceptance: 25 May   2009
  Final copy for proceedings:  1 June  2009
  ICTAC 2009:                 16 - 20 August 2009
* General Chair
  Abdullah Mohd Zin  Universiti Kebangsaan Malaysia
  Jeff Sanders       United Nation University, Institute of Software
                  Technology, Macao
* Program Chairs
  Martin Leucker     Technische Universität München, Germany
  Carroll Morgan     University of New South Wales
* Local Organizing Committee
  Zarina Shukur, Universiti Kebangsaan Malaysia (Chairperson)
  Nazlia Omar
  Syahanim Mohd Salleh
* Program Committee
  Parosh Abdulla      Uppsala University, Schweden
  Keijiro Araki       Kyushu University, Japan
  Farhad Arbab        Leids University, The Netherlands
  Christel Baier      Technical University of Dresden, Germany
  Mario Bravetti      Universita di Bologna, Italian
  Ana Cavalcanti      University of York, England
  Van Hung Dang       United Nations University, Macao
  David Deharbe       Federal University of Rio Grande do Norte, Brazil
  Wei Dong            National University of Defense Technology, China
  Deepak D'Souza      Indian Institute of Science, India
  John Fitzgerald     Newcastle Uiversity, England
  Wan Fokkink         Vrije University Amsterdam, The Netherlands
  Marcelo Frias       University of Buenos Aires,  Argentina
  Kokichi Futatsugi   JAIST, Japan
  Paul Gastin         LSV/ENS Cachan, France
  Susanne Graf        VERIMAG, France
  Lindsay Groves      Victoria University of Wellington, New Zealand
  Anne Haxthausen     Technical University of Denmark, Denmark
  Moonzoo Kim         KAIST, South Korea
  Kim G. Larsen       Aalborg University, Denmark
  Insup Lee           University of Pennsylvania, USA
  Martin Leucker      TU Munich, Germany
  Kamal Lodaya        Institute of Mathematical Sciences, India
  Larissa Meinicke    Abo Akademi, Finland
  Ugo Montanari       University of Pisa, Italian
  Carroll Morgan      University of New South Wales, Australia
  Ahmed Patel         Universiti Kebangsaan Malaysia, Malaysia
  Pekka Pihlajasaari  Data Abstraction (Pty) Ltd, South Africa
  Abhik Roychoudhury  National University of Singapore, Singapore
  Hassen Saidi        SRI International, USA
  Augusto Sampaio     Universidade Federal de Pernambuco, Brazil
  Cesar Sanchez       IMDEA, Spain
  Marjan Sirjani      University of Tehran, Iran
  Sofiene Tahar       Concordia University, Canada
  Serdar Tasiran      Koc University, Turkey
  Helmut Veith        Technical University Darmstadt, Germany
  Mahesh Viswanathan  University of Illinois at Urbana, USA
  Tomas Vojnar        Brno University of Technology, Czech Republic
  Ji Wang             Zhejiang University, China
  Jim Woodcock        University of York, England
  Husnu Yenigun       Sabanci University, Turkey
  Naijun Zhan         Chinese Academy of Sciences, China
  Huibiao Zhu         East China Normal University, China

  First Announcement
  Sofia 31 July - 5 August
* Deadline for submissions: 15 April, 2009
* The Logic Colloquium is the annual European conference on logic,
  organised under the auspices of the Association for Symbolic Logic
  (ASL). The main events in this year~s conference are as follows:
  Gödel lecture:
  - Richard A. Shore (Cornell University)
  - Ulrich Kohlenbach (Technische Universität Darmstadt)
  - Andre Nies  (University of Auckland)
  - Ralf Schindler (Universität Münster)
  Plenary talks:
  - Elisabeth Bouscaren  (Université Paris-Sud 11)
  - S. Barry Cooper (University of Leeds),
  - Thierry Coquand (University of Gothenburg),
  - Ilijas Farah (York University)
  - Valentina S. Harizanov (George Washington University)
  - Stephan Kreutzer (University of Oxford)
  - David W. Kueker (University of Maryland)
  - Benjamin Miller (University of California Los Angeles)
  - Itay Neeman (University of California Los Angeles)
  - Dana S. Scott (Carnegie Mellon University)
  - Katrin Tent (University of  Munster)
  - Jouko Väänänen (University of Amsterdam)
* Special sessions:
  - Logic and Category Theory (Co-chairs: S. Abramsky, S. Shapiro)
  - Computability Theory (Co-chairs: K. Ambos-Spies, I. Soskov)
  - Model Theory, New Directions in Classification Theory (Co-chairs:
  - E. Hrushovski, M. Otero)
  - Philosophical Logic (Co-chairs: D. Vakarelov, M. Zakharyashev)
  - Set Theory (Co-chairs: M. Goldstern,  H. Woodin)
* Contributed papers will be selected from submissions received by the
  PROGRAMME COMMITTEE consisting of:
  Samson Abramsky, Klaus Ambos-Spies, Joan Bagaria (Chair), Fernando
  Ferreira, Martin Goldstern, Erich Graedel, Ehud Hrushovski, Tapani
  Hyttinen,  Yiannis Moschovakis, Margarita Otero, Stewart Shapiro,
  Ivan Soskov and  W. Hugh Woodin
* The Programme Committee cordially invites all researchers to submit
  contributed papers that have logic research content that lies within the
  scope of the interests of the ASL.
* Submission Deadline:         15 April 2009
  Notification of Authors:     31 April 2009
* The abstracts of the contributed talks will be published in The Bulletin
  of Symbolic Logic if at least one of the authors is a member of ASL. The
  rules for abstract submission can be found at the conference webpage
* The ASL will make available modest travel awards to graduate students in
  logic and to recent PhD~s to attend the 2009 ASL European Summer Meeting
  in Sofia, Bulgaria. The European Summer Meeting is also supported by a
  grant from the US National Science Foundation; NSF funds may be awarded
  only to students at USA universities and to citizens and permanent
  residents of the USA.
* Applications and recommendations must be received before the deadline of
  March 30, 2009, by e-mail at or by regular mail at:
  Alexandra Soskova
  Dept. of Math Logic
  Faculty of Mathematics and Informatics
  Sofia University
  boul. James Bourchier 5
  1164, Sofia
  Phone:      +359 02 8161 524
  Fax: +359 02 8687180
* Organizing Committee: Alexandra Soskova (Chair), Dimitar Dobrev,
  Dimitar Guelev, Lyubomir Ivanov, Stela Nikolova, Solomon Passy, Dimitar
  Shiyachki, Mariya Soskova, Mitko Yanchev, Anton Zinoviev

AAL 2009 -  Workshop "Automata and Algorithmic Logic"
  Call for papers
  28-29 June, 2009, Stuttgart, Germany  (satellite workshop of DLT09)
* The workshop provides the opportunity to assess recent scientific
  advances and exchange ideas regarding the interplay of automata and
  logic. More specifically, the meeting will focus on recent
  developments in the inter-relation of monadic second order logic and
  automata, in automatic structures, and in the application of automata
  to semi-structured data.
* Organizers:
  Thomas Colcombet (Paris)
  Dietrich Kuske (Leipzig)
  Markus Lohrey (Leipzig)
* Topics of interest:
  - effective presentations of infinite structures
    (e.g., automatic structures, rewriting graphs, Caucal's hierarchy,
     model-theoretic transformations)
  - algorithmic techniques for monadic second order logic and its
    fragments (e.g., modal logics, temporal logics, mu-calculus)
  - semi-structured data and automata
  - automata and logics for verification
  - relation between games, automata, and logics
* Important dates:
  - submission by 21 April, 2009
  - notification by 28 April, 2009
  - registration by 12 May, 2009
  - workshop 28-29 June, 2009
* Invited speakers:
  Balder ten Cate (Amsterdam), Bakh Khoussainov (Auckland),
  Christof Loeding (Aachen)
* Detailed information can be found at the website.

 Call for Paper
 September 7-9, 2009, Pisa, Italy
* ISC is an annual international conference covering research in and
 applications of information security. The twelfth Information
 Security Conference (ISC 2009) will be held in Pisa, Italy.  The
 conference seeks submissions from academia, industry, and government
 presenting novel research on all theoretical and practical aspects of
 information security.
* Topics of interest include, but are not limited to: access control,
 accountability, anonymity and pseudonymity, applied cryptography,
 authentication, biometrics, computer forensics, cryptographic
 protocols, database security, data protection, data/system integrity,
 digital right management, economics of security and privacy,
 electronic frauds, formal methods in security, identity management,
 information dissemination control, information hiding and
 watermarking, intrusion detection, network security, peer-to-peer
 security, privacy, security and privacy in pervasive/ubiquitous
 computing, security in information flow, security in IT outsourcing,
 security for mobile code, security of grid computing, security of
 eCommerce, eBusiness and eGovernment, security in location services,
 security modeling and architectures, security models for ambient
 intelligence environments, security in social networks, trust models
 and trust management policies.
 Paper Submission due: March 31, 2009;
 Notification to authors: June 10, 2009;
 Camera ready due: July 8, 2009
 Fabio Martinelli - CNR, Italy
 Pierangela Samarati - University of Milan, Italy
 Moti Yung - Google Inc., USA

ESORICS 2009 - 14th European Symposium on Research in Computer Security
Call for Papers
September 21-25, 2009, Saint Malo, France
* Papers offering novel research contributions in any aspect of computer
 security are solicited for submission to the Fourteenth European
 Symposium on Research in Computer Security (ESORICS 2009). Organized
 in a series of European countries, ESORICS is confirmed as the leading
 European research event in computer security. The symposium started in
 1990 and has been held on alternate years in different European
 countries and attracts an international audience from both the
 academic and industrial communities. From 2002 it has been held
 yearly. The Symposium has established itself as one of the premiere,
 international gatherings on Information Assurance.
* Papers may present theory, technique, applications, or practical
 experience on topics including, but not limited to: access control;
 anonymity; authentication; authorization and delegation;
 cryptographic; protocols; data integrity; dependability; information
 flow control; smartcards; systems security; digital right management;
 accountability; applied cryptography; covert channels; cybercrime;
 denial of service attacks; formal methods in security; inference
 control; information warfare; steganography; transaction management;
 data and application security; intellectual property protection;
 intrusion tolerance; peer-to-peer security; language-based security;
 network security; non-interference; privacy-enhancing technology;
 pseudonymity; subliminal channels; trustworthy user devices; identity
 management; security as quality of service; secure electronic
 commerce; security administration; security evaluation; security
 management; security models; security requirements engineering;
 security verification; survivability; information dissemination
 control; trust models and trust management policies.
* The primary focus is on high-quality original unpublished research,
 case studies and implementation experiences. We encourage submissions
 of papers discussing industrial research and development. Proceedings
 will be published by Springer-Verlag in the Lecture Notes in Computer
 Science (LNCS) series.
* Submitted papers must not substantially overlap papers that have been
 published or that are simultaneously submitted to a journal or a
 conference with proceedings. Papers should be at most 15 pages
 excluding the bibliography and well-marked appendices (using 11-point
 font and reasonable margins), and at most 20 pages total. Committee
 members are not required to read the appendices, and so the paper
 should be intelligible without them. Papers must be submitted using
 the conference web site and following the requirements stated there.
 Authors of accepted papers must be prepared to sign a copyright
 statement and must guarantee that their paper will be presented at the
 conference. Additionally, they must follow the Springer Information
 for Authors~ guidelines for the preparation of the manuscript and use
 the templates provided there.
 - Paper submissions due: April 17, 2009
 - Acceptance notifications: June 8, 2009
 - Camera-ready papers due: June 29, 2009
 - Frédéric Cuppens, TELECOM Bretagne, France
 - Nora Cuppens-Boulahia, TELECOM Bretagne, France
 - Michael Backes, Saarland University and MPI-SWS, Germany
 - Peng Ning, North Carolina State University, USA

  Call for Papers
  August 2, 2009, Montreal, Canada
* Affiliated with CADE-22 (Conference on Automated Deduction)
  Joint event with PSTT (Workshop on Proof-Search in Type Theories
* Important dates: Abstract submission due: May 1;
  Paper Submission: May 8; Notification: June 15
* Joint LFMTP/PSTT Invited Speaker: Gilles Dowek (Ecole Polytechnique & INRIA)
  Joint LFMTP/PSTT Tutorial Speaker: TBA
* Topics: Including, but not limited to: logical framework design;
  meta-theoretic analysis; applications and comparative studies;
  implementation techniques; efficient proof representation and
  validation; proof-generating decision procedures and theorem
  provers; proof-carrying code; substructural frameworks; semantic
  foundations; methods for reasoning about logics; formal digital
* See website for submission details.  Accepted papers will be
  published electronically as part of the ACM International Conference
  Proceedings Series.
* Program committee: Frederic Blanqui (INRIA); James Cheney, Co-Chair
  (University of Edinburgh); Adam Chlipala (Harvard University); Amy
  Felty, Co-Chair (University of Ottawa); Martin Hofmann (LMU Munich);
  Conor McBride (University of Strathclyde); Marino Miculan
  (University of Udine); Alberto Momigliano (University of Edinburgh);
  Gopalan Nadathur (University of Minnesota); Michael Norrish (NICTA)

  1st Call for Papers
  9-10 August 2008, Los Angeles, California, USA
  organised as satellite workshop at the
  Twenty-Fourth Annual IEEE Symposium on
    11~14 August 2009, Los Angeles, California, USA
* Workshop Organizer:
  Berndt Farwer (
* Workshop Purpose:
  Our aim is to bring together active researchers in the area of
  logics and mobile systems, especially in the field of logics and
  calculi for mobility, agents, and multi-agent systems. Many notions
  used in the theory of agents are derived from philosophy, logic, and
  linguistics (belief, desire, intention, speech act, etc.), and
  interdisciplinary discourse has proved fruitful for the advance of
  this domain. Outside of academia, the deployment of large-scale
  pervasive infrastructures (mobile ad-hoc networks, mobile devices,
  RFIDs, etc.) is becoming a reality. This raises a number of scientific
  and technological challenges for the software modelling and
  programming models for such large-scale, open and highly-dynamic
  distributed systems. The agent and multi-agent systems approach seems
  particularly adapted to tackle this challenge, but there are many
  issues remaining to be investigated. For instance, the agents must be
  location-aware since the actual services available to them may depend
  on their (physical or virtual) location. The quality and quantity of
  resources at their disposal is also largely fluctuant, and the agents
  must be able to adapt to such highly dynamic environments. Moreover,
  mobility itself raises a large number of difficult issues related to
  safety and security, which require the ability to reason about the
  software (e.g. for analysis or verification). Logics and type systems
  with temporal or other kinds of modalities (relating to location,
  resource and/or security-awareness) play a central role in the
  semantic characterisation and then verification of properties about
  mobile agent systems. There are still many open problems and research
  questions in the theory of such systems. The workshop is intended to
  showcase results and current work being undertaken in these areas with
  a focus on logics for specification and verification of dynamic,
  mobile systems.
* Scopes of Interest:
  The main topics of interest include
  - logics for specification and reasoning about agents, MAS, and
    mobile systems in a broader sense
  - treatment of location and resources in logics (e.g. Linear Logic,
    BI-Logic, ambient calculus)
  - security in ad-hoc networks
  - temporal logics and model checking
  - type systems and static analysis
  - logic programming.
* Format of the Workshop:
  The workshop will be held as a one-and-a-half-day event before
  LICS. There will be a general introduction and brief survey of the
  field by the organiser as an introduction to the workshop.
* The workshop will contain invited talks, contributed talks, and a
  discussion session. The latter is meant to give the participants a
  chance to discuss informally research directions, open problems, and
  possible co-operations.
* Submission details:
  Authors are invited to submit a full paper of original work in the
  areas mentioned above. The workshop chair should be informed of
  closely related work submitted to a conference or journal in advance
  of submission. One author of each accepted paper will be expected to
  present it at the LAM~09 workshop. Submissions should not exceed 15
  pages, preferably using the LaTeX article class. The following formats
  are accepted: PDF, PS. Please send your submission electronically to by the deadline listed below. The submissions will
  be reviewed by the workshop's programme committee and additional
  reviewers. Accepted papers will appear in informal workshop
  pre-proceedings and authors will be encouraged to re-submit papers to
  formal proceedings likely to be published as a special journal issue.
* Important Dates:
  Submission Deadline: 1 May 2009
  Notification: 12 June 2009
  Preliminary programme: 19 June 2009
  Final papers for proceedings: 10 July 2009
  Workshop: 9~10 August 2009
* Programme Committee:
  Thomas Agotnes, Bergen, Norway
  Matteo Baldoni, Torino, Italy
  Marina De Vos, Bath, UK
  Louise Dennis, Liverpool, UK
  Jürgen Dix, Clausthal, Germany
  Berndt Farwer (chair), Durham, UK
  Michael Fisher, Liverpool, UK
  Didier Galmiche, Nancy, France
  João Leite, Lisbon, Portugal
  James Harland, Melbourne, Australia
  Andreas Herzig, Toulouse, France
  Wojtek Jamroga, Clausthal, Germany
  Michael Köhler-Bußmeier, Hamburg, Germany
  Alessio Lomuscio, London, UK
  Dale Miller, INRIA, France
  Frederic Peschanski, Paris, France
  Vladimiro Sassone, Southampton, UK
  Mark-Oliver Stehr, Menlo Park, USA
  Wamberto Vasconcelos, Aberdeen, UK
* Further Information:
  About the workshop: <>
  About LICS: <>

  Handbook of Practical Logic and Automated Reasoning
  by John Harrison
  Cambridge University Press 2009, 702 pages
  ISBN: 9780521899574
* The sheer complexity of computer systems has meant that automated
 reasoning, i.e. the ability of computers to perform logical
 inference, has become a vital component of program construction
 and of programming language design. This book meets the demand for
 a self-contained and broad-based account of the concepts, the
 machinery and the use of automated reasoning. The mathematical
 logic foundations are described in conjunction with practical
 application, all with the minimum of prerequisites. The approach
 is constructive, concrete and algorithmic: a key feature is that
 methods are described with reference to actual implementations
 (for which code is supplied) that readers can use, modify and
 experiment with. This book is ideally suited for those seeking a
 one-stop source for the general area of automated reasoning. It
 can be used as a reference, or as a place to learn the
 fundamentals, either in conjunction with advanced courses or for
 self study.
* One stop reference that is broad-based and self-contained
* Constructive approach that enables topics to be discussed
* Implementation of these algorithms provided as code
* Can be used as a reference, or as a place to learn the
 fundamentals, either in conjunction with advanced courses or
 for self study
* More information:
 Associated code:

* Nominations (including self nominations) are invited for the next
  Editor-in-Chief of ACM Transactions on Computational Logic (ToCL): The position is for a term (renewable
  once) of three years, starting on July 1, 2009.
* Candidates should be well-established researchers in areas related
  to computational logic, broadly conceived,  and should have sufficient
  experience serving on conference program committees and journal editorial
  boards.  Nominations, including a current curriculum vita and a brief
  (one page) statement of vision for ToCL, should be sent to
  Joseph Halpern , by May 1, 2009.
* Final selection will be made by a Selection Committee, consisting of
  Joseph Halpern (chair -- Cornell University), Kryzsztof Apt (CWI),
  Prakash Panangaden (McGill University), and Gordon Plotkin (University of
* Nominations received after May 1, 2009, will be considered
  up until the position is filled.

* The Algebra&Logic group of the mathematics department at IMAPP, FNWI at
  Radboud University Nijmegen in the Netherlands invites applications for a
  Universitair Docent (UD) position in logic with preference for candidates
  with specialisation in algebraic methods and/or applications in Computer
  Science. We seek candidates that have a demonstrable commitment to
  excellence in research and teaching who are motivated to contribute
  independently and through collaboration to the research and growth of the
  group. This includes contributing to the supervision of Master and PhD
  students and securing of funding for PhD positions through grant
  applications. The candidate must be a good communicator with enthusiasm
  for teaching that can contribute across the undergraduate mathematics
  curriculum as well as at the graduate level in algebra and logic, and
  particularly in our joint research master with computer science. The
  candidate is expected to contribute the usual share in the management of
  the group and institute. The accepted candidate is required to master the
  Dutch language sufficiently to be able to teach in Dutch within two years
  after the appointment.
* Radboud University Nijmegen is situated in the oldest city in the
  Netherlands. It has nine faculties and enrols over 17,500 students in 107
  study programmes. The Faculty of Science at Radboud University consists of
  seven research institutes, including the Institute for Mathematics,
  Astrophysics, and Particle Physics (IMAPP), and the Institute for
  Computing and Information Science (ICIS).  Research in non-classical logic
  and its interaction with applications in computer and information science
  is strongly represented locally and nationally. The group has close ties
  with the ICIS research groups in Foundations and in Security of Systems.
  At the national level the group is connected with the DIAMANT mathematics
  cluster and collaborates with logicians, notably in Utrecht, at ILLC in
  Amsterdam, and at CWI.
* Female applicants are particularly encouraged to apply.
* Review of applications will begin April 1, 2009. For further information,
  or contact Mai Gehrke at

* The Department of Computer Science at the University of Cyprus has a
  number of vacancies for Visiting Academics at the ranks of Lecturer,
  Assistant, Associate, and Full Professor.
* ALL areas of Computer Science will be considered.
* A visiting appointment is for one semester
 (Spring semester:  15 Jan - 31 May; Winter semester: 1 Sept - 31 Dec),
  but it can be renewed for up to four semesters.
* Applicants should hold a Ph.D. in a relevant subject and BE FLUENT
  IN GREEK (both these requirements are mandatory).
* Monthly gross salaries, in EUR, for these positions are:
  Visiting Academic (Professor):                   EUR 4.126,92
  Visiting Academic (Associate Professor):    EUR 3.709,66
  Visiting Academic (Assistant Professor):     EUR 3.519,14
  Visiting Academic (Lecturer):                     EUR 3.069,47
* Presently, the Department is seeking applications for the academic
  year 2009-2010. The processing of applications has started and will
  continue until all the available positions have been filled.
* Anyone wishing to apply should send a full CV to the following address
 (the deadline for receiving applications is the 31st March 2009):
  The Chairperson
  Department of Computer Science
  University of Cyprus
  P.O. Box 20537
  Nicosia, CYPRUS
* For more details and other information, interested individuals may
  contact the Chairperson of the Department of Computer Science:
  Professor George Samaras
  Tel:    +357-22-892700
  Fax:    +357-22-892701

Back to the LICS web page.