[FOM] LICS Newsletter 131

Kreutzer, Stephan stephan.kreutzer at tu-berlin.de
Fri Jul 29 22:11:54 EDT 2011


Newsletter 131
August 1, 2011

*******************************************************************
* 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
*******************************************************************



TABLE OF CONTENTS
* DEADLINES
   Deadlines in the coming weeks
* LICS MATTERS
   LICS 2011 Report
   LICS 2012 - Test of Time Award
* CONFERENCES AND WORKSHOPS
   CSL 2011/TYPES 2011 - Call for Participation
   Reachability Problems (RP) - Call for Participation
   CONCUR 2011 - Call for Participation
   RTA 2012 - Call for Workshop Proposals
   LATA 2012 -  Call for Papers
   AiML 2012 -  Call for Papers
* NEW JOURNALS AND SPECIAL ISSUES
   Special Issue of Studia Logica on Logic and Games
   COMPUTABILITY - New Journal by the Association CiE
   Security and Privacy in Complex Systems
* JOB ANNOUNCEMENTS
   John Templeton Foundation Fellowships
   Ph.D. position in logic at Technical Unviersity Berlin



UPCOMING DEADLINES
* CSL 2011
   Early Registration Deadline: 31st July 2011
   http://www.eacsl.org/csl11
* TYPES 2011
   Early Registration Deadline: 31st July 2011
   http://www.types.name
* RP 2011
   Early Registration Deadline: 31st July 2011
* CONCUR 2011
   Early Registration Deadline: 31st July 2011
   http://concur2011.rwth-aachen.de
* QEST 2011
   Early Registration Deadline: 31st July 2011
   http://concur2011.rwth-aachen.de
* TGC 2011
   Early Registration Deadline: 31st July 2011
   http://concur2011.rwth-aachen.de
* Special Issue of Studia Logic on Logic and Games
   Submission deadline: 15th August 2011
   http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html





LOGIC IN COMPUTER SCIENCE (LICS) 2011 REPORT
* This year, LICS was hosted by the Fields Institute in Toronto, Canada.
   The conference was a great success with high-quality presentations and
   lively discussions among the participants, encouraged by the setting in a
   research institute. The attendance was a little lower than usual, though.
* For the first time LICS was preceded by a tutorial day  with two fantastic
   tutorials by
   - Albert Atserias on Finite Model Theory and
   -  Prakash Panangaden on Semantics.
   The tutorials were very well received and the tradition will be continued in
   the following years.
* At LICS, the test-of-time awards were presented to
   - Patrice Godefroid and Pierre Wolper for their paper
      "A partial approach to model checking"
   - Joshua S. Hodas and Dale A. Miller for their paper
      "Logic Programming in a fragment of intuitionistic linear logic"
   - Dexter C. Kozen for his paper
      "A completeness theorem for Kleene algebras of regular events"
   Dale and Dexter gave excellent talks on the background on their work.
* Next year, LICS will be organised in Dubrovnik, 
Croatia, from June 25 to 28, 2012.
* We thank the local organisers Matt Valeriote 
and his team and the PC Chair, Martin
   Grohe, and the PC for their hard work to organise this year's LICS.





LOGIC IN COMPUTER SCIENCE (LICS) - TEST OF TIME AWARD
* The LICS Test-of-Time Award recognizes a small 
number of papers from the LICS proceedings
   from 20 years prior that have best met the "test of time".
* The LICS 2012 ToT Award committee consists of
   - Martin Grohe,
   - Prakash Panangaden,
   - Andre Scedrov (Chair), and
   - Ashish Tiwari.
* The committee will select between 0 to 3 papers
   that appeared in LICS 1992 proceedings. All 
papers are nominated by default, but the
   committee welcomes input from our community: please send your comments to
   Andre Scedrov (scedrov at math.upenn.edu) which 
will be shared only among the committee members.
* LICS 2012 ToT award will be presented during 
the business meeting at LICS 2012
   to be held in Dubrovnik from June 22 to 25, 2012.
* The list of papers from LICS 1992 is available at
   http://www2.informatik.hu-berlin.de/lics/archive/1992/index.html
* The information about LICS ToT award and the 
list of past winners is available at
   http://www2.informatik.hu-berlin.de/lics/archive/test-of-time-award.html





COMPUTER SCIENCE LOGIC (CSL) 2011
TYPES FOR PROOFS AND PROGRAMS (TYPES) 2011
     Bergen, Norway
     Call for Participation
     EARLY REGISTRATION DEADLINE APPROACHING
     8-11 September, http://www.types.name/
     12-15 September, http://www.eacsl.org/csl11
