Newsletter 110
May 10, 2007


*******************************************************************
* 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
* ANNOUNCEMENTS
    Kurt Goedel Centenary Research Prize Fellowships
    List of Open Problems in Typed Lambda Calculi and Applications
    Book Announcement: Programming in Haskell by Graham Hutton
    Summer School EUROLAN
* CONFERENCES AND WORKSHOPS: CALL FOR PARTICIPATION
    CiE 2007 - Call for Participation
    RDP 2007 - Call for Participation and Call for Applications for Student Travel Grants
    TABLEAUX 2007 - Call for Participation
    LICS 2007 - Call for Participation
    ICALP 2007 - Call for Participation
    GAMES 2007 - Call for Contributions
    BLC 2007 - Workshop Announcement
* CONFERENCES AND WORKSHOPS: CALL FOR PAPERS
    TANCL 2007 - Call for Papers
    Joint Workshop DOMAINS VIII and Computability Over Continuous Data Types - Call for Abstracts
    AXMEDIS 2007 - Call for Papers
    EXPRESS 2007 - Call for Papers
    PerMIS 2007 - Call for Papers
    AGTIVE 2007 - Call for Papers
    LPAR 2007 - Call for Papers
    REM 2007 - Call for Papers
    WLPE 2007 - Call for Papers
    VLL 2007 - Call for Papers
    CRITIS 2007 - Call for Papers
    HVC 2007 - Call for Papers
    KSEM 2007 - Call for Papers
    RelMiCS 10 and AKA 5 - Call for Papers


KURT GOEDEL CENTENARY RESEARCH PRIZE FELLOWSHIPS
  http://kgs.logic.at/goedel-fellowship
  E-mail contact: goedel-fellowship@logic.at
* The Kurt Goedel Society is proud to announce the commencement of
  the research fellowship prize program in honor of the celebration of
  Kurt Goedel's 100th birthday.
  The research fellowship prize program is sponsored by the
  John Templeton Foundation and will offer:
   - two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years
   - two post-doctoral fellowships of $ 80,000 US per annum for two years
   - one senior fellowship of $ 120,000 US per  annum for one year
  based on an international open competition, resulting in the publication of
  research papers in a special issue of the Annals of Pure and Applied Logic.
* The purpose of these fellowships is to support original research in, and
  areas surrounding, the foundations of mathematics, These fellowships are
  intended to carry forward the legacy of Kurt Goedel, whose works exemplify
  deep insights and breakthrough discoveries in mathematical logic, with
  profound impact on the philosophy and foundations of mathematics.
* Scope: Original fellowship proposals in the areas of model theory, proof
  theory, recursion theory, set theory, foundations of mathematics, philosophy
  of mathematics, foundations of computer science (related to logic),
  automated reasoning (related to logic), complexity (related to logic)
* Submission Instructions and further details can be found at
  http://kgs.logic.at/goedel-fellowship
* Submissions deadline: June 30, 2007.



LIST OF OPEN PROBLEMS IN TYPED LAMBDA CALCULI AND APPLICATIONS (TLCA)
  http://tlca.di.unito.it/opltlca/
* The List (modeled after the  RTA LOOP) is now made available
  at the URL above. It aims at collecting unresolved
  questions (and other relevant information, e.g. about solutions and
  related results) in the subject areas of the TLCA (Typed Lambda Calculi
  and Applications)  series of conferences. The initial list consists of
  21 problems dated from 1958 to 2007. Everyone is invited to submit new
  problems, solutions and comments to tlca@mimuw.edu.pl or to any of the
  three editors:
* Ryu Hasegawa     ryu@ms.u-tokyo.ac.jp
  Luca Paolini     paolini@di.unito.it
  Pawel Urzyczyn   urzy@mimuw.edu.pl



BOOK ANNOUNCEMENT
  Programming in Haskell
  Graham Hutton
  Cambridge University Press, 2007, ISBN 0-521-69269-5
  http://www.cs.nott.ac.uk/~gmh/book.html
