[Elsnet-list] LICS Newsletter 117

Kreutzer + Schweikardt lics at informatik.hu-berlin.de
Thu Sep 4 12:49:46 CEST 2008


Newsletter 117
September 4, 2008

*******************************************************************
* 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 at informatik.hu-berlin.de
*******************************************************************

TABLE OF CONTENTS
* ANNOUNCEMENTS
  LICS Newsletter Announcements
  Upcoming Deadlines
* CONFERENCES AND WORKSHOPS
  ESSLLII - Deadline Extension and Final Call for Course/Workshop Proposals
  SEC - Call for Participation
  LFCS 2009 - Call for Papers
  LATA 2009 -   Call for Papers
  PODS 2009 - Call for Papers
* BOOK ANNOUNCEMENTS
  Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications - by Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas
  A Modular Calculus For The Average Cost Of Data Structuring - by Michel Schellekens 



LICS NEWSLETTER ANNOUNCEMENTS
* New publication schedule
  The LICS Newsletter will now be published monthly, on the
  first day of each month or shortly thereafter. Please time your
  submissions accordingly.
* New section
  - Starting with this issues, the LICS Newsletter will contain a
    section on upcoming deadlines for logic related conferences. 
  - This section contains deadlines within six weeks of publication of
    the newsletter. 
  - The list of conferences announced in this way is roughly based on
    the list of logic related conferences as it appears on the LICS
    webpage http://www2.informatik.hu-berlin.de/lics/.
    It also includes conferences publicised on the Newsletter.
  - If you want you conference to be included in this list, please
    send an email to stephan.kreutzer at comlab.ox.ac.uk.



UPCOMING DEADLINES
* LFCS 2009
  14 September 2009
  http://www.lfcs.info/lfcs09/index.html
* STACS 2009
  15 September 2009
  http://stacs2009.informatik.uni-freiburg.de/
* ETAPS 2009
  including CC, ESOP, FASE, FOSSACS, TACAS
  2 October 2009
  http://www.cs.york.ac.uk/etaps09/
* LATA 2009
  22 October 2009
  http://grammars.grlmc.com/LATA2009/



EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION (ESSLLI) 2009
   Monday, 20 July - Friday, 31 July 2009
   Bordeaux, France
   Call For Course And Workshop Proposals
   Extended Deadline
