[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