* GENERAL INFORMATION
   - Types for Proofs and Programs (TYPES) is a forum to present
     new and on-going work in all aspects of type theory and its
     applications, especially in computer programming and in formalized
     and computer-assisted reasoning, see: http://www.types.name/
   - Computer Science Logic (CSL) is the annual conference of the
     European Association for Computer Science Logic (EACSL).
     The conference is intended for computer scientists whose
     research activities involve logic, as well as for logicians
     working on issues significant for computer science.
     A preliminary program for CSL'11 is now available:
     http://www.eacsl.org/csl11/program.pdf
* The pre-conference workshop Epsilon Calculus and Constructivity
   on Sunday 11 September is free for TYPES/CSL'11 participants
* REGISTRATION for TYPES/CSL'11: https://registrer.app.uib.no/csl
   Early registration deadline: 1 August 2011
* BOOKING a hotel room at a reduced rate can be done via: booking at ght.no
   NB limited availability, and the offer expires 1 August 2011,
   see: http://www.eacsl.org/csl11/#accommodation





THE 5TH EDITION OF THE REACHABILITY PROBLEMS WORKSHOP (RP 2011)
    SECOND CALL FOR PARTICIPATION
    September 28 - 30, 2011
    Genova, Italy
    http://rp11.disi.unige.it/
* REGISTRATION IS OPEN (see website)
   Early registration deadline: July 31, 2011
* The Reachability Workshop is specifically aimed 
at gathering together scholars from
   diverse disciplines and backgrounds interested 
in reachability problems that appear
   in Algebraic structures, Computational models, 
Hybrid systems, Logic, and Verification.
* Topics of interest include: Reachability problems in infinite state
   systems, rewriting systems, dynamical and hybrid systems;
   reachability problems in logic and verification; reachability
   analysis in different computational models, counter/ timed/
   cellular/ communicating automata; Petri-Nets; computational aspects
   of algebraic structures (semigroups, groups and rings); frontiers
   between decidable and undecidable reachability problems;
   predictability in iterative maps and new computational paradigms.
* Previous RP editions took place in Brno (Czech Republic, 2010),
   Palaiseau (France, 2009), Liverpool (UK, 2008), Turku (Finland, 2007).
   The fifth edition will be held in Genova, a historic city in Liguria, Italy.
* INVITED SPEAKERS
   - Krishnendu Chatterjee, IST Austria
     Graph Games with Reachability Objectives: Mixing Chess, Soccer and Poker
   - Bruno Courcelle, Labri, Universitè Bordeaux 1
     Automata for monadic second-order model-checking
   - Joost-Pieter Katoen, RWTH Aachen
     Timed Automata as Observers of Stochastic Processes
   - Jean-Francois Raskin, CFV, Universitè Libre de Bruxelles
     Reachability Problems for Hybrid Automata
* The preliminary program is available at the RP webpage
* REGISTRATION AND FEES
   The early registration deadline is 31st of July.
   Early (until July 31)
   Regular fee    200    250
   Student fee    150    200
* Late (after July 31): +50
* ACCOMODATION and TRAVEL INFO
   September is a very busy period in Genova (there are several other
   conferences and events right before and after RP). We have an
   option for a limited number of rooms in the hotels in the city
   center.  Our University can also offer (a limited number of)
   accomodations in Casa Paganini (student residence) at very
   convenient prices.
   Travel information and on-line registration/booking forms are
   available under the RP webpage:
   http://rp11.disi.unige.it/
* For further information, please contact the RP 2011 organizers:
   Giorgio Delzanno: delzanno at disi.unige.it
   Igor Potapov: potapov at liverpool.ac.uk





AACHEN CONCURRENCY AND DEPENDABILITY WEEK
     CONCUR: 22th Int. Conference on Concurrency Theory
     QEST: 8th Int. Conference on Quantitative Evaluation of SysTems
     TGC: 6th Int. Symposium on Trustworthy Global Computing
          6 Tutorials + 9 Workshops
          September 5 - September 10, 2011
          Aachen, Germany
          http://concur2011.rwth-aachen.de
          CALL FOR PARTICIPATION
* REGISTRATION --
   Online registration: http://concur2011.rwth-aachen.de/registration
   Early registration deadline: July 31; Late registration deadline: August 25.
* CONCUR/QEST 2011 INVITED SPEAKERS --
   Parosh Aziz Abdulla   (Uppsala University, Sweden)
   Wil van der Aalst     (Technical University Eindhoven, The Netherlands)
   Ursula Goltz          (Technical University Braunschweig, Germany)
   Rachid Guerraoui      (EPFL Lausanne, Switzerland)
   Geoffrey Smith        (Florida International University, USA)
   Lothar Thiele         (ETH Zurich, Switzerland)
