Newsletter 144
March 3, 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
Preview of LICS'13
* DEADLINES
Forthcoming Deadlines
* CALLS
ETAPS 2014 - Call for Satellite Events
ETAPS 2013 - Final Call for Participation
ACCAT 2013 - Call for Participation
DICE 2013 - Call for Participation
MLQA 2013 - Call for Participation
ICLP 2013 - Call for Workshop Proposals
QEST 2013 - Last Call for Papers
SFM-13:DCS - Call for Applications (School)
TOPOLOGY AND INFORMATICS DAYS - Call for Participation
HCSS 2013 - Call for Presentations
MFPS XXIX - Preliminary Announcement
CONCUR 2013 - Call for Papers
CSL 2013 - Call for Papers
TACL 2013 - Call for Papers
ICLP 2013 - Call for Papers
CMSB 2013 - Call for Papers
FCS 2013 - Call for Papers
FroCoS 2013 - Call for Papers
GandALF 2013 - Preliminary Call for Papers
PERSYVAL CPS SUMMER SCHOOL - Call for Applications (School)
FMICS 2013 - Call for Papers
MihalisFest 2013 - Early Call for Participation
* AWARDS
Ackermann Award 2013 - Second Call for Nominations
* JOB ANNOUNCEMENTS
PhD or Postdoc in Cryptography/Information Security at Trier
PhD or Postdoc in Declarative Programming at Ulm
PhD Positions in Formal Methods and Language-based Security at Chalmers
28TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2013)
LICS conference: June 25-28, 2013
Workshops: June 28-29, 2013
New Orleans, USA
http://lics.siglog.org/lics13/
* COLOCATIONS
The twenty-eighth ACM/IEEE Symposium on Logic In Computer Science
(LICS 2013) will be held in New Orleans, USA, 25-28 June 2013. It
will be colocated with MFPS (Mathematical Foundations of Programming
Semantics) and CSF (IEEE Computer Security Foundations).
* INVITED SPEAKERS
LICS 2013 will feature invited lectures by Rajeev Alur, Joseph Halpern
(with CSF), Nancy Lynch and Prakash Panangaden. It will also include
a special session to mark the 80th birthday of Dana Scott, which will
have the following invited speakers: Andrew Pitts, Steve Awodey, Andrej
Bauer, Robert Harper, and Dana Scott.
* TUTORIAL SPEAKERS
Tutorials will be given by Hubert Comon and Jan Rutten (with MFPS).
* AFFILIATED WORKSHOPS
Foundations of Computer Security (FCS)
http://prosecco.gforge.inria.fr/personal/bblanche/fcs13/
Higher-Order Program Analysis (HOPA)
Syntax and Semantics of Low-Level Languages (LOLA)
http://research.microsoft.com/en-us/events/lola2013/
Natural Language and Computer Science (NLCS)
http://www.indiana.edu/~iulg/nlcs.html
* PROGRAMME
Not available yet.
DEADLINES
* ETAPS 2014
Satellite Event Proposals Deadline: March 4, 2013
* ETAPS 2013
Normal registration deadline: March 8, 2013
http://www.etaps.org/2013
* ACCAT 2013
Normal registration deadline: March 8, 2013
http://accat2013.zib.de/
* DICE 2013
Normal registration deadline: March 8, 2013
http://dice2013.di.unito.it/
* MLQA 2013
Normal registration deadline: March 8, 2013
http://wiki.ercim.eu/wg/MLQA/index.php/MLQA_2013
* ICLP 2013
Workshop Proposals: March 11, 2013
http://www.iclp2013.org
* QEST 2013
Abstract deadline: March 11, 2013
Paper submission: March 18, 2013
http://www.qest.org/qest2013/
* SFM-13: DS
Application deadline: March 21, 2013
http://www.sti.uniurb.it/events/sfm13ds/
* TOPOLOGY AND INFORMATICS DAYS
Event: March 21-22, 2013
http://www.liafa.univ-paris-diderot.fr/~mgehrke/TopologyandInformatics.htm
* HCSS 2013
Abstract/poster topic submission: March 22, 2013
http://cps-vo.org/group/hcss_conference
* MFPS XXIX
Abstract submission: March 25, 2013
Full submission: April 2, 2013
http://www.cs.cornell.edu/Conferences/MFPS29/
* CONCUR 2013
Abstract submission: April 1, 2013
Paper submission: April 8, 2013
http://concur-conferences.org/concur2013/
* CSL 2013
Abstract submission: April 1, 2013
Paper submission: April 8, 2013
http://csl13.di.unito.it/
* TACL 2013
Abstract submission: April 1, 2013
http://www.math.vanderbilt.edu/~tacl2013/
* ICLP 2013
Abstract submission: April 3, 2013
Paper submission: April 10, 2013
http://www.iclp2013.org
* CMSB 2013
Abstract submission: April 8, 2013
Paper submission: April 15, 2013
http://ist.ac.at/cmsb13
* ACKERMANN AWARD 2013
Deadline for nominations: April 15, 2013
http://www.eacsl.org/submissionsAck.html
* FCS 2013
Paper submission: April 10, 2013
http://prosecco.inria.fr/personal/bblanche/fcs13/
* FroCoS 2013
Abstract submission: April 15, 2013
Paper submission: April 22, 2013
http://frocos2013.loria.fr
* GandALF 2013
Abstract submission: May 1, 2013
Paper submission: May 8, 2013
http://gandalf.di.univr.it
* PERSYVAL CPS SUMMER SCHOOL
Deadline for applications: May 1, 2013
http://www-verimag.imag.fr/PERSYVAL-Lab-Summer-School-on.html?lang=en
* FMICS 2013
Paper submission: May 3, 2013
http://lvl.info.ucl.ac.be/Fmics2013
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2014)
Call for Satellite Events
April 5-13, 2014
Grenoble, France
* ABOUT ETAPS
The European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers
working on topics relating to Software Science. ETAPS is an annual event
which takes place in Europe each spring since 1998. The seventeenth
conference, ETAPS 2014, takes place between April 5th and 13th, 2014 in
Grenoble, France. Grenoble is the capital of the Alps; its history spans
over two thousand years. Grenoble is located in an exceptional natural
environment, surrounded by three mountain masses Vercors, Chartreuse,
and Belledonne.
* MAIN CONFERENCES
ETAPS main conferences take place on April 7th-11th, 2014. They are:
- CC: International Conference on Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
* SATELLITE EVENTS
The ETAPS 2014 Organizing Committee invites proposals for Satellite Events
(workshops, tutorials, etc.) that will complement the main conferences.
They should fall within the scope of ETAPS. This encompasses all aspects
of the system development process, including specification, design,
implementation, analysis and improvement, as well as the languages,
methodologies and tools which support these activities, covering a spectrum
from practically-motivated theory to soundly-based practice. Satellite
Events provide an opportunity to discuss and report on emerging research
approaches and practical experience relevant to theory and practice of
software. ETAPS 2014 Satellite Events will be held immediately before and
after the main conferences, on April 5th-6th and April 12th-13th, 2014.
* SUBMISSION OF SATELLITE EVENT PROPOSALS
Researchers and practitioners wishing to organize Satellite Events are
invited to submit proposals in ASCII, PDF or Postscript format by e-mail
to etaps2014.satellites@imag.fr. A proposal should not exceed two pages
and should include:
- Satellite Event name / acronym
- names and contact information of the organizers
- preferred period: April 5th-6th or April 12th-13th
- duration of the workshop: one-day or two-day event
- 120-word description of the workshop topic for later use in publicity material
- a brief explanation of the workshop topic and its relevance to ETAPS
- a schedule for paper submission, notification of acceptance and final versions
- expected number of participants
- any other relevant information, like event format, invited speakers,
- publication policy, demo sessions, special space requirements, etc.
The proposals will be evaluated by the ETAPS 2014 organizing committee
on the basis of their assessed benefit for prospective participants to
ETAPS 2014. The titles and brief information about accepted Satellite Events
will be included in the ETAPS 2014 web site, call for papers and call for
participation. Satellite Events organizers will be responsible for:
- producing the event's call for papers and call for participations
- advertising the event through specialist mailing lists etc. to complement
publicity for ETAPS as a whole hosting and maintaining a web site for
the event
- reviewing and making acceptance decisions on submitted papers producing
the event proceedings, if any; facilities for printing will be made
available by the ETAPS organizers
- scheduling workshop activities in consultation with the local organizers.
Prospective organizers may wish to consult the web pages of previous
satellite events as examples:
ETAPS 2013: http://www.etaps.org/2013/workshops13
ETAPS 2012: http://www.etaps.org/2012/workshops
ETAPS 2011: http://www.etaps.org/2011/workshops
ETAPS 2010: http://www.etaps10.cs.ucy.ac.cy/
ETAPS 2009: http://www.cs.york.ac.uk/etaps09/
ETAPS 2008: http://etaps08.mit.bme.hu/
ETAPS 2007: http://www.di.uminho.pt/etaps07/
ETAPS 2006: http://www.complang.tuwien.ac.at/etaps06/
ETAPS 2005: http://www.etaps05.inf.ed.ac.uk/
ETAPS 2004: http://www.lsi.upc.es/etaps04/
ETAPS 2003: http://www.mimuw.edu.pl/etaps03/
* IMPORTANT DATES
Satellite Event Proposals Deadline: March 4th, 2013
Notification of acceptance: April 4th, 2013
* FURTHER INFORMATION AND ENQUIRIES --
Please contact Axel Legay:
axel.legay@inria.fr
etaps14.satellites@imag.fr
EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2013)
Call for Participation
Rome, Italy
March 16-24, 2013
http://www.etaps.org/2013
* ABOUT ETAPS
The European Joint Conferences on Theory And Practice of Software
(ETAPS) is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of six main annual conferences,
accompanied by satellite workshops and invited tutorials (new in 2013).
ETAPS 2013 is already the sixteenth event in the series.
* MAIN CONFERENCES
- CC: Compiler Construction
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FOSSACS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of
Systems
* INVITED SPEAKERS
- Gilles Barthe (Fundación IMDEA Software, Madrid, Spain)
- Emily Berger (Univ. of Mussachusetts, Amherst, USA)
- Krzysztof Czarnecki (Univ. of Waterloo, Canada)
- Cedric Fournet (Microsoft Research, Cambridge, UK)
- Orna Grumberg (Technion, Haifa, Israel)
- Martin Hofmann (Univ. of Munich, Germany)
- Jean-Pierre Hubaux (EPFL, Losanna, Switzerland)
- Mark S. Miller (Google Research, USA)
* INVITED TUTORIAL SPEAKERS
- John C. Mitchell (Stanford Univ., USA)
- Martin Fraenzle (Univ. of Oldenburg, Germany)
- Ralf Kuesters (Univ. of Trier, Germany)
The tutorials take place on Sunday March 17 before ETAPS 2013.
* SATELLITE EVENTS
22 satellite workshops will take place before or after ETAPS 2013.
ACCAT, AiSoS, BX, DICE, Found. Syst. Spec., HAS, HotSpot, MBT, MEALS,
SR, OCCP, and VSSE will take place in the weekend on 16-17 March 2013.
Bytecode, CerCo, FESCA, GT-VMT, GRAPHITE, IC1201, MLQA, PLACSE, QAPL,
and TERMGRAPH are scheduled for 31 March-1 April 2012.
* REGISTRATION
http://www.etaps.org/2013/registration-menu-2013
* ORGANIZERS
The event is organized in Sapienza Università di Roma. Sapienza has a
very long and prestigious history, it is the largest university in
Europe and the second-largest in the world, with more than 150,000
students.
- General chair: Daniele Gorla
- Conferences Chair: Francesco Parisi Presicce
- Workshops Chairs: Paolo Bottoni and Pietro Cenciarelli
- Publicity Chair: Ivano Salvo
- Finance Chairs: Enrico Tronci and Federico Mari
- Web Site Chair: Igor Melatti
8TH INTERNATIONAL WORKSHOP ON APPLIED AND COMPUTATIONAL CATEGORY THEORY (ACCAT 2013)
Call for Participation
Rome, Italy
March 17, 2013
Satellite Event of ETAPS 2013
* SCOPE
Since the 1960s, the use of category theory in computer science has been
a fruitful one, including applications to different areas such as automata
theory, algebraic specification, and programming languages, among others.
In recent years, techniques and methods from CT have been adopted as a
standard research tool, and considered as such in different venues around
the world. The ACCAT workshop on "Applied and Computational Category Theory"
has been one of these venues. Since its inception in 2006, ACCAT provided
a forum where invited contributors presented their own research on different
facets of category theory applied to computer science. Following the
tradition, the program of this year edition will include eight invited
talks by top researchers in the area.
* INVITED SPEAKERS
Samson Abramsky
Robin B. Cockett
Barbara Koenig
Ugo Montanari
Till Mossakowski
Dusko Pavlovic
Andrzej Tarlecki
Glynn Winskel
* FUTURE
Despite ACCAT success, we believe that the current formula of the workshop
should be deeply revised. Indeed, we believe that a fully fledged conference
is missing where all kinds of applications of category theory to computer
science can be presented (like the former CTCS conference, which somehow
ended in 2006). Therefore, after the presentations, the workshop will end up
with a general discussion among the invited speakers and the attendees.
We hope that the outcome of the discussion could be a decision whether to
push for such high-level workshop/conference on the application of category
theory to computer science, or at least to verify the viability of a further
meeting focusing on this issue.
* FURTHER INFORMATION
Please contact Fabio Gadducci (gadducci@di.unipi.it) or Ulrike
Golas (golas@zib.de).
FOURTH WORKSHOP ON DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY (DICE 2013)
Call for Participation
Roma, March 16-17, 2013 (satellite event of ETAPS 2013)
http://dice2013.di.unito.it/
* INVITED SPEAKERS
- Jean-Yves Marion (Loria - INPL Nancy)
- Marko van Eekelen (Open University - Radboud University Nijmegen)
- Paul-André Melliès (PPS, Paris)
* SCOPE
The area of Implicit Computational Complexity (ICC) has grown out from
several proposals to use logic and formal methods to provide languages
for complexity-bounded computation (e.g. Ptime, Logspace computation).
It aims at studying computational complexity without referring to
external measuring conditions or a particular machine model, but only
by considering language restrictions or logical/computational principles
implying complexity properties. This workshop focuses on ICC methods
related to programs (rather than descriptive methods).
In this approach one relates complexity classes to restrictions on
programming paradigms (functional programs, lambda calculi, rewriting
systems), such as ramified recurrence, weak polymorphic types, linear
logic and linear types, and interpretative measures. The two main
objectives of this area are:
- to find natural implicit characterizations of various complexity classes of
functions, thereby illuminating their nature and importance;
- to design methods suitable for static verification of program complexity.
Therefore ICC is related on the one hand to the study of complexity classes,
and on the other hand to static program analysis. The workshop will be open
to contributions on various aspects of ICC including (but not exclusively):
- types for controlling complexity,
- logical systems for implicit computational complexity,
- linear logic,
- semantics of complexity-bounded computation,
- rewriting and termination orderings,
- interpretation-based methods for implicit complexity,
- programming languages for complexity-bounded computation,
- application of implicit complexity to other programming paradigms
(e.g. imperative or object-oriented languages).
* POST-PROCEEDINGS
An open call for post-proceedings, as special issue of
INFORMATION & COMPUTATION will follow.
MEETING OF ERCIM GROUP ON MODELS AND LOGICS FOR QUANTITATIVE ANALYSIS (MLQA 2013)
Call for Participation
March 24th, 2013
Rome, Italy - Colocated with QAPL at ETAPS 2013.
* SCOPE
The fifth annual meeting of the MLQA working group will take place on
Sunday 24 March 2013 as part of the European Joint Conferences on Theory
And Practice of Software (ETAPS) in Rome, Italy.
This year's edition will be held in cooperation with the Quantitative
Aspects of Programming Languages and Systems (QAPL) workshop.
* INVITED SPEAKERS
Invited speakers will be shared between the two events:
- Martin Fraenzle, University of Oldenburg
A tight integration of symbolic, numeric, and statistical methods for
the analysis of cyber-physical systems
- Paolo Zuliani, Newcastle University
Statistical Model Checking for Cyber-Physical Systems
- Flemming Nielson, Technical University of Denmark
Guarding against Denial of Service Attacks
For abstracts of these talks please consult
http://wiki.ercim.eu/wg/MLQA/index.php/MLQA_2013
For more about the ERCIM working group MLQA please consult
http://wiki.ercim.eu/wg/MLQA
We invite all interested researchers and PhD students to participate at MLQA 2013.
* REGISTRATION
For registration please follow the instructions on the ETAPS website
http://www.etaps.org
29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
Call for Workshop Proposals
Istanbul, Turkey
August 24-29, 2013
http://www.iclp2013.org
* SCOPE
ICLP 2013, the 29th International Conference on Logic Programming,
will be held in Istanbul, Turkey, August 24-29, 2013.
Workshops collocated with an international conference are one of the
best venues for the presentation and discussion of preliminary work,
novel ideas, and new open problems to a wide and interested audience.
Collocated workshops also provide an opportunity for presenting
specialised topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops collocated with
ICLP 2013 may cover any area related to logic programming (e.g.,
theory, systems, environments, software-engineering aspects,
extensions, alternative paradigms, applications), including cross-
disciplinary areas. However, any workshop proposal will be taken
under consideration.
The format of the workshop will be decided by the workshop organisers,
but ample time should be allowed for general discussions. Workshops
can vary in length, but the optimal format are half-day workshops and
full-day workshops.
* PROPOSALS
People interested in organising a workshop at ICLP 2013 are invited
to submit a workshop proposal. Proposals should be written in English
and about two pages in length. They should contain:
- the title of the workshop;
- a brief technical description of the topics covered by the
workshop;
- a discussion of the timeline and relevance of the workshop;
- a list of some related workshops held in recent years;
- the (preliminary) required number of half-days allotted to the
workshop and an estimate of the number of expected attendees;
- the names, affiliations, and contact details (email, web page,
phone, fax) of the workshop organiser(s) together with a
designated contact person; and
- the previous experience of the workshop organising committee in
workshop or conference organisation.
Proposals should be in PDF format and submitted to the Workshop Chair
(Hans Tompits) by email by March 11, 2013.
* IMPORTANT DATES
March 11, 2013: Proposal submission deadline
April 4, 2013: Notification
April 29, 2013: Deadline for receipt of CFP and workshop Web page URL
July 19, 2013: Deadline for proceedings and workshop program
August 24 and 25, 2013: ICLP 2013 workshops
* WORKSHOP CHAIR
Hans Tompits
Knowledge-Based Systems Group E184/3
Institute of Information Systems
Vienna University of Technology
Email: tompits [at] kr [dot] tuwien [dot] ac [dot] at
10TH INTERNATIONAL CONFERENCE ON QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2013)
Last Call for Papers
August 26-30, 2013
Buenos Aires, Argentina
http://www.qest.org/qest2013/
* IMPORTANT DATES:
Abstract submission 11 March 2013 (new)
Paper submission 18 March 2013 (new)
Author notification 12 May 2013
Final version 2 June 2013
* INVITED SPEAKERS:
Lorenzo Alvisi, University of Texas Austin, USA
Dimitra Giannakopoulou, NASA Ames Research Center, USA
Edmundo de Souza e Silva, Federal University of Rio de Janeiro, Brazil
* SCOPE AND TOPICS:
QEST is the leading forum on evaluation and verification of computer
systems and networks, through stochastic models and measurements. QEST
has a broad range of interests - the common thread is that the
evaluation be quantitative. The range of performance metrics of
interest spans classical measures involving performance and
reliability, as well as quantification of properties that are
classically qualitative, such as safety, correctness, and
security. QEST welcomes measurement-based studies as well as analytic
studies. QEST welcomes diversity in the model formalisms and
methodologies employed, as well as development of new formalisms and
methodologies. QEST is keenly interested in case studies highlighting
the role of quantitative evaluation in the design of systems, where
the notion of system is broad. Systems of interest include computer
hardware and software architectures, communication systems, embedded
systems and biological systems. Moreover, tools for supporting the
practical application of research results in all of the above areas
are of special interest, and therefore tool papers are sought. In
short, QEST aims to create a sound methodological basis for assessing
and designing systems using quantitative means.
* TUTORIALS
There will be one day of tutorials at the start of the
conference. Tutorial proposals (up to 4 pages Springer LNCS format)
should be sent to the Tutorial Chair (Lijun Zhang, zhang@imm.dtu.dk)
by 11 March 2013.
* GENERAL CHAIR:
Pedro R. D'Argenio (AR)
* PC-CHAIRS:
Kaustubh Joshi (US)
Markus Siegle (DE)
Marielle Stoelinga (NL)
* LOCAL ORGANIZATION CHAIR:
Hernán Melgratti (AR)
* TOOLS CHAIR:
Kai Lampka (SE)
* TUTORIAL CHAIR:
Lijun Zhang (DK)
* PROCEEDINGS CHAIR:
Nicolás Wolovick (AR)
* PUBLICITY CHAIR:
Damián Barsotti (AR)
13TH INTERNATIONAL SCHOOL ON FORMAL METHODS FOR THE DESIGN OF COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: DYNAMICAL SYSTEMS
Call for Participation
17-22 June 2013
Bertinoro (Italy)
http://www.sti.uniurb.it/events/sfm13ds/
* GENERAL INFORMATION ABOUT SFM
Formal methods are emerging in computer science as a prominent
approach to the rigorous design of computer, communication and
software systems.
The aim of the SFM series is to offer a good spectrum of
current research in foundations as well as applications of
formal methods, which can be of interest for graduate students
and young researchers who intend to approach the field.
This year SFM is an offspring of the workshops QAPL and MLQA
and is devoted to dynamical systems. It covers topics such as
chaotic dynamics, information theory, systems biology, hybrid systems,
quantum computing, and automata-based models and model checking.
* LECTURERS
Herbert Wiklicky (Imperial College London, UK)
Abbas Edalat (Imperial College London, UK)
Boris Koepf (IMDEA Software, ES)
Renato Renner (ETH Zurich, CH)
Joost-Pieter Katoen (RWTH Aachen, DE)
Jeremy Bradley (Imperial College London, UK)
Oded Maler (VERIMAG, FR)
Ion Petre (Abo Akademi, FI)
Lubos Brim (Masaryk Univ., CZ)
Luca Bortolussi (Univ. Trieste, IT)
Andreas Podelski (Univ. Freiburg, DE)
Jiannis Pachos (Univ. Leeds, UK)
All participants will receive a copy of a tutorial book published by
Springer as a volume in the Lecture Notes in Computer Science series.
* LOCATION
SFM-13:DS will be held in the medieval hilltop town of Bertinoro.
This town is in Emilia Romagna, about 70 km south-east of Bologna,
at an elevation of about 230 m. It can be reached in a couple of
hours from the international airport "G. Marconi" of Bologna by
shuttle (from the airport to the railway station) + train (from
Bologna to Forli`) + bus/taxi (from the railway station to Bertinoro).
The closest airport is the "L. Ridolfi" airport of Forli`, which is
13 km away.
* ORGANIZATION
Scientific directors:
- Marco Bernardo (University of Urbino, IT)
- Erik de Vink (Eindhoven University of Technology, NL)
- Alessandra Di Pierro (University of Verona, IT)
- Herbert Wiklicky (Imperial College London, UK)
* SECRETARY
Monica Michelacci (CRU Bertinoro, IT)
* APPLICATION
Prospective participants should send by 21 March 2013
the application form, available on the school website,
to the two e-mail addresses below:
Marco Bernardo
marco.bernardo AT uniurb.it
Monica Michelacci
mmichelacci AT ceub.it
* FEES
The registration fee is 600 euros and includes the school material.
The accommodation fee is 350 euros and covers the period June 16-23
(7 nights), double room (to share with another participant),
half board (breakfast and lunch, dinner of June 16 included,
lunch of June 23 excluded).
The reduced accommodation fee for the participants who do not
need a room is 100 euros and covers the period June 17-22
(6 lunches).
A very limited number of grants is available to cover part
of the registration fee (no grant can be requested to cover
the accommodation fee or the travel expenses).
Notification of accepted/rejected applications and grant requests
will be communicated by March 31.
* Registration to the school is due by April 20.
No refund is possible for cancellation after May 15.
TOPOLOGY AND INFORMATICS DAYS
Call for Participation
21-22 March 2013, 9:00-17:30.
Turing Lecture Hall, Sophie Germain building,
Paris Left Bank site of Universite Paris Diderot - Paris 7
http://www.liafa.univ-paris-diderot.fr/~mgehrke/TopologyandInformatics.htm
* GOAL
The goal is to present a few current research topics in theoretical
computer science that involve topology in an essential way. There
will be 6 one and a half hour talks as well as time for discussion.
* SPEAKERS
Thomas Ehrhard, PPS, Paris 7 et CNRS
Jean Goubault-Larrecq, ENS Cachan
Serge Grigorieff, LIAFA, Paris 7 et CNRS
Achim Jung, University of Birmingham, UK
Jean-Eric Pin, LIAFA, Paris 7 et CNRS
Christine Tasson, PPS, Paris 7 et CNRS
* MORE INFORMATION
http://www.liafa.univ-paris-diderot.fr/~mgehrke/TopologyandInformatics.htm
13TH ANNUAL HIGH CONFIDENCE SOFTWARE AND SYSTEMS CONFERENCE (HCSS 2013)
Call for Presentations
Annapolis, MD, USA
May 7-10, 2013
http://cps-vo.org/group/hcss_conference
* INTRODUCTION
The thirteenth annual HCSS Conference will be held May 7-10, 2013 at
the Historic Inns of Annapolis in Annapolis, Maryland. You are invited to
submit a proposal to present a talk at this year's conference. As an added
feature at the 2013 HCSS Conference, you are also invited to participate
in a poster session. See details below for more information.
* CONFERENCE SCOPE, GOALS, AND VISION
The High Confidence Software and Systems (HCSS) Conference, now in its
second decade, draws together researchers, practitioners, and management
leaders from government, universities, and industry. The conference
provides a forum for dialogue centered upon the development of scientific
foundations for the assured engineering of software-intensive complex
computing systems and the transition of science into practice.
The technical emphasis of the HCSS conference is on mathematically-based
tools and techniques, scientific foundations supporting evidence creation,
systems assurance, and security. The HCSS vision is one of engaging and
growing a community-including researchers and skilled practitioners-that
is focused around the creation of dependable systems that are capable,
efficient, and responsive; that can work in dangerous or inaccessible
environments; that can support large-scale, distributed coordination;
that augment human capabilities; that can advance the mission of national
security; and that enhance quality of life, safety, and security.
* TECHNICAL TRACK PRESENTATIONS
The technical track features two kinds of talks:
- Experience reports. These talks inform participants about how emerging
HCSS and CPS techniques play out in real-world applications, focusing
especially on lessons learned and insights gained. While experience
reports do not have to be highly technical, they should emphasize
substantive reflection on all aspects of experience, building on data
and direct experience.
- Technical talks. These talks focus on informing the audience regarding
specific techniques or methods, ideally from the point of view of
someone with experience in practice.
* POSTER PRESENTATIONS
Posters should provide an overview of the HCSS Conference theme or research
topic and/or results, with effective use of appropriate graphics. Only
a limited number of posters will be accepted due to space availability.
* ADDITIONAL INFORMATION
Further instructions for electronically submitting final slide presentations
of accepted talks and poster designs will be provided in the notification
message that will be sent on Friday, March 29, 2013. Abstracts of accepted
talks and posters will be published in the 2013 HCSS Conference proceedings.
* IMPORTANT DATES
Tuesday, March 22, 2013 — Abstracts of proposed talks and poster topics
Friday, March 29, 2013 — Notifications of acceptance/rejection
Friday, April 27, 2013 — Final slide presentations and poster designs
May 7-10, 2013 — HCSS Conference in Annapolis, Maryland
29TH CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS (MFPS XXIX)
Preliminary Announcement
June 23-25, 2013
Tulane University, New Orleans, LA USA
(co-located with LICS 2013 and CFS 2013)
http://www.cs.cornell.edu/Conferences/MFPS29/
* GENERAL
The 29th Conference on the Mathematical Foundations of Programming
Semantics will take place on the campus of Tulane University, New
Orleans, LA USA from June 23 to June 25, 2013. The conference will
be co-located with the 2013 Logic in Computer Science Symposium
and the 2013 Computer Security Foundations Symposium. MFPS will
have a number of invited speakers and special sessions, one of
which will be a shared session with LICS celebrating Dana Scott's
80th birthday year. This is a preliminary announcement - details
about the conference, including the program committee membership,
the invited speakers and the special sessions will be available
within the next few weeks. The purpose of this announcement is to
alert members of the community about the relevant personnel
overseeing the conference and to provide the important dates for
the meeting.
* COMMITTEES
The Program Committee Chair for MFPS XXIX is Dexter Kozen
(Cornell). The local arrangements chair is Michael Mislove
(Tulane). The Organizing Committee for MFPS includes Andrej Bauer
(Slovenia), Stephen Brookes (CMU), Achim Jung (Birmingham),
Catherine Meadows (NRL), Michael Mislove (Tulane), Joel Ouaknine
(Oxford) and Prakash Panangaden (McGill).
* IMPORTANT DATES
Deadline for titles and short abstracts: Monday, March 25, 2013
Deadline for full submissions: Tuesday, April 2, 2013
Notification of accepted papers: Monday, April 28, 2013
24TH CONFERENCE ON CONCURRENCY THEORY (CONCUR 2013)
Call for Papers
Buenos Aires, Argentina
August 26-31, 2013
http://concur-conferences.org/concur2013/
* GOAL
The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance
the theory of concurrency, and promote its applications.
* INVITED SPEAKERS
- Lorenzo Alvisi (University of Texas Austin, USA)
- Joost-Pieter Katoen (RWTH Aachen University, Germany)
- Philippe Schnoebelen (LSV, CNRS & ENS de Cachan, France)
- Reinhard Wilhelm (Saarland University, Germany)
* TOPICS
Submissions are solicited in semantics, logics, verification
and analysis of concurrent systems. The principal topics include
(but are not limited to):
- Basic models of concurrency such as abstract machines, domain
theoretic models, game theoretic models, process algebras,
graph transformation systems and Petri nets;
- Logics for concurrency such as modal logics, probabilistic and
stochastic logics, temporal logics, and resource logics;
- Models of specialized systems such as biology-inspired systems,
circuits, hybrid systems, mobile and collaborative systems,
multi-core processors, probabilistic systems, real-time systems,
service-oriented computing, and synchronous systems;
- Verification and analysis techniques for concurrent systems
such as abstract interpretation, atomicity checking, model
checking, race detection, pre-order and equivalence checking,
run-time verification, state-space exploration, static analysis,
synthesis, testing, theorem proving, and type systems;
- Related programming models such as distributed, component-based,
object-oriented, and web services.
* CO-LOCATED EVENTS
10th Intl. Conf. on Quantitative Evaluation of SysTems (QEST 2013)
11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems
(FORMATS 2013)
8th Intl. Symposium on Trustworthy Global Computing (TGC 2013)
There will be co-located workshops, which take place on August 26
and August 31, and tutorials (associated with QEST) which take
place on August 26.
* SUBMISSIONS
CONCUR 2013 solicits high quality papers reporting research
results and/or experience reports related to the topics mentioned
above. All papers must be original, unpublished, and not submitted
for publication elsewhere. Contributions should be submitted
electronically as PDF, using the Springer LNCS style. Papers
should not exceed 15 pages in length.
Each paper will undergo a thorough review process. If necessary,
the paper may be supplemented with a clearly marked appendix,
which will be reviewed at the discretion of the program committee.
Papers should be submitted electronically using EasyChair online
submission system:
https://www.easychair.org/conferences/?conf=concur2013
The CONCUR 2013 proceedings will be published by Springer in the
ArCoSS subseries of LNCS. The proceedings will be available at
the conference.
* IMPORTANT DATES
Abstract Submission: 1st April 2013
Paper Submission: 8th April 2013
Paper Notification: 27th May, 2013
Camera Ready Copy Due: 10t June, 2013
CONCUR 2012: 27th-30th August, 2013
* AFFILIATED WORKSHOPS
Proposal for workshops are expected to be sent to the Workshops
Chairs, Eduardo Bonelli (ebonelli@unq.edu.ar) and Diego
Garbervetsky (diegog@dc.uba.ar), by January 14, 2013.
* PROGRAM CHAIRS
- Pedro R. D'Argenio (Universidad Nacional de Córdoba, Argentina)
- Hernán Melgratti (Universidad de Buenos Aires, Argentina)
* PROGRAM COMMITTEE
Christel Baier (Technical University of Dresden, DE)
Paolo Baldan (Universitá di Padova, IT)
Eike Best (Universität Oldenburg, DE)
Patricia Bouyer (LSV, CNRS & ENS Cachan, FR)
Tomas Brazdil (Masaryk University, CZ)
Franck van Breugel (York University, CA)
Krishnendu Chatterjee (IST, AT)
Rance Cleaveland (University of Maryland, US)
Wan Fokkink (Vrije Universiteit Amsterdam, NL)
Daniele Gorla (University of Rome "La Sapienza", IT)
Holger Hermanns (Saarland University, DE)
Radha Jagadeesan (DePaul University, US)
Bengt Jonsson (Uppsala University, SE)
Kim G. Larsen (Aalborg University, DK)
Ugo Montanari (Universitá di Pisa, IT)
Prakash Panangaden (McGill University, CA)
David Parker (University of Birmingham, UK)
Frank Pfenning (Carnegie Mellon University, US)
Nir Piterman (University of Leicester, UK)
Shaz Qadeer (Microsoft Research, US)
Jean-Francois Raskin (Universit Libre de Bruxelles, BE)
Jan Rutten (CWI, NL)
Davide Sangiorgi (University of Bologna, IT)
Geoffrey Smith (Florida International University, US)
P.S. Thiagarajan (National University of Singapore, SG)
Frits Vaandrager (Radboud University Nijmegen, NL)
Frank Valencia (CNRS, Ecole Polytechnique de Paris, FR)
Rob Van Glabbeek (NICTA, AU)
Nobuko Yoshida (Imperial College London, UK)
Lijun Zhang (Technical University of Denmark, DK)
22ND EACSL ANNUAL CONFERENCES ON COMPUTER SCIENCE LOGIC (CSL 2013)
Call for Papers
Torino, Italy
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 Conferences on Computer Science Logic
will be held at Museo di Scienze Naturali in Torino from
Monday 2nd through Thursday 5th of September 2013.
* LIST OF TOPICS OF INTEREST (NON EXHAUSTIVE)
automated deduction and interactive theorem proving, constructive
mathematics and type theory, equational logic and term rewriting,
automata and games, game semantics, modal and temporal logic,
model checking, decision procedures, logical aspects of
computational complexity, computational proof theory, bounded
arithmetic and propositional proof complexity, logic programming
and constraints, lambda calculus and combinatory logic, domain
theory, categorical logic and topological semantics, database
theory, specification, extraction and transformation of programs,
logical aspects of quantum computing, logical foundations of
programming paradigms, verification and program analysis, linear
logic, higher-order logic, non-monotonic reasoning.
* IMPORTANT DATES
Abstract submission: April, 1st 2013
Paper Submission: April, 8th 2013
Paper Notification: June, 10th 2013
Paper final version: July, 1st 2013
Conference: September, 2nd --- 5th 2013
* SUBMISSION
Authors are invited to submit papers of not more than 15 pages in
LIPIcs style presenting work not previously published. Papers are
to be submitted through Easychair.
* SATELLITE EVENTS
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.
Further details will appear on this page as soon as possible.
* PROGRAM COMMITTEE
Zena Ariola (University of Oregon)
Arnon Avron (Tel-Aviv University)
Roberto Bagnara (University of Parma, and BUGSENG srl)
Christel Baier (Technical University of Dresden)
Marc Bezem (University of Bergen)
Paola Bruscoli (University of Bath, Computer Science Department)
Agata Ciabattoni (TU Wien)
Thierry Coquand (Chalmers University)
Ugo Dal Lago (Universita di Bologna)
Valeria De Paiva (Nuance Communications)
Reinhard Kahle (CENTRIA and DM, UNL, Portugal)
Stephan Kreutzer (Technical University Berlin)
Olivier Laurent (CNRS - ENS Lyon)
Carsten Lutz (Universitaet Bremen)
Jean-Yves Marion (Universite de Lorraine, LORIA)
Damian Niwinski (Warsaw University)
Frank Pfenning (Carnegie Mellon University)
Elaine Pimentel (UFMG)
Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS))
Simona Ronchi Della Rocca CHAIR (Universita di Torino)
Jan Rutten (CWI)
Helmut Schwichtenberg (LMU Munich)
Phil Scott (Dept. of Math & Stats, U. Ottawa)
Peter Selinger (Dalhousie University)
Makoto Tatsuta (National Institute of Informatics)
Tachio Terauchi (Nagoya University)
* ORGANIZING COMMITTEE
Erika De Benedetti (Dipartimento di Informatica, Torino)
Paola Giannini (Dipartimento di Scienze e Innovazione Tecnologica (DISIT), Alessandria)
Mauro Piccolo (Dipartimento di Informatica, Torino)
Luca Padovani (Dipartimento di Informatica, Torino)
Luca Paolini (Dipartimento di Informatica, Torino)
Simona Ronchi Della Rocca (Dipartimento di Informatica, Torino)
Luca Roversi (Dipartimento di Informatica, Torino)
Angelo Troina (Dipartimento di Informatica, Torino)
SIXTH CONFERENCE ON TOPOLOGY, ALGEBRA AND CATEGOREIS IN LOGIC (TACL 2013)
Call for Presentations
July 28 - August 1, 2013
Nashville, Tennessee USA
http://www.math.vanderbilt.edu/~tacl2013/
* SCOPE
Studying logics via semantics is a well-established and very
active branch of mathematical logic, with many applications,
in computer science and elsewhere. The area is characterized
by results, tools and techniques stemming from various fields,
including universal algebra, topology, category theory, order,
and model theory. The program of the conference TACL 2013 will
focus on three interconnecting mathematical themes central to
the semantical study of logics and their applications: algebraic,
categorical, and topological methods. This is the sixth
conference in the series Topology, Algebra and Categories in
Logic (TACL, formerly TANCL). Earlier installments of this
conference have been organized in Tbilisi (2003), Barcelona
(2005), Oxford (2007), Amsterdam (2009), Marseilles (2011).
* CONFIRMED INVITED SPEAKERS
Vladimir Voevodsky, Institute for Advanced Studies, USA
Nick Bezhanishvili, Utrecht University, The Netherlands
Leo Cabrer, University of Oxford, UK
Silvio Ghilardi, University of Milan, Italy
George Metcalfe, University of Bern, Switzerland
Alex Simpson, University of Edinburgh, UK
* FEATURED TOPICS
Contributed talks can deal with any topic dealing with the use
of algebraic, categorical or topological methods in either
logic or computer science. This includes, but is not limited to,
the following areas:
- Algebraic structures in CS
- Algebraic logic
- Coalgebra
- Categorical methods in logic
- Domain theory
- Lattice theory
- Lattices with operators
- Many-valued and fuzzy logics
- Modal logics
- Non-classical logics
- Ordered topological spaces
- Ordered algebraic structures
- Pointfree topology
- Proofs and Types
- Residuated structures
- Semantics
- Stone-type dualities
- Substructural logics
- Topological semantics of modal logic
* SUBMISSIONS
Contributed presentations will be of two types:
- 20 minutes long presentations in parallel sessions and
- featured, 30 minutes long, plenary presentations.
The submission of an abstract will be required to be selected
for a contributed presentation of either kind. While preference
will be given to new work, results that have already been
published or presented elsewhere will also be considered.
More information on the submission procedure, as well as a link
to the EasyChair system, can be found at the conference web site.
* IMPORTANT DATES
April 1, 2013: Abstract submission deadline
May 1, 2013: Notification to authors
July 28-August 1, 2013: Conference
* PROGRAM COMMITTEE
Steve Awodey, Carnegie Mellon University
Guram Bezhanishvili, New Mexico State University
David Gabelaia, Razmadze Mathematical Institute, Tbilisi
Nick Galatos (co-chair), University of Denver
Mai Gehrke, LIAFA, University of Paris Diderot
Rob Goldblatt, Victoria University, Wellington
John Harding, New Mexico State University
Ramon Jansana, University of Barcelona
Peter Jipsen, Chapman University
Achim Jung, University of Birmingham
Alexander Kurz (co-chair), University of Leicester
Vincenzo Marra, University of Milan
Hiroakira Ono, Japan Advanced Institute of Science and Technology
Alessandra Palmigiano, University of Amsterdam
Hilary Priestley, St Anne's College, Oxford
James Raftery, University of KwaZulu-Natal, Durban
Thomas Streicher, Technical University of Darmstadt
Kazushige Terui, Kyoto University
Constantine Tsinakis, Vanderbilt University
Yde Venema, University of Amsterdam
Michael Zakharyaschev, Birkbeck College, University of London
* ORGANIZING COMMITTEE
Chris Conidis, Vanderbilt University
Lianzhen Liu, Jiangnan University, China
Warren McGovern, Florida Atlantic University
Francesco Paoli, University of Cagliari
Rebecca Steiner, Vanderbilt University
Constantine Tsinakis (chair), Vanderbilt University
William Young, Vanderbilt University
29TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP 2013)
Call for Papers
Istanbul, Turkey
August 24-28, 2013
http://www.iclp2013.org
* CONFERENCE SCOPE
Since the first conference held in Marseilles in 1982, ICLP
has been the premier international conference for presenting
research in logic programming. Contributions are sought in all
areas of logic programming including but not restricted to:
- Theory: Semantic Foundations, Formalisms, Non-monotonic
Reasoning, Knowledge Representation.
- Implementation: Compilation, Virtual Machines, Parallelism.
- Environments: Program Analysis, Transformation, Validation,
Verification, Debugging, Pro- filing, Testing.
- Language Issues: Concurrency, Objects, Coordination, Mobility,
Higher Order, Types, Modes, Assertions, Programming Techniques.
- Related Paradigms: Inductive Logic Programming, Constraint Logic
Programming, Answer-Set Programming, SAT-Checking
- Applications: Databases, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and
Semantic Web, Agents, Artificial Intelligence, Bioinformatics.
In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the
doctoral consortium, and several workshops.
* SUBMISSION DETAILS
The four broad categories for submissions are as follows. Regular
papers, including: (1) tech- nical papers for describing
technically sound, innovative ideas that can advance the state of
logic programming; (2) application papers, where the emphasis will
be on their impact on the application domain; (3) system and tool
papers, where the emphasis will be on the novelty, practicality,
usability and availability of the systems and tools described.
Technical communications (4) aimed at describing recent
developments, new projects, and other materials that are not ready
for publication as standard papers. All papers and technical
communications will be presented during the conference.
All submissions must describe original, previously unpublished
research, and must not simultaneously be submitted for publication
elsewhere. They must be written in English. Technical papers,
application papers, and system and tool papers must not exceed 12
pages plus bibliography: however a new condensed TPLP format may
be used and the papers may include appendices beyond 12 pages.
The limit for technical communications is 10 pages. Submissions
must be made in the condensed TPLP format (http://www.iclp2013.org)
via the Easychair submission system, available at
http://www.easychair.org/conferences/?conf=iclp2013
* IMPORTANT DATES
Paper registration (abstract): April 3, 2013
Submission deadline: April 10, 2013
Notification to authors: May 21, 2013
Revision deadline (when needed): June 21, 2013
Camera-ready copy due: July 18, 2013
Conference: August 24-28, 2013
* PAPER PUBLICATION
All accepted papers will be published in the journal Theory and
Practice of Logic Programming (TPLP), Cambridge University Press
(CUP), in one or more special issues. In order to ensure the
quality of the final version, papers may be subject to more than
one round of refereeing (within the decision period). Accepted
technical communications will be published in the online abstract
of the special issue(s). The program committee may also recommend
standard papers to be published as technical communications.
* ICLP 2013 ORGANIZATION
- General Co-Chairs:
Esra Erdem Sabanci University
Joohyung Lee Arizona State University
- Program Co-chairs:
Terrance Swift New University of Lisboa
Evelina Lamma University of Ferrara
- Workshops Chair:
Hans Tompits Vienna University of Technology
- Publicity Chair:
Peter Schueller Sabanci University
- Doctoral Consortium:
Marco Gavanelli University of Ferrara
Martin Gebser University of Potsdam
- Prolog Programming Contest:
Bart Demoen K.U. Leuven
11TH ANNUAL CONFERENCE ON COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2013)
Call for Papers
IST Austria, Klosterneuburg, Austria
23-25 September, 2013
http://ist.ac.at/cmsb13
* IMPORTANT DATES
Abstract deadline 8 April, 2013
Paper submission deadline 15 April, 2013
Author notification 27 May, 2013
Poster submission deadline 27 May, 2013
Poster notification 10 June, 2013
Camera-ready deadline 24 June, 2013
* SCOPE
CMSB 2013 solicits original research articles on the computational
modeling and analysis of biological systems, pathways, networks,
data, and corresponding application domains. The conference brings
together computer scientists, biologists, mathematicians,
engineers, and physicists interested in a system-level
understanding of biological processes. It covers theory,
computation, as well as applications.
* TOPICS
- original paradigms, formalisms, and languages for modeling
biological processes
- original models together with their application domains
- frameworks, techniques, and tools for verifying, validating,
analyzing, and simulating biological systems
- high-performance computational systems biology and parallel
implementations
- inference from high-throughput experimental data
- model integration from biological databases
- multi-scale modeling and analysis methods
- synthetic biology.
* POSTER TRACK
CMSB 2013 also solicits poster submissions. The abstract of each
poster will get 2 pages in the proceedings. Some selected posters
will also be given slots of short talks at the conference. We
especially encourage poster submission from experimental
biologists! In order to facilitate biologists to attend the
conference and present their work, a limited number of travel
stipends for students and postdocs presenting biology posters
will be available.
WORKSHOP ON FOUNDATIONS OF COMPUTER SECURITY (FCS 2013)
Call for papers
June 29, 2013
New Orleans, Louisiana, USA
http://prosecco.inria.fr/personal/bblanche/fcs13/
* The FCS workshop aims at bringing computer security researchers in
closer contact with the LICS community and giving LICS attendees an
opportunity to talk to experts in computer security, on the one
hand, and contribute to bridging the gap between logical methods and
computer security foundations, on the other.
FCS'13 will be co-located with LICS'13 (ACM/IEEE Symposium on Logic
in Computer Science), CSF'13 (IEEE Computer Security Foundations
Symposium), and MFPS'13 (Conference on the Mathematical Foundations
of Programming Semantics).
* Possible topics include, but are not limited to: Automated reasoning
techniques, Composition issues, Formal specification, Foundations of
verification, Information flow analysis, Language-based security,
Logic-based design, Program transformation, Security models, Static
analysis, Statistical methods, Tools, Trust management for Access
control and resource usage control, Authentication, Availability and
denial of service, Covert channels, Confidentiality, Integrity and
privacy, Intrusion detection, Malicious code, Mobile code, Mutual
distrust, Privacy, Security policies, Security protocols.
* Submission format: full papers (15 pages) or short abstracts (1 page)
* Important dates: Submission: April 10, 2013
Notification: April 30, 2013; Final papers: May 31, 2013
9TH SYMPOSIUM ON FRONTIERS OF COMBINING SYSTEMS (FroCoS 2013)
Call for Papers
Nancy, France
September 18-20, 2013,
http://frocos2013.loria.fr
co-located with TABLEAUX 2013
* AIMS
The aim of the conference is to publish and promote
progress in research areas requiring the development of general
techniques and methods for the combination and integration of
special, formally defined systems, as well as for the analysis
and modularization of complex systems.
* TOPICS
Typical topics of interest include (but are not limited to):
combinations of logics such as combined higher-order, first-order,
temporal, modal, or other non-classical logics; combinations and
modularity in ontologies; combination of decision procedures, of
satisfiability procedures, of constraint solving techniques or of
logical frameworks; combination and integration methods in SAT and
SMT solving; combinations and modularity in term rewriting;
integration of equational and other theories into deductive
systems; combination of deduction systems and computer algebra;
integration of data structures into constraint logic programming
and deduction; hybrid methods for deduction, resolution and
constraint propagation; hybrid systems in knowledge representation
and natural language semantics; combined logics for distributed and
multi-agent systems; logical aspects of combining and modularizing
programs and specifications.
* IMPORTANT DATES
Abstract submission: 15 Apr 2013
Paper submission: 22 Apr 2013
4TH INTERNATIONAL SYMPOSIUM ON GAMES, AUTOMATA, LOGICS, AND FORMAL VERIFICATION (GANDALF 2013)
Preliminary Call for Papers
Borca di Cadore, Dolomites, Italy
August 29th-31th, 2013
http://gandalf.di.univr.it/
* OBJECTIVES
The aim of the symposium is to bring together researchers from academia
and industry which are actively working in the fields of Games, Automata,
Logics, and Formal Verification. The idea is to cover an ample spectrum of
themes, ranging from theory to applications, and stimulate
cross-fertilization. Papers focused on formal methods are especially
welcome. Authors are invited to submit original research or tool papers on
all relevant topics in these areas. Papers discussing new ideas that are
at an early stage of development are also welcome.
* LIST OF TOPICS
The topics covered by the conference include, but are not limited to, the
following:
Automata Theory
Automated Deduction
Computational aspects of Game Theory
Concurrency and Distributed computation
Decision Procedures
Deductive, Compositional, and Abstraction Techniques for Verification
Finite Model Theory
First-order and Higher-order Logics
Formal Languages
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
Games and Automata for Verification
Game Semantics
Logical aspects of Computational Complexity
Logics of Programs
Modal and Temporal Logics
Model Checking
Models of Reactive and Real-Time Systems
Program Analysis and Software Verification
Run-time Verification and Testing
Specification and Verification of Finite and Infinite-state Systems
Synthesis
* INVITED SPEAKERS
Alessandro Cimatti (ITC-IRST, Italy)
Thomas Henzinger (IST, Austria)
Christof Loeding (University of Aachen, Germany)
* IMPORTANT DATES
Abstract submission: May 1, 2013
Paper submission: May 8, 2013
Acceptance notification: June 17, 2013
Final version: June 26, 2013
Conference: August 29-31, 2013
* PROGRAM CHAIRS
Tiziano Villa (University of Verona, Italy)
Gabriele Puppis (LaBRI, Bordeaux, France)
* ORGANIZING CHAIR
Pietro Sala (University of Verona, Italy)
PERSYVAL-LAB SUMMER SCHOOL ON CYBER-PHYSICAL SYSTEMS
Call for Applications
July 8-12, 2013
Grenoble, France
http://www-verimag.imag.fr/PERSYVAL-Lab-Summer-School-on.html?lang=en
* IET ICT Labs and PERSYVAL-Lab (Pervasive systems and algorithms at the
convergence of physical and digital worlds) Based on high-level research
laboratories present at Grenoble in Mathematics, Computer Science,
Automatic Control, Signal Processing, and Hardware Architecture, is
organizing the 1st edition of the CPS Summer School.
* This school will bring together some of the best lecturers from Europe
and the USA, in a one week programme, and be a fantastic opportunity
for interaction. It will be held in the campus of Grenoble University-France.
* IMPORTANT DATE
Hard deadline for applications is May 1st 2013. Attendance is limited
to 80, so we will be selecting amongst the candidates.
* FEES
Registration fee is EUR350 for students, EUR650 for non-students, which
includes lunches from Monday 8th through Friday 12th. The registration
fee only partially covers the costs incurred. The remaining costs are
covered by the EIT ICT Labs and PERSYVAL-Lab.
18TH INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS 2013)
Call for Papers
September 23-24, 2013
Madrid, Spain
Co-located with SEFM 2013
http://lvl.info.ucl.ac.be/Fmics2013
* SCOPE
The aim of the FMICS workshop series is to provide a forum for
researchers who are interested in the development and application of
formal methods in industry. In particular, FMICS brings together
scientists and engineers who are active in the area of formal methods
and interested in exchanging their experiences in the industrial usage
of these methods. The FMICS workshop series also strives to promote
research and development for the improvement of formal methods and
tools for industrial applications.
* TOPICS
- Design, specification, code generation and testing based on formal
methods.
- Methods, techniques and tools to support automated analysis,
certification, debugging, learning, optimization and transformation
of complex, distributed, real-time systems and embedded systems.
- Verification and validation methods that address shortcomings of
existing methods with respect to their industrial applicability
(e.g., scalability and usability issues).
- Tools for the development of formal design descriptions.
- Case studies and experience reports on industrial applications of
formal methods, focusing on lessons learned or identification of new
research directions.
- Impact of the adoption of formal methods on the development process
and associated costs.
- Application of formal methods in standardization and industrial
forums.
* SUBMISSIONS
Submissions must describe authors' original research work and their
results. Contributions should not exceed 15 pages formatted according
to the LNCS style (Springer), and should be submitted as Portable
Document Format (PDF) files using the EasyChair submission site:
https://www.easychair.org/conferences/?conf=fmics2013
All submissions must report on original research. Submitted papers
must not have previously appeared in a journal or conference with
published proceedings and must not be concurrently submitted to any
other peer-reviewed workshop, symposium, conference or archival
journal. Any partial overlap with any such published or concurrently
submitted paper must be clearly indicated.
Submissions should clearly demonstrate relevance to industrial
application. Case study papers should identify lessons learned,
validate theoretical results (such as scalability of methods), or
provide specific motivation for further research and development.
* IMPORTANT DATES
Paper submission: May 3rd
Notification: June 24th
Final version due: July 12th
Workshop: September 23th-24th
* PROGRAM CHAIRS
Michael Dierkes (Rockwell Collins, France)
Charles Pecheur (Université catholique de Louvain, Belgium)
HORIZONS IN TCS: A CELEBRATION OF MIHALIS YANNAKAKIS's 60TH BIRTHDAY
Early 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.
ACKERMANN AWARD 2013 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE
Second Call for Nominations
* Eligible for the 2013 Ackermann Award are PhD dissertations in topics
specified by the EACSL and LICS conferences, which were formally
accepted as PhD theses at a university or equivalent institution
between 1.1.2011 and 31.12.2012.
* Submission details are available at
http://www.eacsl.org/submissionsAck.html
* The deadline for submission is April 15, 2013
* Nominations should be sent to the chair of the Jury by
e-mail: anuj.dawar@cl.cam.ac.uk
* The award consists of
- a diploma,
- an invitation to present the thesis at the CSL conference,
- the publication of the laudation in the CSL proceedings,
- travel support to attend the conference.
* The 2013 Ackermann Award will be presented to the recipients at the
annual conference of the EACSL (CSL'13) in Torino (Italy)
to be held 2-5 September 2013.
* The jury consists of 8 members:
- T. Coquand (Chalmers University of Gothenburg)
- A. Dawar (Cambridge, U.K., president of EACSL)
- T.A. Henzinger (Klosterneuburg, Austria)
- D. Leivant (Bloomington, USA)
- D. Niwinski (Warsaw, Poland)
- L. Ong (Oxford, U.K., LICS representative)
- S. Ronchi Della Rocca (vice-president of EACSL)
- W. Thomas (Aachen, Germany)
* The jury is entitled to give more (or less) than one award per year.
* The previous Ackermann Award recipients were:
2005: Mikolaj Bojanczyk, Konstantin Korovin, Nathan Segerlind;
2006: Stefan Milius and Balder ten Cate;
2007: Dietmar Berwanger, Stephane Lengrand and Ting Zhang;
2008: Krishnendu Chatterjee;
2009: Jakob Nordstrom;
2010: ---- (no award given);
2011: Benjamin Rossman
2012: Andrew Polonsky and Szymon Torunczyk
PHD/POSTDOC POSITION IN CRYPTOGRAPHY/INFORMATION SECURITY, UNIVERSITY OF TRIER
* The Chair for Information Security and Cryptography at
University of Trier, Germany, offers a full-time
PhD/Postdoc position.
* The position involves both research and teaching in the
area of cryptography/information security. The successful
candidate is expected to contribute to research in applied
cryptography.
* The position is available immediately and is fully
funded. The salary scale for the position is TV-L
E13. The gross income depends on the candidate's
experience level. At the lowest level it corresponds to
approx. 40,000 EUR per year.
* Contracts are initially offered for two years. An
extension to a total duration of up to six years is
possible.
* He or she is given the possibility to carry out a
Ph.D. or, for Postdocs, a Habilitation.
* The successful candidate should have a Master's degree
or a Ph.D. (or should be very close to completion
thereof) in Computer Science, Mathematics, Information
Security, or a related field, with a strong background in
Theoretical Computer Science/Mathematics. Knowledge in
cryptography is an asset. Since teaching is mostly done
in German, sufficient knowledge of German is required.
* The deadline for applications is March 17th,
2013. However, late applications will be considered until
the position is filled.
DOCTORAL OR POSTDOCTORAL POSITION IN DECLARATIVE PROGRAMMING AT ULM
* A research/teaching position is available for Ph.D. students or postdocs
in the area of Constraint Programming, in particular Constraint Handling
Rules (CHR). For background information on the subject start at
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/
* The applicant should have prior knowledge in one or more of the
following areas: Declarative Programming, Logic, Program Analysis,
Artificial Intelligence, and be willing to work in the field of
Constraint Handling Rules.
* The context of the position requires a basic command of German at the
time of application. Applicants are expected to be fluent in English.
Mandatory teaching responsibilities are four lecture hours per week
(in German or English).
* At least a master or equivalent in computer science or strongly related
area is required. The initial appointment will be for two years, with
possible renewals for up to six years and more.
* The position is state-funded according to salary scheme E13 TV-L,
which means a gross salary of about 60.000 Euro per year, resulting
in a net income of about 1750 to 2000 Euro a month depending on
qualification (after deduction of taxes and of mandatory health and
social insurance). Rents for flats start at about 500 Euro a month.
* Ulm is a pleasant city of 150.000 on the Danube, close to Stuttgart,
Munich, the Alps, and Lake Konstanz. Every day life requires a basic
command of German.
* Prospective applicants should email their resume with two references,
certificates, proof of German language skills, and links to homepage
and publications together in a single pdf file to
Prof. Dr. Thom Fruehwirth,
c/o Ulrike Seiter (secretary)
ulrike.seiter@uni-ulm.de
by May 1, 2013.
Also use above email address for questions concerning the position.
* The University of Ulm is committed to increase the share of women in
research and teaching positions and therefore explicitly encourages female
candidates to apply.
* Job sharing is always possible for full-time positions. Physically
disabled applicants receive favourable consideration when equally
qualified. The job appointment is made by the central university
administration.
PHD POSITIONS IN FORMAL METHODS AND LANGUAGE-BASED SECURITY AT CHALMERS
* 4 PhD Positions in Formal Methods and Language-based Security are
available at the Dept. of Computer Science and Engineering, Chalmers
University of Technology, Sweden
* DEADLINE
Application deadline: March 30, 2013
* 2 PHD POSITIONS IN FORMAL METHODS
The research of the two advertised PhD positions will be in the area of
Software Verification, where
- one position has a stronger focus on the creative use and development
of automated reasoning techniques for software verification,
- the other has a stronger focus on combining static and runtime
verification of software.
The selection of the specific research topic will take into account both
the interests of the new PhD student and the research agenda of the group.
* 2 PHD POSITIONS IN LANGUAGE-BASED SECURITY
The PhD students will join a world-leading team of researchers on
programming language-based security. Language-based security facilitates
specifying and enforcing security policies at the level of programming
languages early in the software design and construction phase. The focus
of the advertised positions is on the following directions of work:
- To design rich security policies for confidentiality and integrity, as
demanded by practical applications (such as web applications).
- To develop practical enforcement mechanisms for these policies in
expressive programming languages (such as web languages). These enforcement
mechanisms may combine static (for example, type system-based) and dynamic
(for example, execution monitoring-based) techniques.
- To support the above with case studies in web-application security.
In pursuing these goals, there are possibilities for collaboration with
our high-profile academic and industrial partners. We run a number of
ambitious projects with top international partners in academia and
industry, including the European project WebSand on web application
security: https://www.websand.eu/
* EMPLOYMENT DETAILS
PhD student positions are limited to five years and normally include 20 per
cent departmental work, mostly teaching duties. Salary for the position is
as specified in Chalmers' general agreement for PhD student positions.
Currently the starting salary is 26,250SEK a month before tax. The positions
are intended to start in spring or fall 2013. Knowledge of Swedish is not
a prerequisite for application. English is our working language for research.
Both Swedish and English are used in undergraduate courses. Half of our
researchers and PhD students come from more than 30 different countries.
Back to the LICS web page.