* The European Summer School in Logic, Language and Information (ESSLLI)
  is organized every year by the Association for Logic, Language and
  Information (FoLLI, http://www.folli.org) in different sites around
  Europe.
  The main focus of ESSLLI is on the interface between linguistics,
  logic and computation.  ESSLLI offers foundational, introductory and
  advanced courses, as well as workshops, covering a wide variety of
  topics within the three areas of interest: Language and Computation,
  Language and Logic, and Logic and Computation.
  Previous summer schools have been highly successful, attracting up to
  500 students from Europe and elsewhere.  The school has developed into
  an important meeting place and forum for discussion for students and
  researchers interested in the interdisciplinary study of Logic,
  Language and Information.
  The ESSLLI 2009 Program Committee invites proposals for
  foundational, introductory, and advanced courses, and for workshops
  for the 21st annual Summer School in the broad interdisciplinary
  area connecting logic, linguistics, computer science and the
  cognitive sciences. The Summer School program is organized around
  the components.
  - Language and Computation
  - Language and Logic
  - Logic and Computation
  We also welcome proposals that do not exactly fit one of these
  there categories.
* PROPOSAL SUBMISSION:
  Proposals should be submitted through a web form
  available at http://www.folli.org/submission.php
  All proposals should be submitted no later than
  ******* Monday, September 1, 2008 *******
  Authors of proposals will be notified of the committee's decision no
  later than Wednesday October 15, 2008.  Proposers should follow the
  guidelines below while preparing their submissions; proposals that
  deviate can not be considered.
*GUIDELINES FOR SUBMISSION:
  Anyone interested in lecturing or
  organizing a workshop during ESSLLI-2009, please read the following
  information carefully.
  ALL COURSES: Courses consists of five sessions (a one-week course),
  each session lasting 90 minutes.  Lecturers who want to offer a long,
  two-week course should submit two independent one-week courses (for
  example an introductory course in the first week of ESSLLI, and a
  more advanced course during the second).  The ESSLLI program committee
  has the right to select only one of the two proposed courses.
* Timetable for Course Proposal Submission:
  Sept 1, 2008: Proposal Submission Deadline
  Oct 15, 2008: Notification
  June 1, 2009: Deadline for receipt of camera-ready course
                 material (by ESSLLI Local Organizers)
* WORKSHOPS:
  The aim of the workshops is to provide a forum for advanced
  Ph.D. students and other researchers to present and discuss their
  work.  Workshops should have a well defined theme, and workshop
  organizers should be specialists in the theme of the workshop. It is a
  strict requirement that organizers give a general introduction to the
  theme during the first session of the workshop.  They are also
  responsible for the organization and program of the workshop
  including inviting the submission of papers, reviewing, expenses of
  invited speakers, etc. In particular, each workshop organizer will be
  responsible for sending out a Call for Papers for the workshop by
  November 17, 2008.  The call must make it clear that the workshop is
  open to all members of the ESSLLI community.  It should also note that
  all workshop contributors must register for the Summer School.
* Timetable for Workshop Proposal Submissions
  Sept 1, 2008: Proposal Submission Deadline
  Oct 15, 2008: Notification
  Nov 10, 2008: Deadline for receipt of Call for Papers
                 (by ESSLLI PC chair)
  Nov 17, 2008: Workshop organizers send out (First) Call for Papers
  Jan  7, 2008: Workshop organizers send out Second Call for Papers
  Feb  2, 2008: Workshop organizers send out Third Call for Papers
  Feb 15, 2009: Deadline for Papers
  Apr 15, 2009: Notification of Workshop Contributors
  June 1, 2009: Deadline for receipt of camera-ready copy of Workshop
                Proceedings (by ESSLLI Local Organizers)




23rd INTERNATIONAL INFORMATION SECURITY CONFERENCE (SEC 2008)
   Call for Participation
   http://sec2008.dti.unimi.it
* The Twenty-third Conference on International Information Security
   Conference (SEC 2008) will take place on Milano Convention Centre,
   Milano, Italy
   from Monday, September 8 through Wednesday, September 10, 2008.
* IFIP International Information Security Conference is the IFIP
   TC-11 (Technical Committee on Security & Protection in
   Information Processing Systems) flagship conference. The conference
   is an international forum for information security researchers and
   attracts an international audience from the academic, industrial,
   and governmental communities.
   The 2008 edition is co-located with IFIP World Computer Congress
   2008 and will take place in Milan, Italy, at Milano Convention
   Centre.
* PROGRAM
  See http://sec2008.dti.unimi.it/program.php


SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'09) 
  Call For Papers
  Deerfield Beach, Florida, 
  January 3-6, 2009 
  www.lfcs.info
* The LFCS series provides an outlet for the fast-growing body of work in 
  the logical foundations of computer science, e.g., areas of fundamental
  theoretical logic related to computer science. The LFCS series began 
  with Logic at Botik, Pereslavl-Zalessky, 1989, and was co-organized by Albert  
  R. Meyer (MIT) and  Michael Taitslin (Tver), after which organization 
  passed to Anil Nerode.
* LFCS Steering Committee:
  Anil Nerode (General Chair); Stephen Cook; Dirk van Dalen; Yuri
  Matiyasevich; John McCarthy; J. Alan Robinson; Gerald Sacks; Dana Scott.
* LFCS'09 Program Committee:
  Sergei Artemov (PC Chair); Matthias Baaz; Andreas Blass; Samuel Buss; 
  Rod Downey; Ruy de Queiroz; Petr Hajek; Denis Hirschfeldt; Rosalie Iemhoff;
  Bakhadyr Khoussainov; Yves Lafont; Daniel Leivant; Robert Lubarsky; 
  Victor Marek; Franco Montagna; Anil Nerode; Philip Scott; Anatol Slissenko; 
  Alex Simpson; Michael Rathjen; Alasdair Urquhart; Rineke Verbrugge.
* Submission details. 
  Proceedings will be published in the LNCS series.
  There will be a post-conference volume of selected works published in 
  the Annals of Pure and Applied Logic. Submissions should be made 
  electronically via http://www.easychair.org/LFCS09/. Submitted papers must be in 
  pdf/12pt format and of no more than 15 pages, present work not previously 
  published, and must not be submitted concurrently to another conference with 
  refereed proceedings.
* Submissions deadline (firm): September 14, 2008
* More details on topics, deadlines, venue, and lodging at www.lfcs.info
  <http://www.lfcs.info/> .



3rd INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2009)
   Tarragona, Spain, April 2-8, 2009
   http://grammars.grlmc.com/LATA2009/
* AIMS
  LATA is a yearly conference in theoretical computer science and its
  applications. As linked to the International PhD School in Formal
  Languages and Applications that was developed at the host institute in
  the period 2002-2006, LATA 2009 will reserve significant room for young
  scholars at the beginning of their career. It will aim at attracting
  contributions from both classical theory fields and application areas
  (bioinformatics, systems biology, language technology, artificial
  intelligence, etc.).