* QEST 2011 TUTORIAL SPEAKERS --
   Peter Buchholz        (University of Dortmund, Germany)
   Krishnendu Chatterjee (IST Austria, Vienna, Austria)
   Kousha Etessami       (LFCS University of Edinburgh, UK)
   Boris Köpf            (IMDEA Software, Madrid, Spain)
   Aad van Moorsel       (Newcastle University, UK)
   Verena Wolf           (Saarland University, Germany)
* Affiliated Workshops --
   COMPMOD   Computational Models for Cell Processes
   EXPRESS   Expressiveness in Concurrency
   FOCLASA   Foundations of Coordination Languages and Software
             Architectures
   GASICS    Games for Design, Verification and Synthesis
   LAM       Logics, Agents, and Mobility
   MLQA      Models and Logics for Quantitative Analysis
   SECCO     Security Issues in Concurrency
   SOS       Structural Operational Semantics
   YR-CONCUR Young Researchers on Concurrency Theory
* Organization --
   General Chair:
   Joost-Pieter Katoen  (RWTH Aachen University, Germany)
   CONCUR PC Chairs:
     Joost-Pieter Katoen  (RWTH Aachen University, Germany)
     Barbara König        (University of Duisburg-Essen, Germany)
   QEST PC Chairs:
     Catuscia Palamidessi (INRIA and Ecole Polytechnique, France)
     Alma Riska           (EMC Corporation, USA)
   TGC PC Chairs:
     Roberto Bruni        (University of Pisa, Italy)
     Vladimiro Sassone    (University of Southhampton, UK)
* Contact
   See http://concur2011.rwth-aachen.de
   For further questions, please contact acdw2011 at cs.rwth-aachen.de





23RD INTERNATIONAL CONFERENCE ON REWRITING 
TECHNIQUES AND APPLICATIONS (RTA 2012)
       Monday, May 28 - Saturday, Jun 2, 2012, Nagoya, Japan
       http://rta2012.trs.cm.is.nagoya-u.ac.jp/
       Call for Workshop Proposals
* RTA is the major forum for the presentation of research on all aspects
   of rewriting.
* Previous RTA meetings were held in Dijon (1985), Bordeaux (1987),
   Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern
   (1995), Rutgers (1996), Sitges (1997), Tsukuba (1998), Trento (1999),
   Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003),
   Aachen (2004), Nara (2005), Seattle (2006), Paris (2007),
   Hagenberg/Linz (2008), Brasilia (2009), Edinburgh (2010) and Novi Sad
   (2011).
* We solicit proposals for satellite workshops of RTA 2012 that are
   related in topics to RTA.
* Workshops should have a length of 1 or 2 days. It is tradition at RTA
   that attendance to workshops is open to participants of parallel
   events, similar to the way FLoC workshops are run.  There will be
   three days (Monday, Tuesday and Saturday) reserved for workshops.
* Please submit your workshop proposal by email to
    rta2012-workshop at trs.cm.is.nagoya-u.ac.jp
* Proposals should be written in plain text. The proposal should cover the
   following topics:
   1. Name of workshop
   2. A statement of the topics and goals of the workshop
   3. Names and addresses of the organizers
   4. Pointers to descriptions of previous editions of the workshop, if any
   5. A description of the submission selection process
   6. Plans for the publication of proceedings (informal proceedings
      distributed to participants, electronic journal,  proceedings with
      separate selection process, ...)
   7. Plans for invited speakers or special sessions (round-table
      discussion, tutorials, ...)
   8. Expected length of the workshop
   9. Expected number of attendees
   10.Any special needs (for system demonstrations ...)
* Workshop Selection Committee:
   Ashish Tiwari  (RTA 2012 program chair)
   Masahiko Sakai (RTA 2012 general chair).
* Important Dates
   September 19, 2011 | deadline for proposals
   September 30, 2011 | notification of acceptance
* Prospective workshop organizers are welcome to contact the workshop
   selection committee in advance before sending in a formal submission
   and to discuss any questions.
* RTA http://rewriting.loria.fr/rta/





6th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA
                    THEORY AND APPLICATIONS (LATA 2012)
    Call for Papers
    A Coruña, Spain
    March 5-9, 2012
    http://grammars.grlmc.com/LATA2012/
* AIMS
   LATA is a yearly conference in theoretical computer science and its
   applications. Following the tradition of the International Schools in
   Formal Languages and Applications developed at Rovira i Virgili University
   in Tarragona since 2002, LATA 2012 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.).
