Newsletter 121
March 10, 2009
*******************************************************************
* Past issues of the newsletter are available at
http://www.informatik.hu-berlin.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://www.informatik.hu-berlin.de/lics/newsletters/inst.html
* To unsubscribe, send an email with "unsubscribe" in the
subject line to lics@informatik.hu-berlin.de
*******************************************************************
TABLE OF CONTENTS
* DEADLINES
Upcoming deadlines, LICS abstract deadline next week!
* LICS 2009
Associated Workshops
* CONFERENCES AND 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
* BOOK ANNOUNCEMENTS
Handbook of Practical Logic and Automated Reasoning by John Harrison
* JOB ANNOUNCEMENTS
Editor-in-Chief for ACM TOCL
Radboud University Nijmegen
Visiting Academic Positions - University of Cyprus
DEADLINES
* CSL 2009
30.3.2009
http://www.mat.uc.pt/CSL09
* FOCS 2009
2.4.2009
http://focs2009.org/
* FORMATS 2009
10.4.2009
http://www.comlab.ox.ac.uk/FORMATS2009/
* ESA 2009
12.4.2009
http://algo2009.itu.dk/esa-2009
* ICTAC 09
6.4.2009
http://www.ictac.net/ictac09/
* LOGIC COLLOQUIUM 2009
15.4.2009
http://lc2009.fmi.uni-sofia.bg
* AAL 2009
21.4.2009
http://www.informatik.uni-leipzig.de/~lohrey/AAL.html
* LFMTP 2009
8.5.2009
http://workshops.inf.ed.ac.uk/lfmtp
* LAM 2009
1.5.2009
http://www.dur.ac.uk/lam.09>
LICS 2009 ASSOCIATED WORKSHOPS
The following workshops will be associated with LICS 2009
* Logics for Agents and Mobility (LAM)
Organiser: Berndt Farwer
http://www.dur.ac.uk/berndt.farwer/lam09/
* 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
ANNUAL CONFERENCE OF THE EUROPEAN ASSOCIATION FOR COMPUTER SCIENCE LOGIC (CSL'09)
September 7 - 11, 2009, Coimbra, Portugal
http://www.mat.uc.pt/CSL09
CALL FOR PAPERS
* 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
reasoning.
* 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
guidelines.
* 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
CSL'09.
* Important Dates:
Submission (title & abstract): 30 March, 2009
Submission (full paper) 6 April, 2009
Notification: 25 May, 2009
Final papers: 22 June, 2009
ICDT/EDBT 2009 - 12th INTERNATIONAL CONFERENCE ON DATABASE THEORY
and 12th INTERNATIONAL CONFERENCE ON EXTENDING DATABASE TECHNOLOGY
St. Petersburg, Russia, 23-26 March 2009 (workshops: 22 March)
http://www.math.spbu.ru/edbticdt/
* 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:
http://onlinereg.ru/site.php?go=101&page=1637
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):
http://www.math.spbu.ru/edbticdt/workshops.html
* 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:
http://onlinereg.ru/site.php?go=101
7TH INTERNATIONAL CONFERENCE ON FORMAL MODELLING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2009)
co-located with QEST 2009
Budapest, Hungary, 13-16 September 2009
http://www.comlab.ox.ac.uk/FORMATS2009/
CALL FOR PAPERS
Abstract submission: Friday 10 April, 2009
Paper submission: Friday 17 April, 2009
* OBJECTIVES AND SCOPE:
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
environment.
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
to):
- 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
models).
- 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
telecommunication).
* IMPORTANT DATES:
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
* SUBMISSION AND PUBLICATION:
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.
* PROGRAM COMMITTEE:
- 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
6TH INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING (ICTAC'09)
Call for Papers
Equatorial Hotel Bangi, Malaysia
University Kebangsaan Malaysia (UKM)
August 16th - 20th 2009
http://www.ictac.net/ictac09/
* 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
LOGIC COLLOQUIUM 2009
First Announcement
Sofia 31 July - 5 August
* Deadline for submissions: 15 April, 2009
http://lc2009.fmi.uni-sofia.bg
* 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)
Tutorials:
- 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
http://lc2009.fmi.uni-sofia.bg.
* 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 lc2009@fmi.uni-sofia.bg or by regular mail at:
LC2009
Alexandra Soskova
Dept. of Math Logic
Faculty of Mathematics and Informatics
Sofia University
boul. James Bourchier 5
1164, Sofia
Bulgaria
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)
http://www.informatik.uni-leipzig.de/~lohrey/AAL.html
* 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.
ISC 2009 - 12th INFORMATION SECURITY CONFERENCE
Call for Paper
September 7-9, 2009, Pisa, Italy
http://isc09.dti.unimi.it
* 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.
* IMPORTANT DATES:
Paper Submission due: March 31, 2009;
Notification to authors: June 10, 2009;
Camera ready due: July 8, 2009
* GENERAL CHAIR:
Fabio Martinelli - CNR, Italy
* PROGRAM CHAIRS:
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
http://www.esorics.org
* 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.
* IMPORTANT DATES:
- Paper submissions due: April 17, 2009
- Acceptance notifications: June 8, 2009
- Camera-ready papers due: June 29, 2009
* GENERAL CHAIRS
- Frédéric Cuppens, TELECOM Bretagne, France
- Nora Cuppens-Boulahia, TELECOM Bretagne, France
* PROGRAM COMMITTEES CHAIRS
- Michael Backes, Saarland University and MPI-SWS, Germany
- Peng Ning, North Carolina State University, USA
LFMTP 2009 - 4th INTERNATIONAL WORKSHOP ON LOGICAL FRAMEWORKS AND
META-LANGUAGES: THEORY AND PRACTICE
Call for Papers
August 2, 2009, Montreal, Canada
http://workshops.inf.ed.ac.uk/lfmtp
* 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
libraries
* 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)
SECOND INTERNATIONAL WORKSHOP ON LOGICS FOR AGENTS AND MOBILITY (LAM'09)
1st Call for Papers
<http://www.dur.ac.uk/lam.09>
9-10 August 2008, Los Angeles, California, USA
organised as satellite workshop at the
Twenty-Fourth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2009),
11~14 August 2009, Los Angeles, California, USA
* Workshop Organizer:
Berndt Farwer (berndt.farwer@durham.ac.uk)
* 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
LAM.09@durham.ac.uk 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: <http://www.dur.ac.uk/lam.09>
About LICS: <http://www2.informatik.hu-berlin.de/lics/lics09/>
HANDBOOK OF PRACTICAL LOGIC AND AUTOMATED REASONING BY JOHN HARRISON
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
algorithmically
* 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: http://www.cambridge.org/9780521899574
Associated code: http://www.cl.cam.ac.uk/~jrh13/atp/
EDITOR-IN-CHIEF OF ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (TOCL)
* Nominations (including self nominations) are invited for the next
Editor-in-Chief of ACM Transactions on Computational Logic (ToCL):
http://www.acm.org/pubs/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
Edinburgh).
* Nominations received after May 1, 2009, will be considered
up until the position is filled.
UNIVERSITAIR DOCENT (UD) POSITION IN LOGIC AT RADBOUD UNIVERSITY NIJMEGEN
* 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,
see http://www.math.ru.nl/~mgehrke/Algebra&LogicUD.htm
or contact Mai Gehrke at mgehrke@math.ru.nl
VISITING ACADEMIC POSITIONS -- UNIVERSITY OF CYPRUS
DEPARTMENT OF COMPUTER SCIENCE
* 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
CY-1678
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
E-mail: cssamara@cs.ucy.ac.cy
Back to the LICS web page.