* INVITED SPEAKERS
  - Bruno Courcelle (Bordeaux): Graph Structure and Monadic Second-order Logic (tutorial)
  - Markus Holzer (Muenchen): Nondeterministic Finite Automata: Recent Developments (tutorial)
  - Sanjay Jain (Singapore): Role of Hypothesis Spaces in Inductive Inference
  - Kai Salomaa (Kingston, Canada): State Complexity of Nested Word Automata
  - Thomas Zeugmann (Sapporo): Recent Developments in Algorithmic Teaching
* PROGRAMME COMMITTEE
  - Parosh Abdulla (Uppsala)
  - Stefania Bandini (Milano)
  - Stephen Bloom (Hoboken)
  - John Brzozowski (Waterloo)
  - Maxime Crochemore (London)
  - Juergen Dassow (Magdeburg)
  - Michael Domaratzki (Winnipeg)
  - Henning Fernau (Trier)
  - Rusins Freivalds (Riga)
  - Vesa Halava (Turku)
  - Juraj Hromkovic (Zurich)
  - Lucian Ilie (London, Canada)
  - Kazuo Iwama (Kyoto)
  - Aravind Joshi (Philadelphia)
  - Juhani Karhumaki (Turku)
  - Jarkko Kari (Turku)
  - Claude Kirchner (Bordeaux)
  - Maciej Koutny (Newcastle)
  - Hans-Joerg Kreowski (Bremen)
  - Kamala Krithivasan (Chennai)
  - Martin Kutrib (Giessen)
  - Andrzej Lingas (Lund)
  - Aldo de Luca (Napoli)
  - Rupak Majumdar (Los Angeles)
  - Carlos Martin-Vide (Tarragona & Brussels, chair)
  - Joachim Niehren (Lille)
  - Antonio Restivo (Palermo)
  - Joerg Rothe (Duesseldorf)
  - Wojciech Rytter (Warsaw)
  - Philippe Schnoebelen (Cachan)
  - Thomas Schwentick (Dortmund)
  - Helmut Seidl (Muenchen)
  - Alan Selman (Buffalo)
  - Jeffrey Shallit (Waterloo)
  - Ludwig Staiger (Halle)
  - Frank Stephan (Singapore)
* SUBMISSIONS:
  Authors are invited to submit papers presenting original and unpublished
  research. Papers should not exceed 12 single-spaced pages and should be
  formatted according to the standard format for Springer Verlag's LNCS
  series 
  (see http://www.springer.com/computer/lncs/lncs+authors?SGWID=0-40209-0-0-0). 
  Submissions have to be uploaded at:
    http://www.easychair.org/conferences/?conf=lata2009
* IMPORTANT DATES
  Paper submission: October 22, 2008
  Notification of paper acceptance or rejection: December 10, 2008
  Application for funding (PhD students): December 15, 2008
  Notification of funding acceptance or rejection: December 19, 2008
  Final version of the paper for the proceedings: December 24, 2008
  Early registration: December 31, 2008
  Starting of the conference: April 2, 2009
  Submission to the journal special issues: June 22, 2009



ACM SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2009)
   Call for Papers
   June 29 - July 2, 2009
   Providence, Rhode Island, USA
   http://www.sigmod09.org/index.shtml
* 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 28th edition, original research papers
   providing new insights in the specification, design, or
   implementation of data management tools are called for. 
* Topics of Interest
  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.
* PROGRAM COMMITTEE 
  Jianwen Su (UC Santa Barbara) (Chair)
  Gustavo Alonso (ETH Zurich)
  Pablo Barcelo (University of Chile)
  Toon Calders (Eindhoven Univ. of Technology)
  Andrea Cali (University of Oxford)
  Anirban Dasgupta (Yahoo! Research)
  Giuseppe De Giacomo (University of Rome La Sapienza)
  Wenfei Fan (University of Edinburgh & Bell Labs)
  Floris Geerts (Univ. of Edinburgh)
  Michael Kifer (SUNY Stony Brook)
  Wim Martens (Dortmund Univ. of Technology)
  Frank McSherry (Microsoft Research)
  Nina Mishra (Microsoft Research & University of Virginia)
  Sunil Prabhakar (Purdue University)
  Nicole Schweikardt (Frankfurt University)
  Luc Segoufin (INRIA)
  VS Subrahmanian (University of Maryland)
  Subhash Suri (UC Santa Barbara)
  Wang-Chiew Tan (UC Santa Cruz)
  Balder ten Cate (University of Amsterdam)
  Dirk Van Gucht (Indiana University)
  Victor Vianu (UC San Diego) 
* PODS Deadlines
  December 1, 2008: Abstract submission
  December 8, 2008: Manuscript submission
  February 27, 2009: Notification of acceptance 


