Newsletter 148
July 7, 2013
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* LICS-RELATED NEWS
Report on LICS'13
Kleene Award for Best Student Paper
Test-of-Time Awards (LICS 1993)
* DEADLINES
Forthcoming Deadlines
* CALLS
LPAR-19 - Call for Papers and Workshop Proposals
BLAST 2013 - Final Announcement
CSL 2013 - Call for Participation
QEST 2013 - Call for Participation
DIFTS 2013 - Call for Papers
CALCO 2013 - Call for Participation
SOFSEM 2014 - Call for Papers
MihalisFest 2013 - Call for Participation
STACS 2014 - Call for Papers
RAMiCS 2014 - Call for Papers
* OTHER ANNOUNCEMENTS
Postdocs in Biomodelling at Turku
New Book - Alan Turing: His Work and Impact
REPORT ON LICS'13
* LICS'13 took place 25-28 June in New Orleans, USA, on the campus of Tulane
University. It was co-located with CSF and MFPS. 138 people, including 31
students, registered for the conference. In addition to 57 accepted papers,
LICS'13 featured two tutorials (Hubert Comon-Lundh, Jan Rutten), four invited
talks (Rajeev Alur, Joseph Halpern, Nancy Lynch, Prakash Panangaden),
a special session in honour of Dana Scott (Steve Awodey, Andrej Bauer,
Robert Harper, Andrew Pitts and Dana Scott) and four affiliated workshops
(HOPA, NLCS, FCS, LOLA). Many thanks to Orna Kupferman and her PC for their
great effort and to Mike Mislove for organization! LICS'14 will be held
in Vienna (July 14-18) jointly with CSL, as part of the Federated Logic
Conference (FLoC) and the Vienna Summer of Logic 2014.
KLEENE AWARD FOR BEST STUDENT PAPER
* The 2013 Kleene Award for the Best Student Paper went to Ori Lahav (Tel Aviv
University) for the paper "From Frame Properties to Hypersequent Rules in
Modal Logics".
LICS TEST-OF-TIME AWARDS (LICS 93)
* The Awards Committee consisting of Prakash Panangaden (chair), Jean-Pierre
Jouannaud, Martin Grohe and Tom Henzinger decided to honour the following
three outstanding papers from LICS'93 (held in Montreal, Quebec, Canada):
- Leo Bachmair, Harald Ganzinger and Uwe Waldmann
Set constraints are the monadic class,
- Andre Joyal, Mogens Nielsen and Glynn Winskel
Bisimulation via open maps,
- Benjamin C. Pierce and Davide Sangiorgi
Typing and subtyping for mobile processes.
DEADLINES
* LPAR-19
Workshop proposal deadline: July 15, 2013
Abstract submission: July 22, 2013
http://www.LPAR-19.info
* BLAST 2013
Submission deadline: July 15, 2013
http://www.chapman.edu/events/blast-2013
* CSL 2013
Standard registration deadline: July 18, 2013
Late registration: August 25th 2013
http://csl13.di.unito.it/
* QEST 2013
Early registration deadline: July 20, 2013
http://www.qest.org/qest2013/
* DIFTS 2013
Paper submission: July 24, 2013
http://www.cmpe.boun.edu.tr/difts13/
* CALCO 2013
Early registration: until August 5th, 2013
Late registration: until August 26th, 2013
http://coalg.org/calco13/
* SOFSEM 2014
August 25, 2013: Submission Deadline
http://www.sofsem.sk
* STACS 2014
Paper submission: September 20, 2013
http://stacs2014.sciencesconf.org/
* RAMiCS 2014
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
http://mathcs.chapman.edu/ramics2014
19TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING (LPAR-19)
Call for Papers
Stellenbosch, South Africa,
14-19 December 2013
http://www.LPAR-19.info
* SERIES
The series of International Conferences on Logic for Programming, Artificial
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of
the most renowned researchers in the areas of logic, automated reasoning,
computational logic, programming languages and their applications come to
present cutting-edge results, to discuss advances in these fields, and to
exchange ideas in a scientifically emerging part of the world. The 19th LPAR
will be held in Stellenbosch, South Africa.
* TOPICS
New results in the fields of computational logic and applications are welcome.
Also welcome are more exploratory presentations, which may examine open
questions and raise fundamental concerns about existing theories and practices.
* PROGRAMME CHAIRS
- Ken McMillan
- Aart Middeldorp
- Andrei Voronkov
* CONFERENCE CHAIRS
- Bernd Fischer
- Geoff Sutcliffe
* WORKSHOP CHAIR
- Laura Kovacs
* SUBMISSION DETAILS
Submissions of two kinds are welcome:
- Regular papers that describe solid new research results. They can be
up to 15 pages long in LNCS style, including figures and references,
but excluding appendices (that reviewers are not required to read).
- Experimental and tool papers that describe implementations of systems,
report experiments with implemented systems, or compare implemented
systems. They can be up to 8 pages long in the LNCS style.
Both types of papers can be electronically submitted in PDF via EasyChair:
http://www.easychair.org/conferences/?conf=lpar19.
Prospective authors are required to register a title and an abstract a week
before the paper submission deadline (see below).
* IMPORTANT DATES
- Abstract submission: 22nd July
- Paper submission: 2nd August
- Notification of acceptance: 27th September
- Camera-ready papers: 9th October
- Conference: 14th-19th December
- Workshop proposals: 15th July
- Notification of workshops proposals: 29th July
* WORKSHOP PROPOSALS
LPAR-19 workshops will be held on 14th December either as one-day or half-day
events. If you would like to propose a workshop for LPAR-19, please contact
the workshop chair via email (lkovacs@complang.tuwien.ac.at), by the proposal
deadline.
FIFTH BLAST CONFERENCE (BLAST 2013)
Call for Participation
August 5 - 9, 2013
Chapman University, Orange, California, USA.
http://www.chapman.edu/events/blast-2013
* AIMS
The BLAST conference series brings together researchers in
B = Boolean algebra
L = Lattice theory, algebraic and quantum Logic
A = Universal Algebra
S = Set theory
T = Set theoretic and point-free Topology
* INVITED TALKS
BLAST 2013 features invited talks by
- Bernhard Banaschewski (McMaster University)
- William DeMeo (University of South Carolina)
- Francois Dorais (Dartmouth College)
- Mai Gehrke (Université Paris 7 and CNRS)
- Steven Givant (Mills College)
- Steve Jackson (University of North Texas)
- Michael Pinsker (Technische Universität Wien)
- Dima Sinapova (University of Illinois at Chicago)
- Sam van Gool (Radboud Universiteit Nijmegen)
and invited tutorials by
- Martin Escardo (University of Birmingham)
- Heinz-Peter Gumm (Universität Marburg)
- Hilary Priestley (University of Oxford)
The conference is funded by NSF, Chapman University and the
Center for Excellence in Computation, Algebra and Topology (CECAT).
Abstract submission is through Atlas-conferences at
http://atlas-conferences.com/cgi-bin/abstract/submit/cbgq-01.
The deadline for abstracts to appear in the booklet of abstracts
has been extended to July 5, 2013. Abstracts submitted by July 15
will be considered but will not appear in the booklet of abstracts.
* REGISTRATION
Registration will be $90 before July 1, 2013, and $110 after
that. Electronic registration is available on the conference
web page http://www.chapman.edu/events/blast-2013/.
22ND EACS ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL 2013)
Call for Participation
Torino, September 2-5 2013
http://csl13.di.unito.it/
* AIM AND SCOPE
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.
* LOCATION
The 22nd EACSL Annual Conference on Computer Science Logic will be held at
Museo di Scienze Naturali in Torino from Monday 2nd through Thursday 5th of
September 2013.
* IMPORTANT DEADLINES FOR REGISTRATION
Standard registration: July, 18th 2013 (extended)
Late registration: August 25th 2013
On-site registration: --
* SATELLITE EVENTS
The 9th International Workshop on Fixed Points in Computer Science (FICS'13) will
be held on 1st of September 2013 as a satellite event of CSL'13.
The 14th International Workshop on Logic and Computational Complexity (LCC'13) will
be held on 6th of September 2013 as a satellite event of CSL'13.
An international summer school on "Linear logic and related topics" will be held
from 28th through 31st of August 2013 as a satellite event of CSL'13.
Details are in the web site of CSL'13.
* PROGRAMME CHAIR
Simona Ronchi Della Rocca (Universita di Torino)
10TH INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2013)
Call for Participation
http://www.qest.org/qest2013/
August 26th-30th, 2013 - Buenos Aires, Argentina
* KEYNOTE SPEAKERS
- Lorenzo Alvisi, University of Texas Austin, USA
- Gilles Barthe, IMDEA Software, Spain
- Edmundo de Souza e Silva, Federal University of Rio de Janeiro, Brazil
* CONFERENCE PROGRAMME
A preliminary conference programme, including details of accepted
papers is available at http://www.qest.org/qest2013/accepted.php
* TUTORIALS DAY (26 August 2013)
- Diego Garbervetsky, Universidad de Buenos Aires, AR, "Quantitative analysis
of heap memory requirements Java/.Net like programs"
- Marco Vieira, University of Coimbra, PT, "Benchmarking the Dependability of
Computer Systems"
* CO-LOCATED EVENTS
- 24th International Conference on Concurrency Theory (CONCUR 2013)
- 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS 2013)
- 8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
and six affiliated workshops.
* REGISTRATION
Registration is now available at
http://www.concur-conferences.org/concur2013/registration.php
Early registration deadline: July 20, 2013
Registration includes attendance at the all main conferences, coffee breaks,
lunches, and electronic proceedings (in a USB Stick). CONCUR+QEST+FORMATS+TGC
registration also includes the welcome reception on Tuesday, plus social event
on Wednesday. Registration to QEST tutorials and co-located workshops is separate
from the main conferences. However, a discount of 50% per workshop registration
applies for participants of CONCUR+QEST+FORMATS+TGC.
* GENERAL CHAIR
Pedro R. D'Argenio (AR)
* PC-CHAIRS:
Kaustubh Joshi (US)
Markus Siegle (DE)
Marielle Stoelinga (NL)
* LOCAL ORGANIZATION CHAIR:
Hernan Melgratti (AR)
* TOOLS CHAIR:
Kai Lampka (SE)
* TUTORIAL CHAIR:
Lijun Zhang (DK)
* PROCEEDINGS CHAIR:
Nicolas Wolovick (AR)
* PUBLICITY CHAIR:
Damian Barsotti (AR)
2ND INTERNATIONAL WORKSHOP ON DESIGN AND IMPLEMENTATION OF FORMAL TOOLS AND SYSTEMS (DIFTS'13)
Call for Papers
Portland, OR, USA
October 19, 2013
(co-located with FMCAD and MEMOCODE 2013)
http://www.cmpe.boun.edu.tr/difts13/
* IMPORTANT DATES
Paper submission: July 24, 2013
Author notification: August 24, 2014
* WORKSHOP SCOPE
DIFTS (Design and Implementation of Formal Tools and Systems) workshop
emphasizes insightful experiences in formal tools and systems design.
The first DIFTS workshop was held in 2011. It provides a forum for sharing
challenges and solutions that are original with ground breaking results.
Often the design and implementation of tools for formal analysis require
non-trivial engineering decisions. Many challenges are faced, which
often can only be met with ingenious implementation techniques. These
techniques actually play a crucial role in making the idea work in practice.
The workshop provides an opportunity for discussing engineering aspects and
various design decisions required to put such formal tools and systems into
practical use.
* TOPICS OF INTEREST
DIFTS takes a broad view of the formal tools/systems area, and solicits
contributions from domains including, but not restricted to, decision
procedures, verification, testing, validation, diagnosis, debugging, and
synthesis.
This workshop encourages and appreciates system development activities,
and facilitates transparency in the experimentation. It will also serve as
a platform to discuss open problems and future challenges in practicing
formal methods.
* SUBMISSION
The workshop specifically solicits contributions with substantial
engineering details that often do not get published but has significant
practical impact. Papers in the following two categories are solicited:
(a) system category (10 pages, double column, 11pt), and
(b) tool category (8 pages, double column, 11pt).
In the system category, we invite papers that have original ideas
accompanied with novel integration techniques, adequate design/implementation
details, important design choices made and explored, and good experimental
results.
In the tool category, we invite papers that focus primarily on the
engineering aspects of some known/popular algorithm, with significant
emphasis on the design/implementation details, and various design choices
made to advance current state-of-the-art approaches.
The page limit for submissions in the system category is 10 pages in
double column format and for submissions in the tool category is 8 pages
in double column format.
Submission of papers should be made electronically in PDF format via
EasyChair. More details will be provided on the DIFTS web site.
* EVALUATION
To keep maintain uniformity and fairness in the reviewing process, the
program committee will evaluate the technical contribution of each submission
based on the following guidelines: the paper should provide enough details for
others to reproduce the results; and should solve a clearly-stated problem
that is significant and has wide interest; and the paper should provide enough
motivation for the design choices made. Overall, the paper should also
clearly identify what the main contributions of the work are.
* PUBLICATION
All accepted contributions will be included in informal proceedings.
High quality submissions will be considered for a special issue
of journals such as FMSD (Formal Methods in System Design) or
IEEE TC (Transactions on Computers).
* PROGRAM CHAIRS
Malay K. Ganai, NEC Labs America, USA
Alper Sen, Bogazici University, Turkey
5TH INTERNATIONAL CONFERENCE ON ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE (CALCO 2013)
Call for Participation
September 3 - 6, 2013
Warsaw, Poland
http://coalg.org/calco13/
* IMPORTANT DATES
- Early registration: until August 5th, 2013
- Late registration: until August 26th, 2013
* SCOPE
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
* INVITED SPEAKERS --
- Andrej Bauer (University of Ljubljana, SI)
- Mikolaj Bojanczyk (University of Warsaw, PL)
- Neil Ghani (University of Strathclyde, UK)
- Damien Pous (CNRS, ENS-Lyon, F)
* ACCEPTED PAPERS --
Please see http://coalg.org/calco13/accepted-papers
for a complete list.
* LOCATION
Warsaw, the capital of Poland, is a lively city with many historic
monuments and sights, but also with a thriving business district. It
is easily accessible via two airports: the main Chopin Airport, used by
most international carriers, and the recently open Warsaw Modlin
Airport (30 minutes away by rail), used by budget airlines.
* SATELLITE WORKSHOPS
CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired
by Monika Seisenberger (Swansea University). The workshop is dedicated
to presentation of work in progress and original research
proposals. PhD students and young researchers are particularly
encouraged to contribute.
A workshop dedicated to tools based on algebraic and/or coalgebraic
principles, CALCO Tools, will be held alongside the main conference,
chaired by Lutz Schroeder (Friedrich Alexander Universitaet
Erlangen-Nuernberg). Papers of this workshop will be included in the
CALCO proceedings.
* PROGRAMME CHAIRS
Reiko Heckel - University of Leicester, UK (cochair)
Stefan Milius - Friedrich-Alexander Universitaet Erlangen-Nuernberg, D (cochair)
* ORGANISING COMMITTEE
Bartek Klin (University of Warsaw, PL)
Andrzej Tarlecki (University of Warsaw, PL)
Joanna Ochremiak (University of Warsaw, PL)
40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
Call for Papers
Hotel Atrium, Novy Smokovec, High Tatras, Slovakia
January 25 - 30, 2014
www.sofsem.sk
* AIMS
40th International Conference on Current Trends in Theory and Practice
of Computer Science SOFSEM (SOFtware SEMinar) 2014 will take place in
Hotel Atrium, Novy Smokovec, High Tatras, Slovakia, on January 25-30,
2014. SOFSEM 2014 is jointly organized by the Institute of Computer
Science of P.J.Safarik University, Kosice, Slovakia and by the Slovak
Society for Computer Science. The conference is supported by the Czech
Society for Cybernetics and Informatics. The aim of the conference is
to get together professionals from academia and industry working in
various areas of Computer Science.
* PROGRAM COMMITTEE CHAIR
Branislav Rovan, Bratislava, Slovakia
* CONFERENCE TRACKS
Foundations of Computer Science
track chair: Viliam Geffert, Kosice, Slovakia
Software & Web Engineering
track chair: A Min Tjoa, Wien, Austria
Data, Information, and Knowledge Engineering
track chair: Julius Stuller, Praha, Czech Republic
Cryptography, Security, and Verification
track chair: Bart Preneel, Leuven, Belgium
Student Research Forum
track chair: Roman Spanek, Praha, Czech Republic
* IMPORTANT DATES
August 25, 2013: Submission Deadline
October 11, 2013: Notification about Acceptance
October 25, 2013: Deadline for Final Proceedings Versions
January 25-30, 2014: Conference
(January 25: arrival, January 30: departure)
* SUBMISSIONS
https://www.easychair.org/conferences/?conf=sofsem2014
HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
Call for Participation
Workshop at Center for Computational Intractability (CCI)
Princeton University, NJ, USA
August 27-29, 2013.
http://intractability.princeton.edu/blog/2013/01/mihalisfest-2013/
* See the workshop's webpage for further information,
including list of speakers.
31ST INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2014)
Call for Papers
March 5 - March 8, 2014, Lyon, France
Submission Deadline: Sep 20, 2013 (23:59:59 GMT/UTC)
http://stacs2014.sciencesconf.org/
* SUBMISSIONS
Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):
- algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
- automata and formal languages, games;
- computational complexity, parameterized complexity, randomness in computation;
- logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
- current challenges, for example: natural computing, quantum
computing, mobile and net computing.
* INVITED SPEAKERS
- Javier Esparza, TUM - Technische Universitaet Muenchen
- Peter Bro Miltersen, Aarhus University
- Luc Segoufin, INRIA, Ecole Normale Superieure de Cachan
* TUTORIAL
Neeraj Kayal, Microsoft Research India: Arithmetic Circuit Complexity
14TH INTERNATIONAL CONFERENCE ON RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE (RAMiCS 2014)
Call for Papers
27 April - 1 May 2014
Marienstatt im Westerwald, Germany
http://mathcs.chapman.edu/ramics2014
* SCOPE
We invite submissions in the general area of Relational and Algebraic Methods
in Computer Science. Special focus will lie on formal methods for software
engineering, logics of programs and links with neighbouring disciplines.
* HISTORY
Since 1994, the RelMiCS meetings on Relational Methods in Computer Science
have been a main forum for researchers who use the calculus of relations
and similar algebraic formalisms as methodological and conceptual tools.
The AKA workshop series on Applications of Kleene algebra started with a
Dagstuhl seminar in 2001 and was co-organised with the RelMiCS conference
until 2009. Since 2011, joint RAMiCS conferences continue to encompass
the scope of both RelMiCS and AKA.
* STUDENT PROGRAM
The conference will be accompanied by a PhD training program. Details will
be published in due time in a special call and on the conference website.
* PROCEEDINGS AND SUBMISSION
All papers will be formally reviewed. We plan to publish the
proceedings in the series Lecture Notes in Computer Science ready at
the conference. Submissions must be in English, in Postscript or PDF
format, and provide sufficient information to judge their merits.
They must be unpublished and not submitted for publication elsewhere.
Submission is via EasyChair at the following address:
https://www.easychair.org/conferences/?conf=ramics2014
* IMPORTANT DATES
Title and abstract submission: October 25, 2013
Submission of full papers: November 1, 2013
Notification: December 13, 2014
Final versions due (firm deadline): January 17, 2014
Conference April 27 - May 1, 2014
POSTDOCS IN BIOMODELLING AT TURKU
http://combio.abo.fi/
* Two postdoc openings are available at the Computational Biomodeling
Laboratory, Turku Centre for Computer Science and Abo Akademi University,
Turku, Finland. The positions are funded by Academy of Finland. The deadline
for applications is August 11. The positions can be filled in to start
September 1 or soon after. Eligible applicants have a PhD in Computer Science,
Mathematics, Computational Biology, or a closely related field, obtained not
earlier than 2008. We are looking for candidates with a strong background
in theoretical computer science and/or mathematics, with experience on
modelling biological systems, demonstrated by a good publication record.
Applicants should send an up to 3-page CV, their full list of publications,
a letter of interest, and two recommendation letters to Prof. Ion Petre
ipetre@abo.fi. The contract is for one year, with the possibility of
extending it for another year. The salary is in accordance with the pay
scale at Finnish universities, in the bracket 2820-3616 eur/month before
taxes, depending on the candidates’ skills and experience.
* POSITION 1: QUANTITATIVE MODEL REFINEMENT
Quote in the subject of your email "Application for postdoc: quantitative
model refinement".
We focus in this project on computational techniques allowing mathematical
models in biology to be presented and used at different levels of detail.
We aim to construct and investigate a computational framework for
quantitative model refinement where details may be added to (or removed from)
a model in a systematic way, while preserving its overall numerical behaviour.
* POSITION 2: NETWORK CONTROLLABILITY
Quote in the subject of your email "Application for postdoc: network
controllability".
The overall objective of the project is to better understand the fundamental
principles of controllability of complex, biological networks, and how these
control principles could be exploited to intervene in the network under
analysis to change its dynamic behavior.
ALAN TURING: HIS WORK AND IMPACT
edited by S. Barry Cooper and Jan van Leeuwen
http://store.elsevier.com/product.jsp?isbn=9780123869807
* SUMMARY
"The fact remains that everyone who taps at a keyboard, opening a
spreadsheet or a word-processing program, is working on an incarnation of
a Turing machine." -TIME Magazine
In one accessible volume, this book presents the most significant original
works from the 4-volume set of A.M Turing's collected works, along with
key commentary from over 70 great scholarly leaders in the field,
providing interested readers with unique insight into the context and
significance of Turing's impact on mathematics, computing, computer
science, informatics, morphogenesis, philosophy and the wider scientific
world.
This remarkable volume is an essential addition to any library, private or
institutional.
* See below for an engrossing article from Elsevier Connect on the book
and its genesis:
- New book spotlights Alan Turing, Nazi code-breaker and 'father of
computer science'
- Turing's work has influenced scholars in many fields; Editor Barry
Cooper talks about compiling their commentary along with Turing's writing
http://bit.ly/11qVF66
Back to the LICS web page.