* VENUE
   LATA 2012 will take place in A Coruña, at the northwest of
   Spain. The venue will be the Faculty of Computer Science,
   University of A Coruña.
* SCOPE:
   Topics of either theoretical or applied 
interest include, but are not limited to:
   - algebraic language theory
   - algorithms for semi-structured data mining
   - algorithms on automata and words
   - automata and logic
   - automata for system analysis and programme verification
   - automata, concurrency and Petri nets
   - automatic structures
   - cellular automata
   - combinatorics on words
   - computability
   - computational complexity
   - computational linguisticsx
   - data and image compression
   - decidability questions on words and languages
   - descriptional complexity
   - DNA and other models of bio-inspired computing
   - document engineering
   - foundations of finite state technology
   - foundations of XML
   - fuzzy and rough languages
   - grammars (Chomsky hierarchy, contextual, 
multidimensional, unification, categorial, etc.)
   - grammars and automata architectures
   - grammatical inference and algorithmic learning
   - graphs and graph transformation
   - language varieties and semigroups
   - language-based cryptography
   - language-theoretic foundations of artificial 
intelligence and artificial life
   - parallel and regulated rewriting
   - parsing
   - pattern recognition
   - patterns and codes
   - power series
   - quantum, chemical and optical computing
   - semantics
   - string and combinatorial issues in 
computational biology and bioinformatics
   - string processing algorithms
   - symbolic dynamics
   - symbolic neural networks
   - term rewriting
   - transducers
   - trees, tree languages and tree automata
   - weighted automata
* PROGRAMME COMMITTEE:
   Eric Allender (Rutgers)
   Miguel Á. Alonso (A Coruña)
   Amihood Amir (Bar-Ilan)
   Dana Angluin (Yale)
   Franz Baader (Dresden)
   Patricia Bouyer (Cachan)
   John Case (Delaware)
   Volker Diekert (Stuttgart)
   Paul Gastin (Cachan)
   Reiko Heckel (Leicester)
   Sanjay Jain (Singapore)
   Janusz Kacprzyk (Warsaw)
   Victor Khomenko (Newcastle)
   Bakhadyr Khoussainov (Auckland)
   Claude Kirchner (Paris)
   Maciej Koutny (Newcastle)
   Salvador Lucas (Valencia)
   Sebastian Maneth (Sydney)
   Carlos Martín-Vide (Tarragona, chair)
   Giancarlo Mauri (Milano Bicocca)
   Aart Middeldorp (Innsbruck)
   Faron Moller (Swansea)
   Angelo Montanari (Udine)
   Joachim Niehren (Lille)
   Mitsunori Ogihara (Miami)
   Enno Ohlebusch (Ulm)
   Dominique Perrin (Marne-la-Vallée)
   Alberto Policriti (Udine)
   Alexander Rabinovich (Tel Aviv)
   Mathieu Raffinot (Paris)
   Jörg Rothe (Düsseldorf)
   Olivier H. Roux (Nantes)
   Yasubumi Sakakibara (Keio)
   Eljas Soisalon-Soininen (Aalto)
   Frank Stephan (Singapore)
   Jens Stoye (Bielefeld)
   Howard Straubing (Boston)
   Masayuki Takeda (Kyushu)
   Wolfgang Thomas (Aachen)
   Sophie Tison (Lille)
   Jacobo Torán (Ulm)
   Tayssir Touili (Paris)
   Esko Ukkonen (Helsinki)
   Frits Vaandrager (Nijmegen)
   Manuel Vilares (Vigo)
   Todd Wareham (Newfoundland)
   Pierre Wolper (Liège)
   Hans Zantema (Eindhoven)
   Thomas Zeugmann (Sapporo)
* SUBMISSIONS
   Authors are invited to submit papers presenting original and
   unpublished research. Papers should not exceed 12 single-spaced
   pages (including eventual appendices) 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=lata2012
* REGISTRATION:
   The period for registration will be open since July 16, 2011 until
   March 5, 2012. The registration form can be found at the website
   of the conference: http://grammars.grlmc.com/LATA2012/
* IMPORTANT DATES:
   Paper submission: October 7, 2011 (23:59h, CET)
   Notification of paper acceptance or rejection: November 18, 2011
   Final version of the paper for the LNCS proceedings: November 27, 2011
   Early registration: December 5, 2011
   Late registration: February 24, 2012
   Starting of the conference: March 5, 2012
   Submission to the post-conference special issue: June 9, 2012
* FURTHER INFORMATION:
   florentinalilica.voicu at urv.cat






