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 email@example.com ******************************************************************* 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 (firstname.lastname@example.org) 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.