* Haskell is one of the leading languages for teaching functional
  programming, enabling students to write simpler and cleaner code,
  and to learn how to structure and reason about programs. This
  introduction is ideal for beginners: it requires no previous
  programming experience and all concepts are explained from first
  principles via carefully chosen examples.  Each chapter includes
  exercises that range from the straightforward to extended projects,
  plus suggestions for further reading on more advanced topics. The
  presentation is clear and simple, and benefits from having been
  refined and class-tested over several years.  The result is a
  text that can be used with courses, or for self-learning.
* Features include: freely accessible powerpoint slides for each
  chapter; solutions to exercises, and examination questions (with
  solutions) available to instructors; downloadable code that's
  fully compliant with the latest Haskell release.
* Ordering information: see the URL above.



DOCTORAL CONSORTIUM AT THE 8TH EUROLAN SUMMER SCHOOL
  Call for Participation and Call for Papers
  July 30 - August 2, 2007, Iasi, Romania
  http://eurolan.info.uaic.ro/2007/DC/
* The Doctoral Consortium at EUROLAN-2007 will provide an
  opportunity for graduate students (PhD and MSc heading
  towards PhD studies) investigating topics in Computational
  Linguistics and Natural Language Processing to present their
  current work and receive constructive feedback and guidance
  on future research, both from the general audience and the
  invited lecturers at the Summer School.
* We invite all interested graduate students to submit their
  work to the Consortium. As the main goal of the Consortium
  is for the authors to receive feedback, the emphasis is on
  work in progress.
* Submission Deadline: May 14, 2007
* Detailed information can be found on the webpage.



COMPUTABILITY IN EUROPE 2007: COMPUTATION AND LOGIC IN THE REAL WORLD
(CiE 2007)
  Call for Participation
  18-23 June 2007, University of Siena
  http://www.mat.unisi.it/newsito/cie07.html
* CiE 2007 will address various aspects of the ways computability and
  theoretical computer science enable scientists and philosophers to deal
  with mathematical and real world issues, ranging through problems related
  to logic, mathematics, physical processes, natural computing, real
  computation and learning theory. At the same time it will focus on
  different ways in which computability emerges from the real world, and
  how this affects our way of thinking about everyday computational issues.
* Deadline for early registration: May 18, 2007
* Deadline for submitting informal presentations: April 27, 2007
  All presenters of informal presentations, are eligible to be invited to
  submit a full journal version of their talk to one of the post-conference
  publications.
* Invited Tutorial and Plenary Speakers: Pieter Adriaans (Amsterdam),
  Kobi Benenson (Harvard), Anne Condon (Vancouver), Stephen Cook (Toronto),
  Yuri Ershov (Novosibirsk), Wolfgang Maass (Graz), Sophie Laplante (Paris),
  Anil Nerode (Cornell), George Odifreddi (Turin), Roger Penrose (Oxford),
  Michael Rathjen (Leeds), Dana Scott (Carnegie Mellon),
  Robert I. Soare (Chicago), Philip Welch (Bristol)
* CiE 2007 will be co-located with CCA 2007, the annual Computability
  and Complexity in Analysis Conference (June 16-18, 2007),
  http://cca-net.de/cca2007/



RDP 2007: FEDERATED CONFERENCE ON REWRITING, DEDUCTION, AND PROGRAMMING
  Call for Participation and for Applications for Student Travel Grants
  June 25-29, Paris, France
  http://www.rdp07.org