BOOK ANNOUNCEMENT:
  Second-Order Quantifier Elimination:
  Foundations, Computational Aspects and Applications
  by Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szalas
  Studies in Logic: Mathematical Logic and Foundations, Vol. 12 
  College Publications 2008, 308 pages 
  ISBN 978-1-904987-56-7
* In recent years there has been an increasing use of
  logical methods and significant new developments have
  been spawned in several areas of computer science,
  ranging from artificial intelligence and software
  engineering to agent-based systems and the semantic web.
  In the investigation and application of logical methods
  there is a tension between:
    - the need for a representational language strong enough
      to express domain knowledge of a particular application,
      and the need for a logical formalism general enough to
      unify several reasoning facilities relevant to the
      application, on the one hand, and
    - the need to enable computationally feasible reasoning
      facilities, on the other hand. 
* Second-order logics are very expressive and allow us to
  represent domain knowledge with ease, but there is a
  high price to pay for the expressiveness. Most
  second-order logics are incomplete and highly
  undecidable. It is the quantifiers which bind relation
  symbols that make second-order logics computationally
  unfriendly. It is therefore desirable to eliminate these
  second-order quantifiers, when this is mathematically
  possible; and often it is. If second-order quantifiers
  are eliminable we want to know under which conditions,
  we want to understand the principles and we want to
  develop methods for second-order quantifier elimination.
  This book provides the first comprehensive, systematic
  and uniform account of the state-of-the-art of
  second-order quantifier elimination in classical and
  non-classical logics. It covers the foundations, it
  discusses in detail existing second-order quantifier
  elimination methods, and it presents numerous examples
  of applications and non-standard uses in different
  areas. These include:
    - classical and non-classical logics,
    - correspondence and duality theory,
    - knowledge representation and description logics,
    - commonsense reasoning and approximate reasoning,
    - relational and deductive databases, and
    - complexity theory. 
* The book is intended for anyone interested in the theory
  and application of logics in computer science and
  artificial intelligence.
* Further information can be found at
  http://www.cs.man.ac.uk/~schmidt/publications/GabbaySchmidtSzalas08.html




BOOK ANNOUNCEMENT: A MODULAR CALCULUS FOR THE AVERAGE COST OF DATA
STRUCTURING
  by Michel Schellekens 
  Springer 2008 246 with CD-ROM. Hardcover
  ISBN: 978-0-387-73383-8
* A Modular Calculus for the Average Cost of Data Structuring introduces
  MOQA, a new domain-specific programming language which guarantees the
  average-case time analysis of its programs to be modular. "Time" in this
  context refers to a broad notion of cost, which can be used to estimate
  the actual running time, but also other quantitative information such as
  power consumption, while modularity means that the average time of a
  program can be easily computed from the times of its
  constituents--something that no programming language of this scope has
  been able to guarantee so far. MOQA principles can be incorporated in
  any standard programming language.
  MOQA supports tracking of data and their distributions throughout
  computations, based on the notion of random bag preservation. This
  allows a unified approach to average-case time analysis, and resolves
  fundamental bottleneck problems in the area. The main techniques are
  illustrated in an accompanying Flash tutorial, where the visual nature
  of this method can provide new teaching ideas for algorithms courses.
* This volume, with forewords by Greg Bollella and Dana Scott, presents
  novel programs based on the new advances in this area, including the
  first randomness-preserving version of Heapsort. Programs are provided,
  along with derivations of their average-case time, to illustrate the
  radically different approach to average-case timing. The automated
  static timing tool applies the Modular Calculus to extract the
  average-case running time of programs directly from their MOQA code.
* A Modular Calculus for the Average Cost of Data Structuring is
  designed for a professional audience composed of researchers and
  practitioners in industry, with an interest in algorithmic analysis and
  also static timing and power analysis--areas of growing importance. It
  is also suitable as an advanced-level text or reference book for
  students in computer science, electrical engineering and mathematics.
* Michel Schellekens obtained his PhD from Carnegie Mellon University,
  following which he worked as a Marie Curie Fellow at Imperial College
  London. Currently he is an Associate Professor at the Department of
  Computer Science in University College Cork - National University of
  Ireland, Cork, where he leads the Centre for Efficiency-Oriented
  Languages (CEOL) as a Science Foundation Ireland Principal Investigator.
* Written for:
  Researchers and students interested in algorithm analysis, static
  analysis, real-time programming, programming language semantics
* Keywords:
  - random structures
  - real-time languages
  - series-parallel data structures
  - software timing/power analysis
  - sorting and search algorithms
  - static analysis
* Further information available at: 
  http://www.springer.com/computer/foundations/book/978-0-387-73383-8


More information about the Elsnet-list mailing list