9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AIML 2012)
      COPENHAGEN, 22-25 AUGUST, 2012
      FIRST CALL FOR PAPERS
      http://hylocore.ruc.dk/aiml2012
* Advances in Modal Logic is an initiative aimed at presenting
   the state of the art in modal logic and its various applications. The
   initiative consists of a conference series together with volumes based on
   the conferences. Information about the AiML series can be obtained at
   http://www.aiml.net. AiML-2012 is the ninth conference in the series.
* TOPICS
   We invite submission on all aspects of modal logic, including:
   - history of modal logic
   - philosophy of modal logic
   - applications of modal logic
   - computational aspects of modal logic
   + complexity and decidability of modal and temporal logics
   + modal and temporal logic programming
   + model checking
   + model generation
   + theorem proving for modal logics
   - theoretical aspects of modal logic
   + algebraic  and categorical perspectives on modal logic
   + coalgebraic modal logic
   + completeness and canonicity
   + correspondence and duality theory
   + many-dimensional modal logics
   + modal fixed point logics
   + model theory of modal logic
   + proof theory of modal logic
   - specific instances and variations of modal logic
   + description logics
   + modal logics over non-boolean bases
   + dynamic logics and other process logics
   + epistemic and deontic logics
   + modal logics for agent-based systems
   + modal logic and game theory
   + modal logic and grammar formalisms
   + provability and interpretability logics
   + spatial and temporal logics
   + hybrid logic
   + intuitionistic logic
   + substructural logics
   + computationally light fragments of all such logics
   Papers on related subjects will also be considered.
* SPECIAL SESSION ON HYBRID LOGIC
   Hybrid logic is an extension of modal logic 
which allows us to refer explicitly
   to states of the model in the syntax of formulas. There will be a special
   session of AiML devoted to papers on hybrid logic. The scope of the special
   session is standard hybrid-logical machinery like nominals, satisfaction
   operators, and the downarrow binder, but also other extensions of modal
   logic can be considered. Papers for this session should be submitted the
   same way as others.
* PROGRAMME COMMITTEE
   Carlos Areces               (FaMAF, 
Universitad Nacional de Cordoba, Argentina)
   Philippe Balbiani           (IRIT, Toulouse, France)
   Lev Beklemishev             (Moscow State University, Russia)
   Guram Bezhanishvili         (New Mexico State University, USA)
   Nick Bezhanishvili          (Imperial College London, UK)
   Patrick Blackburn           (Roskilde University, Denmark)
   Thomas Bolander             (Technical University of Denmark)
   Torben Brauner              (Roskilde University, Denmark)
   Giovanna Corsi              (Universita' di Bologna, Italy)
   Giovanna D'Agostino         (Universita' di Udine, Italy)
   Stephane Demri              (LSV, ENS Cachan, France)
   Melvin Fitting              (Lehman College, CUNY, USA)
   Robert Goldblatt            (Victoria University of Wellington, New Zealand)
   Valentin Goranko            (Technical University of Denmark)
   Rajeev Gore                 (Australian National University, Australia)
   Andreas Herzig              (IRIT, Toulouse, France)
   Ian Hodkinson               (Imperial College London, UK)
   Wiebe van der Hoek          (University of Liverpool, UK)
   Alexander Kurz              (University of Leicester, UK)
   Tadeusz Litak               (University of Leicester, UK)
   Hiroakira Ono               (Japan Advanced 
Institute of Science and Technology)
   Martin Otto                 (Technical University of Darmstadt, Germany)
   Alessandra Palmigiano       (ILLC, University of Amsterdam, The Netherlands)
   Renate Schmidt              (University of Manchester, UK)
   Lutz Schroeder              (DFKI GmbH and University of Bremen, Germany)
   Valentin Shehtman           (Moscow State University, Russia)
   Dimiter Vakarelov           (Sofia University, Bulgaria)
   Yde Venema                  (ILLC, University of Amsterdam, The Netherlands)
   Heinrich Wansing            (Ruhr University Bochum, Germany)
   Frank Wolter                (University of Liverpool, UK)
   Michael Zakharyaschev       (Birkbeck College, London, UK)
