Newsletter 106
September 12, 2006
*******************************************************************
* 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
* AWARDS
LICS Test-of-Time Award - Award Winners
2007 Ackermann Award of the EACSL - Call for Nominations
* CONFERENCES AND WORKSHOPS
AOSD 2007 - Call for Papers
EROW 2007 - Call for Papers
PODS 2007 - Call for Papers
LICS 2007 - Call for Papers
LICS 2007 - Call for Workshops
* SUMMER SCHOOL
Summer School on Advances in Software Engineering - Call for Participation
LICS TEST-OF-TIME AWARD
The IEEE Symposium on Logic in Computer Science recently
established a Test-of-Time Award to recognize a small
number of papers from the LICS proceedings from 20 years prior,
* Following the establishment of the award, an Awards Committee was
appointed and charged to consider all papers from LICS 1986 (the first LICS)
for the first LICS Test-of-Time Award. The Committee consisted of
Samson Abramsky (Chair), Rajeev Alur, and Yuri Gurevich.
* The Committee has selected the following three papers for
this award; the papers are listed in the order they appeared
in the LICS 1986 proceedings:
- "Efficient Model Checking in Fragments of the Propositional Mu-Calculus"
by E. Allen Emerson and Chin-Laung Lei
- "An Automata-Theoretic Approach to Automatic Program Verification"
by Moshe Y. Vardi and Pierre Wolper.
- "Orderings for Equational Proofs"
by Leo Bachmair, Nachum Dershowitz, and Jieh Hsiang.
The presentation of the awards took place on August 12, 2006
during the 2006 LICS Business Meeting.
ACKERMANN AWARD - EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN
COMPUTER SCIENCE
Call for Nominations
* Eligible for the 2007 Ackermann Award are PhD dissertations in
topics specified by the EACSL and LICS conferences, which were
formally accepted as PhD theses at a university or equivalent
institution between 1.1.2005 and 31.12.2006.
* The deadline for submission is 31.1.2007.
* Submission details are available at
www.dimi.uniud.it/~eacsl/award.html
www.cs.technion.ac.il/eacsl
* The EACSL Outstanding Dissertation Award for Logic in Computer Science
(The Ackermann Award) will be presented to the recipients at the
annual conference of the EACSL (CSL'07).
* The award consists of a diploma, an invitation to present the thesis
at the CSL conference, the publication of the abstract of the thesis
and the laudatio in the CSL proceedings, travel support to attend the
conference.
* The jury consists of seven members:
The president of EACSL, J. Makowsky (Haifa);
The vice-president of EACSL, D. Niwinski (Warsaw);
One member of the LICS organizing committee, S. Abramnsky (Oxford);
B. Courcelle (Bordeaux); E. Graedel (Aachen); M. Hyland (Cambridge);
A. Razborov (Moscow and Princeton).
AOSD 2007 - 6th CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT
Final Call for Research Papers
http://www.aosd.net/2007/cfc/research.php
* AOSD is the premier conference on software modularity that crosscuts
traditional abstraction boundaries. AOSD brings together researchers and
practitioners working in the fields of software engineering,
programming languages and software systems.
* The program committee especially welcomes submissions from readers of
the lics list on any topic relating to foundations of aspect-oriented
programming.
* Deadlines:
Abstracts: September 22, 2006
Full papers: September 29, 2006
EROW 2007 - WORKSHOP ON EMERGING RESEARCH OPPORTUNITIES IN WEB DATA MANAGEMENT
(affiliated with ICDT 2007)
Call for Papers
Barcelona, Spain. January 13, 2007.
http://www.erow.ua.ac.be/
* Theme: This workshop aims at bringing together database researchers, from
both the theoretical and practical side, to discuss whether the right
subjects on Web data management are being researched, and whether there are
new and interesting areas that have not been sufficiently addressed yet.
Therefore, we invite papers that contain theoretical results that could
open up new research areas in Web data management, as well as
application-oriented papers that present ideas and applications that
raise new and interesting research questions.
* Topics: Data exchange, Data integration, Data streams, Dataspaces,
Managing uncertain and imprecise information, Multimedia data,
Peer-to-peer data management, Schema matching,
Schema mapping and metadata management, Scientific data, Semantic Web,
Semi-structured data, Spatial and temporal data, Transaction management,
Web mining, Web privacy and security, Workflow and Web services, XML
* Submission deadline: Mon, Oct 23, 2006
* Invited Speakers: Bertram Ludaescher (Department of Computer Science &
Genome Center, UC Davis, and San Diego Supercomputer Center, UCSD, USA)
* Program committee: Marcelo Arenas (co-chair, PUC Chile), Jan Hidders
(co-chair, U. of Antwerp, Belgium), Omar Benjelloun (Stanford U., USA),
Toon Calders (U. of Antwerp, Belgium), Diego Calvanese (Free U. of
Bozen-Bolzano Italy), Alin Deutsch (UCSD, USA), Claudio Gutierrez
(U. de Chile), Gerd Heber (Cornell U., USA), Anastasios Kementsietsidis
(U. of Edinburgh, UK), Carolin Letz (U. of Muenster, Germany),
Jerome Simeon (IBM Watson, USA), Jef Wijsen (U. de Mons-Hainaut, Belgium)
PODS 2007 - 26th ACM SIGMOD-SIGACT-SIGART Symposium on
PRINCIPLES OF DATABASE SYSTEMS
Call for Papers
June 11-13, 2007, Beijing, China
http://sigmod07.riit.tsinghua.edu.cn
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundation of
database systems. For the 26th edition, original research papers
providing new insights in the specification, design, or implementation
of data management tools are called for.
* Topics that fit the interests of the symposium include the following
(as they pertain to databases): algorithms; complexity;
computational model theory; concurrency; constraints; data exchange;
data integration; data mining; data modeling; data on the Web; data
streams; data warehouses; distributed databases; information
retrieval; knowledge bases; logic; multimedia; physical design;
privacy; quantitative approaches; query languages; query optimization;
real-time data; recovery; scientific data; security; semantic Web;
semi-structured data; spatial data; temporal data; transactions;
updates; views; Web services; workflows; XML.
* Important Dates:
Short abstracts due : 28 November 2006
Paper submission : 5 December 2006
Notification : 26 February 2007
Camera-ready copy : 20 March 2007
LICS 2007 - 22nd ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Call for Papers
* 10-14 July 2007, Wroclaw, Poland
colocated with ICALP 2007 and Logic Colloquium 2007
http://www.informatik.hu-berlin.de/lics/lics07
* Theme: Suggested, but not exclusive, topics include:
automata theory, automated deduction, categorical models and logics,
concurrency and distributed computation, constraint programming,
constructive mathematics, database theory, domain theory, finite
model theory, formal aspects of program analysis, formal methods,
hybrid systems, lambda and combinatory calculi, linear logic,
logical aspects of computational complexity, logics in artificial
intelligence, logics of programs, logic programming, modal and
temporal logics, model checking, probabilistic systems, process
calculi, programming language semantics, reasoning about security,
rewriting, specifications, type systems and type theory, and
verification. We welcome submissions in emergent areas, such as
bioinformatics and quantum computation, if they have a substantial
connection with logic.
* All submissions must be electronic.
* Deadlines:
Paper Registration and Abstract Submission - 15 January 2007
Paper Submission - 22 January 2007
* Programme Committee:
Albert Atserias (Technical U. Catalonia), Steve Awodey (Carnegie Mellon U.),
Nachum Dershowitz (Tel Aviv U.), Thomas Ehrhard (Paris 7 and CNRS),
Javier Esparza (U. of Stuttgart), Marcelo Fiore (U. of Cambridge),
Erich Graedel (RWTH Aachen), Tom Henzinger (EPFL), Alan Jeffrey (Bell Labs),
Achim Jung (U. of Birmingham), Dexter Kozen (Cornell U.),
Kim Larsen (Aalborg U.), Jerzy Marcinkowski (U. of Wroclaw),
Luke Ong (Chair, U. of Oxford), Frank Pfenning (Carnegie Mellon U.),
Andrew Pitts (U. of Cambridge), Vladimiro Sassone (U. of Southampton),
Nicole Schweikardt (Humboldt U. Berlin), Peter Selinger (Dalhousie U.),
Natarajan Shankar (CS Lab. SRI), Victor Vianu (UC San Diego),
Igor Walukiewicz (CNRS and Bordeaux)
LICS 2007 - 22nd ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
Call for Workshops
* 10-14 July 2007, Wroclaw, Poland
colocated with ICALP 2007 and Logic Colloquium 2007
http://www.informatik.hu-berlin.de/lics/lics07
* In the coming weeks, there will be the annual call for workshop proposals
for LICS 2007. We will be looking to continue our tradition of excellent
workshops in both mainstream and emerging areas of research relevant to
the LICS community.
* Since LICS 2007 will be joint with ICALP, there may be possibilities
of shared workshops. For further information or queries, please contact
Philip Scott, LICS Workshop Chair (phil@site.uottawa.ca)
SUMMER SCHOOL ON ADVANCES IN SOFTWARE ENGINEERING
Call for Participation
Lipari Island, July 8--July 21, 2007
http://lipari.cs.unict.it
* Theme: 8 courses of one week each (4x60 minutes) as follows:
- Domain Analysis (Dines Bjoerner, Technical University of Denmark, DK)
- Problem Frames and their Composition (Michael Jackson, London, UK)
- Software Safety (Nancy Leveson, MIT, USA)
- Designing Evolvable Software Products (Peter Sestoft, Department of
Natural Sciences, Royal Veterinary and Agricultural University,DK)
- Web Services (Boualem Benatallah, The University of New South Wales,
Australia)
- High-Level Modeling Patterns (Egon Boerger, University of Pisa, Italy)
- Cooperation in Internet-Wide Environments (Carlo Ghezzi, Politecnico di
Milano,Italy)
- Security for Distributed Software (Dieter Gollmann, Hamburg-Harburg (TUHH),
Germany)
* Up to 60 students and a limited number of additional auditors will be
admitted. Deadline for application is March 31, 2007.
* More details can be found at http://lipari.cs.unict.it
Back to the LICS web page.