* RDP 2007 is the fourth edition of the International Conference on Rewriting,
  Deduction, and Programming, consisting of two main conferences
   - Rewriting Techniques and Applications (RTA'07)
   - Typed Lambda Calculi and Applications (TLCA'07)
  a colloquium
   - From Type Theory to Morphologic Complexity: a Colloquium in Honor of
     Giuseppe Longo
  as well as the following workshops:
   - Higher Order Rewriting (HOR)
   - Proof Assistants and Types in Education (PATE)
   - Rule-Based Programming (RULE)
   - Security and Rewriting Techniques (SecReT)
   - Unification (UNIF)
   - Functional and (Constraint) Logic Programmming (WFLP)
   - Reduction Strategies in Rewriting and Programming (WRS)
   - Termination (WST)
* Invited Speakers: Frank Pfenning (Carnegie Mellon University)
  Patrick Baillot (CNRS, University Paris 13), Greg Morrisett (Harvard
  University), Xavier Leroy (INRIA Rocquencourt), Robert Nieuwenhuis
  (Technical University of Catalonia), Henk Barendregt (Nijmegen University)
* Online Registration is open unil May, 31.
* Student Travel Grants: A limited number of travel grants for students is
  available. Detailed information can be found at http://www.rdp07.org/grants.
  Applications should be send by May 20 by email to registration@rdp07.org.



INTERNATIONAL CONFERENCE TABLEAUX 2007: AUTOMATED REASONING WITH
ANALYTIC TABLEAUX AND RELATED METHODS
  Call for Participation
  3-6 July 2007, Aix en Provence, France
  http://tableaux2007.univ-cezanne.fr/
* This conference is the 16th in a series of international meetings on
  Automated Reasoning with Analytic Tableaux and Related Methods.
  Tableau methods are a convenient formalism for automating deduction
  in various non-standard logics as well as in classical logic. Areas
  of application include verification of software and computer systems,
  deductive databases, knowledge representation and its required inference
  engines, and system diagnosis. The conference brings together researchers
  interested in all aspects - theoretical foundations, implementation
  techniques, systems development and applications - of the mechanization of
  reasoning with tableaux and related methods.
* Invited Speakers: Piero Bonatti (Università di Napoli), John-Jules Meyer
  (Utrecht University), Cesare Tinelli (University of Iowa)
* Tutorials: The Tableau Work Bench: Theory and Practice (P. Abate, R. Goré)
  Tableau Methods for Interval Temporal Logics (V. Goranko, A. Montanari)
  Semistructured Databases and Modal Logic (S. Cerrito)
* Colocated Workshop: AGENTS, LOGIC AND THEOREM PROVING, 3 July 2007,
  http://www.lif-sud.univ-mrs.fr/~schwind/Agentws.html
* On-line registration is now open at http://tableaux2007.univ-cezanne.fr



TWENTY-SECOND ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2007)
  Call for Participation
  July 10-14, 2007, Wroclaw, Poland
  http://www2.informatik.hu-berlin.de/lics/lics07/
  http://july2007.ii.uni.wroc.pl/
* The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic broadly construed.
  LICS 2007 will be colocated with International Colloquium on Automata,
  Languages and Programming (ICALP 2007), 9th-13th July 2007, and ASL European
  Summer Meeting (Logic Colloquium 2007), 14th-19th July 2007.
* Registration is now open.
* Important dates:
   - May 15th 2007: Book your hotel before May 15th; it will be extremely
       difficult to find a room after that.
   - May 31st 2007: Early registration discount expires.
* Invited Speakers:
   - Thomas Hales (University of Pittsburgh)
   - Martin Hyland (University of Cambridge)
   - Phokion Kolaitis (IBM Almaden Research Centre)
   - Gordon Plotkin (University of Edinburgh)
   - Michael Rabin (Harvard University and Hebrew University)
   - Colin Stirling (University of Edinburgh)
* Detailed information can be found on the webpage.



THIRTY-FOURTH INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND
PROGRAMMING (ICALP 2007)
  Call for Participation
  July 9-13, 2007, Wroclaw, Poland
  http://icalp07.ii.uni.wroc.pl/
  http://july2007.ii.uni.wroc.pl/
* ICALP is the  main conference and annual meeting of the European
  Association for Theoretical Computer Science EATCS. ICALP 2007 will be
  colocated with 22nd Annual IEEE Symposium on Logic in Computer Science
  (LICS 2007), Logic Colloquium 2007, and 9th International Symposium on
  Principles and Practice of Declarative Programming (PPDP 2007).
* Important dates:
   - May 15th 2007: Book your hotel before May 15th; it will be extremely
       difficult to find a room after that.
   - May 31st 2007: Early registration discount expires.
* Invited Speakers:
   - Bernard Chazelle (Princeton University, US)
   - Ivan Damgaard (Aarhus University, Denmark)
   - Fedor Fomin (University of Bergen, Norway)
   - Gordon Plotkin (University of Edinburgh, UK)
   - Michael O. Rabin (Harvard University, US)
   - Fred Schneider (Cornell University, US)
* Detailed information can be found on the webpage.



GAMES 2007: GAMES AND AUTOMATA FOR SYNTHESIS AND VALIDATION.
TUTORIALS AND ANNUAL MEETING
  Second Announcement and Call for Contributions
  September 10-13, 2007, Lausanne
  www.games.rwth-aachen.de
* The 2007 Annual Meeting of the GAMES Network "Games and Automata
  for Synthesis and Validation" will be co-located with CSL 2007
  (www2.unil.ch/csl07), with a joint GAMES-CSL programme on 11th September.
* As in previous years, GAMES 2007 will be an informal workshop,
  without proceedings, with a programme consisting of 5-6 invited
  tutorials (90 min), contributed talks (30 min) and short presentations
  (15 min). Contributed talks and short presentations will be selected by
  the programme committee on the basis of submitted abstracts.
* Therefore, researchers who would like to present a talk at GAMES are
  invited  to submit an extended abstract of up to two pages to
   by 30th June 2007.
  Decision about acceptance will be made by 20th July 2007.
* Tutorials at GAMES 2007: Luca de Alfaro (Santa Cruz): The Symbolic Approach
  to Repeated Games; Anuj Dawar (Cambridge): Model-checking first-order
  logic: automata and locality; Javier Esparza (Stuttgart):  O(f(t)) is
  not enough: Beyond Big-Oh runtime analysis in automata theory;
  Hendrik Jan Hoogeboom (Leiden) : Tree Transducers; Sylvain Sorin (Paris):
  Zero-sum repeated games: basic results and new advances
* Programme Committee: Mikolaj Bojanczyk (Warsaw), Jacques Duparc (Lausanne)
  Erich Graedel (Aachen), Anca Muscholl (Bordeaux)



BRITISH LOGIC COLLOQUIUM (BLC 2007)
  Workshop Announcement
  September 6-8, 2007, De Morgan House, Central London,
  http://www.dcs.bbk.ac.uk/~roman/blc/
* Invited Speakers include: Samson Abramsky (Oxford University), Barry
  Cooper (Leeds University), Anuj Dawar (Cambridge University), Jean-Yves
  Girard (Marseille University), Rob Goldblatt (Victoria University,
  Wellington), Volker Halbach (Oxford University), Wilfrid Hodges (Queen
  Mary, London), Moshe Vardi (Rice University, Houston), Frank Wolter
  (Liverpool University), Boris Zilber (Oxford University).
* We invite contributed talks on any aspect of logic (please contact
  the organisers).
* There is a limited number of bursaries available for students who wish to
  attend.  A bursary covers the conference fee and accommodation in London.
  Applications for bursaries should be accompanied by a CV, a letter of
  recommendation (normally from the student's supervisor) and will be
  allocated on the basis of proven ability in logic.
* For any enquiries, please contact the organisers: Robin Hirsch
  (r.hirsch@cs.ucl.ac.uk) and Michael Zakharyashev (michael@dcs.bbk.ac.uk).
* We thank the London Mathematical Society and the British Logic Colloquium
  for supporting this event.



ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS (TANCL'07)
  Call for Papers
  5-9 August, 2007, St Anne's College, University of Oxford, England
  http://www.maths.ox.ac.uk/notices/events/special/tancl07/
* This international conference is the third in a series. The programme will
  focus on three interconnecting mathematical themes central to the study of
  non-classical logics and their applications: algebraic, categorical, and
  topological methods. There will be three more specialized satellite
  workshops associated with the conference (running August 4 and 10-12):
  - Categorical Quantum Logic (convened by Bob Coecke)
  - Coalgebraic Logic (convened by Alexander Kurz)
  - Spatial and Spatio-temporal Logics (convened by Michael Zakharyaschev).
* Updated details and now also the registration and reservation of
  accommodations form are available at the TANCL website.
* Participants are invited to offer short talks on topics pertinent to the
  themes of the conference. The NEW deadline for abstracts for contributed
  talks is 14 May.
* If you have any queries please send them to the conference email address:
  tancl07@maths.ox.ac.uk



JOINT WORKSHOP DOMAINS VIII AND COMPUTABILITY OVER CONTINUOUS DATA TYPES
  Call for Abstracts
  September 11 -- 15, 2007, Akademgorodok, Novosibirsk
  www.sbras.ru/ws/domains/ (Switch to English - upper right corner)
  email:   domains@math.nsc.ru
* Theme: The Workshop 'Domains' series is aimed at computer scientists and
  mathematicians alike who share an interest in the mathematical foundations
  of computation. It focusses on domain theory, its applications and related
  topics. It will be combined with topics based on the German--Russian project
  'Computability Over Non-discrete Structures: Models, Semantics, Complexity'.
* Scope: Topics for this workshop include, but are not limited to domains
  and topology for semantics, program semantics, effective domains and spaces,
  computation over continuous spaces, models of sequential computation,
  lambda calculus, realizability, proof mining, constructive mathematics and
  its semantics, computability theory, computable models, admissible sets.
* Confirmed Invited Speakers: U. Berger, Swansea, Th. Coquand, Goeteborg,
  M. Escardo, Birmingham, S. Godunov, Novosibirsk, P. Hertling, Munich,
  A. Simpson, Edinburgh, A. Yoshikawa, Kyushu University.
* Contributed Talks: You are invited to participate and to
  contribute a talk. Please submit a one page abstract to
  domains@math.nsc.ru. Submissions will be dealt with on a first come/first
  served basis. Deadline: 15 May 2007.
* Deadline for registration: 30 June, 2007
* Programme Committee: Yuri Ershov, Sergei Goncharov, Achim Jung,
  Klaus Keimel (Chair), Ulrich Kohlenbach, Andrei Morozov (Co-Chair),
  Victor Selivanov, Dieter Spreen
* Workshop Secretary: Alexei Stukachev (domains@math.nsc.ru)



THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA
CONTENT FOR MULTI-CHANNEL DISTRIBUTION (AXMEDIS 2007)
  Call for Papers
  28th-30th Nov. 2007
  Universitat Politècnica de Catalunya, Barcelona (Spain)
  http://www.axmedis.org/axmedis2007
* In the Internet as well as in the digital era, cross-media production and
  distribution represent key developments and innovations that are fostered
  by emergent technologies to ensure better value for money while optimising
  productivity and market coverage. AXMEDIS2007 aims to explore all subjects
  and topics related to cross-media and digital-media content production,
  processing, management, standards, representation, sharing, protection and
  rights management interoperability, to address the latest developments and
  future trends of the technologies and their applications, its impact and
  exploitation. We are particularly interested in exchanging concepts,
  requirements, prototypes, research ideas, and findings which could
  contribute to academic research or could be beneficial to business and
  industrial communities.
* Paper submission deadline: 15 May 2007
* AXMEDIS 2007 Chairs: Jaime Delgado (Universitat Politècnica de Catalunya,
  Spain), Kia Ng (University of Leeds, UK), Domenico Dato (TISCALI, Italy)
* Please contact the website or conference@axmedis.org for details.



EXPRESS 2007: 14TH INTERNATIONAL WORKSHOP ON EXPRESSIVENESS IN CONCURRENCY
(AFFILIATED WITH CONCUR 2007)
  Call for Papers
  3 September, 2007, Gulbenkian Foundation, Lisbon, Portugal
  http://express07.pps.jussieu.fr/
* The EXPRESS workshops aim at bringing together researchers interested
  in the relations between various formal systems, particularly in the
  field of Concurrency. More specifically, they focus on the comparison
  between programming concepts (such as concurrent, functional,
  imperative, logic and object-oriented programming) and between
  mathematical models of computation (such as process algebras, Petri
  nets, event structures, modal logics, rewrite systems etc.) on the
  basis of their relative expressive power.
* Important Dates:
  Abstract submission: Friday, 25 May, 2007.
  Paper submission: Friday, 1 June, 2007.
  Notification: Friday, 29 June, 2007.
  Submission of preliminary version for the Proceedings: Friday, 6 July, 2007.
  Workshop: Monday, 3 September, 2007 (day before CONCUR07).
  Submission of final version for ENTCS: Friday, 28 September, 2007.
* For more informations, visit http://express07.pps.jussieu.fr/



2007 PERFORMANCE METRICS FOR INTELLIGENT SYSTEMS (PERMIS'07) WORKSHOP
  Call for Papers
  http://www.isd.mel.nist.gov/PerMIS_2007
* The PerMIS'07 Workshop will be the seventh in the series that started in
  2000, targeted at defining measures and methodologies of
  evaluating performance of intelligent systems. The workshop has proved to
  be an excellent forum for discussions and partnerships, dissemination of
  ideas, and future collaborations in an informal setting. Attendees usually
  include researchers, graduate students, practitioners from industry,
  academia, and government agencies.
* The cardinal theme of of this year's workshop will be the interplay between
  autonomy and intelligence, i.e. how does autonomy influence intelligence and
  vice versa. In addition to the main theme, as in previous years, the workshop
  will focus on applications of performance measures to practical problems in
  commercial, industrial, homeland security, and military applications.
* Prospective authors are requested to either send a draft paper
  (maximum 8 pages) or an extended abstract (1-2 pages) for review.
  Invited session proposals should contain 1) a session title and a
  brief statement of purpose, 2) name and affiliation of the
  organizer(s), and 3) a preliminary list of speakers.
  Please submit to PerMIS@cme.nist.gov
* Deadline for Submission of full papers: May 25, 2007
  Deadline for Proposal for invited sessions June 01, 2007
* General Chair: Elena Messina (NIST); Program Chair: Raj Madhavan (ORNL/NIST)
* For up-to-date information, please visit the workshop website.



WORKSHOP AND SYMPOSIUM ON APPLICATIONS OF GRAPH TRANSFORMATION WITH
INDUSTRIAL RELEVANCE (AGTIVE '07)
  Call for Papers
  October 10-12, 2007, Kassel, Germany
  http://www.se.eecs.uni-kassel.de/se/agtive07
* The intention of the AGTIVE workshops/symposia is to (1) bring the
  practice-oriented graph transformation community together, (2) study and
  integrate different graph transformation approaches, and (3) build a
  bridge between academia and industry. In addition, AGTIVE'07 will put a
  special emphasis on the role graph transformation plays for
  model-driven system engineering languages, tools, and methods, as e.g.
  standardized by the Object Management Group (OMG).
* We are looking for submissions presenting the application of graph
  transformation techniques in a broad sense in the following areas
  (non-exclusive list of traditional GT application areas): Compiler and
  code generator verification; (co-)simulation in science and engineering;
  domain-specific languages and tools; graph and model layout algorithms;
  image generation and pattern recognition techniques; model-driven
  engineering of software systems; multimedia techniques and multimedia
  software; self-adaptive systems and ubiquituous computing;
  service-oriented applications and semantic web; syntax and semantics of
  modeling/programming languages
* Deadline for paper submission: May  29, 2007; Notification: July 16, 2007
* Program Chairs:
  Manfred Nagl (Aachen, Germany), Andy Schuerr (Darmstadt, Germany)



INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING
ARTIFICIAL INTELLIGENCE AND REASONING (LPAR 2007)
  Call for Papers
  15th-19th October 2007, Yerevan, Armenia
  http://www.lpar.net/2007/
* Topics of interest include: automated reasoning, propositional reasoning,
  interactive theorem proving, description logics, software verification,        
  hardware verification, software testing, logic and ontologies, proof
  assistants, network and protocol verification, proof planning, nonmonotonic
  reasoning, proof checking, constructive logic and type theory,
  rewriting and unification, lambda and combinatory calculi, logic
  programming, knowledge representation & reasoning, modal and temporal
  logics, constraint programming, systems specification and synthesis,
  logical foundations of programming, model checking, computational
  interpretations, proof-carrying code, logic and computational complexity,
  logic and databases, logic in artificial intelligence
* Full and short papers are welcome. Full papers may be either regular
  papers containing new results, or experimental papers describing
  implementations or evaluations of systems. Short papers may describe work
  in progress or provide system descriptions. Submitted papers must be
  original, and not submitted concurrently to a journal or another conference.
* Program Chairs: Nachum Dershowitz (Tel Aviv University),
  Andrei Voronkov (University of Manchester)
* Submission deadline of full paper abstracts: June 4, 2007



FIRST INTERNATIONAL WORKSHOP ON RUN TIME ENFORCEMENT FOR MOBILE AND
DISTRIBUTED SYSTEMS (REM 2007)
  Call for Papers
  September 26-27, 2007, Dresden, Germany
  http://www.cs.kuleuven.be/conference/ESORICS-REM2007/
* In conjunction with the 12th European Symposium On Research In Computer
  Security (ESORICS 2007), supported by the S3MS project.
* The goal of this workshop is to bring together researchers and
  practitioners working on various aspects of run time monitoring and
  enforcement of security policies, to exchange ideas and disseminate
  new results. Original papers are solicited, both from industry and
  academia on new results or experiences with run time monitoring and
  enforcement.
* Areas of interest include, but are not limited to: Access control in
  mobile and distributed systems, Mechanisms for run time monitoring and
  enforcement, Theoretical foundations for run time monitoring and
  enforcement, Policy languages, policy composition and policy management,
  Safety analysis and enforcement, Security for mobile code, Case studies
  and experiences with run time monitoring and enforcement, Program
  instrumentation for run time monitoring and enforcement, including
  inlined monitors, and aspect oriented programming.
* Submission deadline of workshop papers: June 7, 2007
* PC Chairs: Fabio Massacci (Universita di Trento, Italy),
  Frank Piessens (Katholieke Universiteit Leuven, Belgium)
* For more information about REM'07 please visit the web-page
  or send e-mail to: ESORICS-REM-workshop@dit.unitn.it



WORKSHOP ON VISUAL LANGUAGES AND LOGIC (VLL)
  Call for Papers
  23 September 2007, Coeur d'Alene, Idaho, USA
  http://vivid.cs.dal.ca/VLL/
  ASSOCIATED EVENT: VLL runs immediately before the 2007 IEEE Symposium on
  Visual Languages and Human Centric Computing, http://vlhcc07.eecs.wsu.edu/
* Scope and Topic: We solicit original, unpublished research papers that
  examine some combination of visual tools, representations or languages
  with logic. Topics of interest include, but are not limited to:
  Graphical notations for logics (either classical or non-classical, such
  as first or higher order logic, temporal logic, description logic,
  independence friendly logic, spatial logic), Diagrammatic reasoning,
  Theorem proving, Formalisation (syntax, semantics, reasoning rules),
  Expressiveness of visual logics, Visual logic programming languages,
  Visual specification languages, Applications, Tool support for Visual Logics
* Paper Submission. Submissions should be in ENTCS format, no longer =
  than 12 pages (http://www.entcs.org/prelim.html). Instructions on how to
  submit will be available shortly on the workshop website.
* Important dates: Submission: June 25, 2007,
  Notification: August 1, 2007, Final papers due: August 14, 2007
* Co-Chairs: Phil Cox, Dalhousie University, Canada, Andrew Fish,
  University of Brighton, UK, John Howse, University of Brighton, UK.
* Contact: Please email VLL@cs.dal.ca for further information.



SEVENTEENTH WORKSHOP ON LOGIC-BASED METHODS IN PROGRAMMING ENVIRONMENTS
(WLPE 2007) (SATELLITE WORKSHOP OF ICLP'07)
  Call for Papers
  September 13, 2007, Porto, Portugal
  http://www.comp.leeds.ac.uk/hill/WLPE07/
* The workshop aims at providing an informal meeting for researchers
  working on logic-based tools for development and analysis of programs.
  In addition to papers describing more conceptual work on environmental
  tools, we solicit papers describing the implementation of and
  experimentation with such tools.
* Areas particularly relevant to the workshop include: static and dynamic
  analysis, debugging and testing, program verification and validation,
  code generation from specifications, termination and non-termination
  analysis, reasoning on occurs-check freeness and determinacy, profiling
  and performance analysis, type- and mode analysis, module systems,
  optimization tools.
* We invite the submission of full papers which, excluding references,
  should not exceed 16 pages, or short papers describing work in
  progress which should be no more than 6 pages.
* Deadline for Paper Submission: June 15, 2007; Notification: July 8, 2007
* Workshop organizers: Patricia Hill (School of Computing, Univ. of Leeds),
  Wim Vanhoof (Insitut d'Informatique, Univ. of Namur, Belgium)



SECOND INTERNATIONAL WORKSHOP ON CRITICAL INFORMATION INFRASTRUCTURES
SECURITY (CRITIS 2007)
  Call for Papers
  October 3-5, 2007, Benalmadena-Costa, Malaga, Spain
  http://critis07.lcc.uma.es
* CRITIS'07, co-sponsored by IFIP WG 11.10 on Critical Infrastructures
  Protection, IEEE Computer Society Task Force on Information Assurance,
  and Joint Research Center Ispra of the European Commission, wants to
  bring together researchers and professionals from universities, private
  companies and Public Administrations interested or involved in all
  security-related heterogeneous aspects of Critical Information
  Infrastructures.
* We invite research papers, work-in-progress reports, R&D projects results,
  surveying works and industrial experiences describing significant security
  advances in the following (non-exclusive) areas of Critical Information
  Infrastructures
* Deadline for Paper Submission: June 25, 2007; Notification: July 30, 2007
* Program Committee Co-Chairs: Bernhard H?mmerli (HTA Luzern, Switzerland),
  Javier Lopez (University of Malaga, Spain)
* General Co-Chair: Sokratis Katsikas (University of the Aegean, Greece)



HAIFA VERIFICATION CONFERENCE (HVC 2007)
  Call for Papers
  October 23-25, 2007, Haifa, Israel
  http://www.haifa.il.ibm.com/Workshops/verification2007/
* HVC 2007 is the third annual conference dedicated to advancing the
  verification and testing of both hardware and software.
  The conference scope includes formal verification of both hardware and
  software, hardware simulation techniques, and software testing.
  This year we announce a special interest in hybrid methods. We encourage
  the submission of works that exemplify the successful integration of ideas
  from different verification paradigms.
* Submissions are accepted through the conference web page.
* The submission deadline is June 28, 2007.



SECOND INTERNATIONAL CONFERENCE ON KNOWLEDGE SCIENCE, ENGINEERING AND
MANAGEMENT (KSEM'2007)
  Call For Papers
  28-30 November, 2007, Melbourne, Australia
  http://www.deakin.edu.au/scitech/eit/ksem07/
* KSEM'2007 is the second in this series, which builds on the success of
  the first international conference on knowledge science, engineering and
  management (KSEM'2006) in Guilin, China. The aim of this
  interdisciplinary conference is to provide a forum for researchers in
  the broad areas of knowledge science, knowledge engineering, and
  knowledge management to exchange ideas and to report state of the art
  research results.
* You are invited to submit papers that are original and not yet
  published. Papers on the synergism of knowledge science,
  knowledge engineering and knowledge management are especially welcomed.
* Paper submission deadline: 30 June, 2007; Notification: 15 August, 2007
* Conference Co-Chairs: Kate Smith-Miles (Deakin University, Australia),
  Ruqian Lu (Chinese Academy of Sciences, China)
* Program Co-Chairs: Zili Zhang (Deakin University, Australia),
  Jorg Siekmann (German Research Centre of Artificial Intelligence, Germany)



TENTH INTERNATIONAL CONFERENCE ON RELATIONAL METHODS IN COMPUTER SCIENCE
(RelMiCS 10) AND
5TH INTERNATIONAL CONFERENCE ON APPLICATIONS OF KLEENE ALGEBRA (AKA 5)
  Call for Papers
  April 7 - 11, 2008,  Frauenwoerth (near Munich), Germany
  http://www.uni-augsburg.de/rel_aka
* Over the past fifteen years, the RelMiCS meetings have been a main
  forum for researchers who use the calculus of relations and similar
  algebraic formalisms as methodological and conceptual tools. The
  workshop series on Applications of Kleene algebra started with a
  Dagstuhl seminar in 2001 and has been co-organised with the RelMiCS
  conference since. Due to their considerable overlap, the two events have
  a joint PC and joint proceedings. Their scope comprises relation algebra,
  fixpoint calculi, semiring theory, iteration algebras, process algebras
  and dynamic algebras. Applications  include formal algebraic modelling,
  the semantics, analysis  and development of programs, formal language
  theory  and combinatorial optimisation.
* We  invite submissions on the general topics of *Relation Algebra*
  and  *Kleene Algebra* in computer science. Special focus will  lie
  on formal methods for software engineering, logics of programs and
  links with neighbouring disciplines.
* Deadline for paper submission: Aug 31, 2007; Notification: Dec 15, 2007
* Further details can be found at http://www.uni-augsburg.de/rel_aka



Back to the LICS web page.