* PROGRAMME COMMITTEE CO-CHAIRS
   Silvio Ghilardi             (Universita' degli Studi di Milano, Italy)
   Lawrence Moss               (Indiana University, USA)
* ORGANIZING COMMITTEE CO-CHAIRS
   Thomas Bolander   (Technical University of Denmark)
   Torben Brauner    (Roskilde University, Denmark)
* IMPORTANT DATES
   Full papers submission deadline: 16 March 2012
   Full papers acceptance notification: 18 May 2012
   Short presentations (abstracts) submission deadline: 1 June, 2012
   Short presentations acceptance notification: 7 June, 2012
   Final version of full papers and abstracts due: 15 June 2012
   Conference: 22-25 August, 2012.






SPECIAL ISSUE OF STUDIA LOGICA ON LOGIC AND GAMES
   Call for Papers
   Guest editor: Thomas Ågotnes (University of Bergen)
* Formal logic and game theory can meet in many ways. While the use of
   games-for-logic, e.g., to define semantics of quantifiers or to
   compare logical models, goes back a long time, logic-for-games is a
   more recent and currently very active research direction which has
   been precipitated by the introduction of the notion of (multi-)agency
   in logic. If agents are assumed to be self-interested and to act
   rationally, then reasoning about action in a multi-agent setting
   requires reasoning about game theoretic concepts. Furthermore, logics
   capturing, e.g., the principles of action, belief, knowledge, time,
   preference and so on, can help explaining the foundations of game
   theoretic solutions, algorithms, etc.
* The goal of the special issue of Studia Logica on Logic and Games is
   to illustrate current trends and present recent advances in this
   field. We invite submissions on all topics in the intersection between
   formal logic and game theory, including the following topics (not an
   exhaustive list):
   o Logical formalisations of game properties
   o Logics for reasoning about strategic interaction
   o The use of logic to characterise or explain concepts, solutions,
      algorithms, etc., relevant for games
   o Logical-epistemic foundations of solution concepts
   o Reasoning about preferences
   o Logical aspects of social choice
   o Judgment aggregation
   o Game semantics
      Model comparison games (e.g., for comparing expressiveness, succinctness)
* The special issue will contain contributions from the following
    invited authors, in addition to selected submitted contributions:
   o Johan van Benthem, University of Amsterdam/Stanford University
   o Rohit Parikh, City University of New York
   o Michael Wooldridge, University of Liverpool
* Submission details: submitted papers should be between 15 and 20 pages
   long (including bibliography), and should be formatted according to
   the Studia Logica LaTex style. Only electronic submissions will be
   accepted. The authors should send an email with subject "Studia Logica
   Submission" to the guest editor (Thomas Agotnes,
   thomas.agotnes at infomedia.uib.no), with the file of the paper as an
   attachment, and the following information in the body of the email in
   plain text: paper title, author names, surface mail, email address of
   the contact author and a short abstract.
* Submission deadline: 15 August 2011
   All papers will be refereed according to the standards of the journal.
* For more details, see
   http://www.ifispan.waw.pl/studialogica/si-logic-and-games.html





COMPUTABILITY  -  THE JOURNAL OF THE ASSOCIATION CIE
   Now Accepting Submissions!
* First volume to be published in 2012
   as part of the celebrations of the Alan Turing Year
   http://www.computability.de/journal/
* Aims and Scope
   Computability is the journal of the Association Computability in Europe
   and it is published by IOS Press in Amsterdam.
* The journal Computability is a peer reviewed international journal that
   is devoted to publishing original research of highest quality, which is
   centered around the topic of computability.
* The subject is understood from a multidisciplinary perspective,
   recapturing the spirit of Alan Turing (1912-1954) by linking theoretical
   and real-world concerns from computer science, mathematics, biology,
   physics, computational neuroscience, history and the philosophy of
   computing.
* Editor-in-Chief
   Vasco Brattka (Cape Town, South Africa)
* Managing Editors
   Paola Bonizzoni (Milan, Italy)
   S. Barry Cooper (Leeds, UK)
   Benedikt Loewe (Amsterdam, The Netherlands)
   Elvira Mayordomo (Zaragoza, Spain)
* Editorial Board
   Samson Abramsky (Oxford, UK)
   Manindra Agrawal (Kanpur, India)
   Eric Allender (Piscataway, USA)
   Jeremy Avigad (Pittsburgh, USA)
   Arnold Beckmann (Swansea, UK)
   Olivier Bournez (Palaiseau, France)
   Alessandra Carbone (Paris, France)
   Karine Chemla (Paris, France)
   Bruno Codenotti (Pisa, Italy)
   Stephen A. Cook (Toronto, Canada)
   Anuj Dawar (Cambridge, UK)
   Rodney G. Downey (Wellington, New Zealand)
   Natasha Jonoska (Tampa, USA)
   Ulrich Kohlenbach (Darmstadt, Germany)
   Russell Miller (New York, USA)
   Andrei Morozov (Novosibirsk, Russia)
   Prakash Panangaden (Montreal, Canada)
   Frank Stephan (Singapore)
   Vlatko Vedral (Oxford, UK)
   Rineke Verbrugge (Groningen, The Netherlands)
   Ning Zhong (Cincinnati, USA)
