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.