* Submission Guidelines
   The journal Computability invites submission of full papers of highest
   quality on all research topics related to computability.
* Computability accepts only submissions of original research papers that
   have not been published previously and that are not currently submitted
   elsewhere. Full versions of papers that have already been published in
   conference proceedings are eligible only if the conference version is
   clearly cited and the full version enhances the conference version
   significantly.
* Authors are requested to submit PDF manuscripts electronically via the
   online submission system. Authors can indicate non-binding wishes
   regarding Editorial Board Members who should handle their submission.
   Final versions of accepted papers have to be prepared using the journal
   style file and they need to be submitted together with all source files.
* Authors submitting a manuscript do so on the understanding that they
   have read and agreed to the terms of the IOS Press Author Copyright
   Agreement and that all persons listed as authors have given their
   approval for the submission of the paper.
   http://www.computability.de/journal/





IEEE SYSTEMS JOURNAL -  Special Issue on Security 
and Privacy in Complex Systems
   Call for Papers
* Today's information society relies on a globally interconnected
   infrastructure composed of diverse and widely distributed systems. It
   is of utmost importance to ensure proper protection to such complex
   systems, or systems-of-systems, to ensure security, privacy, and
   availability of the infrastructure as well as of resources and
   information it provides and manages. The problem is far from trivial,
   due to the criticality and the social impact of the applications and
   services relying on this global infrastructure, as well as the
   complexity given by the co-existence and co-operation of, possibly
   heterogeneous, component systems.
   The goal of this special issue is to collect high-quality
   contributions on security and privacy in complex systems and
   systems-of-systems. We solicit submissions from academia, industry,
   and government presenting novel and original research on all
   theoretical and practical aspects of security and privacy in complex
   systems. The focus of the special issue spans security and privacy
   theory, technology, methodology, and applications in complex systems.
   Submitted papers should therefore explicitly address issues in the
   complex system scenario.
* Topics of interest include, but are not limited, to the ones listed
   below provided that they are treated with specific focus on the
   complex system scenario: access control; anonymity; applied
   cryptography; authentication; biometric security and privacy;
   cyber warfare and security; complex systems security; computer
   forensics; critical infrastructure protection; data and
   application security; data protection; data/system integrity;
   dependability, reliability, and availability; formal methods
   for security and privacy; human factors in security and
   privacy; identity management; insider threats; intrusion detection
   and prevention; knowledge extraction/representation for security;
   legal and ethical issues; middleware security; network security;
   operating systems security and privacy; protection from cyberhacking;
   security engineering; secure environments and applications; secure
   interoperability; security and privacy metrics; security and privacy
   policies; security and privacy in cloud computing; security and privacy
   in ad hoc networks; security and privacy in e-services; security and
   privacy in grid computing; security and privacy in mobile systems;
   security and privacy in monitoring systems; security and privacy in
   industrial systems; security and privacy in pervasive/ubiquitous
   computing; security and privacy in sensor networks; security and
   privacy in smart grid and distributed generation systems; security
   and privacy in social applications and networks; security and
   privacy in wireless sensor networks; security architectures;
   security management in complex scenarios; social implications
   of security and privacy; surveillance systems; threats, vulnerabilities,
   and risk management; transportation systems; trust management;
   usable security for complex systems; verification and validation
   of complex systems; web service security.
* Important dates: Paper submission due: October 1, 2011; First
   notification to authors: January 15, 2012; Revised paper submission
   due: March 15, 2012; Second notification to authors: April 30, 2012;
   Publication date: 2012
* Guest Editors: Sushil Jajodia, George Mason University, USA
   (jajodia at gmu.edu); Pierangela Samarati, Universita` degli Studi
   di Milano, Italy (pierangela.samarati at unimi.it)






THE TURING CENTENARY RESEARCH PROJECT: MIND, MECHANISM AND MATHEMATICS
             Research Fellowship and Scholar Competition
     http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408
               Submission deadline - December 16, 2011
* More than any other figure, Turing has left a coherent scientific agenda
   related to many of the 'Big Questions' concerning the relationship between
   the human mind, mechanism in nature, and the mathematics required to
   clarify and answer these questions. The very breadth and fundamental
   nature of Turing's impact makes the centenary celebration a hugely
   opportune period in which to reassert the role of basic thinking in
   relation to deep and intractable problems facing science.
* 'The Turing Centenary Research Project - Mind, Mechanism and Mathematics',
   supported by a major grant from the John Templeton Foundation, arises from
   the above-mentioned scientific agenda, and is aimed at researchers still
   within ten years of receiving their Ph.D. The participants in the research
   project will be the winners of the 'Mind, Mechanism and Mathematics'
   competition, designed to provide significant funding support for eight
   young researchers. Five of the winners will become JTF 'Turing Research
   Fellows' with an award of £75,000 each; and awards of £45,000 will be for
   JTF 'Turing Research Scholars' in the 16 to 25 age-group.
* The competition is organised in conjunction with the Turing Centenary
   Celebration, to be held June 22-25, 2012, at the Manchester City Hall and
   the University of Manchester. The award winners will be duly honoured on
   the June 23, 2012 centenary of Turing's birth.
* Further details:
   Honorary Chairs: Rodney Brooks and Sir Roger Penrose
* Submission deadline - December 16, 2011
   Award Notification - March 31, 2012
   Award Ceremony - Turing Centenary Day, June 23, 2012
   Commencement of the research project - July 1, 2012
* roposals will be judged relative to four research themes:
   - Chair of the Judges: S Barry Cooper (Leeds)
   - The Judges for Research Theme 1 (The Mathematics of Emergence: The
                                                        Mysteries 
of Morphogenesis):
     Luca Cardelli (Microsoft Research, Cambridge)
     Stuart Kauffman (Vermont/Santa Fe)
     Cris Moore (New Mexico/Santa Fe)
   - The Judges for Research Theme 2 (Possibility of Building a Brain:
                                       Intelligent 
Machines, Practice and Theory):
     Luciano Floridi (Oxford/Hertfordshire)
     Barbara Grosz (Harvard)
     Aaron Sloman (Birmingham)
   - The Judges for Research Theme 3 (Nature of Information: Complexity,
                                              Randomness, 
Hiddenness of Information):
     Eric Allender (Rutgers)
     Rodney Downey (Wellington)
     Manindra Agrawal (Kanpur)
   - The Judges for Research Theme 4 (How should we compute? New Models of
                                                             Logic 
and Computation):
   Samson Abramsky (Oxford)
   Gordon Plotkin (Edinburgh)
   Robert I. Soare (Chicago)
* Proposals should be made via the EasyChair submission page at:
   http://www.easychair.org/conferences/?conf=turingresearch2012
* For further details, see:
   http://www.mathcomp.leeds.ac.uk/turing2012/give-page.php?408





FULLY FUNDED PH.D. STUDENTSHIP IN LOGIC AND GRAPH 
THEORY AT THE TECHNICAL UNIVERSITY BERLIN
* The Logic and Semantics Research Group at the Institute for
   Software Engineering and Theoretical Computer Science at
   the Technical University, Berlin, Germany, is offering a fully
   funded Ph.D. studentship in the area of logic or graph theory.
   The closing date for applications is 28th August 2011. See
   http://logic.las.tu-berlin.de for further information.
* The research pursued in the group revolves around finite and
   computational model theory, algorithmic and structural graph
   theory, database theory, automata-theory and temporal and
   modal logics in the context of verification.
* Candidates must have a degree (master or diploma level) in
   Computer Science or Mathematics and must have a strong
   interest in theoretical computer science. Furthermore, candidates
   should have good knowledge in at least one of the following
   areas:
   - Structural or algorithmic graph theory, such as graph
     decompositions, graph minor theory or matroid theory,
     parametrized and general graph  algorithms.
   - Logic, broadly construed, in particular areas such as finite
     and computational model theory, automata theory, database
     theory and verification
* Good command of English is expected. Knowledge of German is not
   required.
* The position is fully funded. The successful candidate will be expected to
   participate in teaching for up to four hours a week during term time,
   usually in form of tutorials and assistance with reading courses.
* See http://logic.las.tu-berlin.de for further information on the application
   procedure.
* For further information please contact
   Stephan Kreutzer,
   email: stephan.kreutzer at tu-berlin.de,
   tel:       +49 30 314 29088.
   http://logic.las.tu-berlin.de/



 > Stephan Kreutzer       Professor of Computer Science
 >                                        Chair for Logic and Semantics
 >                                        Technical University Berlin
 > Web: http://logic.las.tu-berlin.de





--
You are subscribed to the LICS Newsletter. To unsubscribe
please send an email to majordomo at comlab.ox.ac.uk with the keyword
'unsubscribe' in the message body. If you want help with using the
mailing list, please send 'help' in the body of an email to
majordomo at comlab.ox.ac.uk.



More information about the FOM mailing list