Newsletter 153
December 2, 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
CSL-LICS'14
* DEADLINES
Forthcoming Deadlines
* CALLS
FESCA 2014 - Call for Papers
FLOPS 2014 - Call for Papers
CSRV 2014 - Call for Declarations of Intent/Benchmarks
QAPL 2014 - Call for Papers
WRLA 2014 - Call for Submissions
EAPLS PHD AWARD 2013 - Call for Nominations
EATCS FELLOWS 2014 - Call for Nominations
DICE 2014 - Call for Contributions
CMCS 2014 - Call for Papers
UTP 2014 - Call for Papers
CiE 2014 - Call for Papers
ICTAC 2015 - Call for Organisers
PSI 2014 - Call for Papers
IJCAR 2014 - Call for Papers
CAV 2014 - Call for Papers
FM 2014 - Call for Industry Track Papers
SAT 2014 - Call for Papers
SOFSEM 2014 - Call for Participation
RTA-TLCA 2014 - Call for Papers
MSCS COMPUTABLE ANALYSIS - Call for Submissions
LOGICA 2014 - Call for Papers
CICM 2014 - Call for Papers
ESSAYS IN MEMORY OF MARK STICKEL - Call for Papers
AiML 2014 - Call for Papers
SEMF 2014 - Call for Papers
LASER 2014 - Call for Summer School Applications
RV 2014 - Call for Papers
AAA88 - Call for Participation
* JOB ANNOUNCEMENTS
Formal Methods Position at FireEye in Dresden, Germany
Fondation Sciences Mathematiques de Paris positions (various levels)
CSL-LICS'14
* Next year LICS and CSL will hold a joint conference for the first time,
as part of FLoC 2014. Tom Henzinger and Dale Miller are co-chairs of a
joint PC of 38 members. The proceedings will be published by IEEE.
The Call for Papers is available on the LICS website.
http://lics.siglog.org/csl-lics14/
* Title and Short Abstracts Due January 13, 2014
Full Papers Due January 20, 2014
DEADLINES
* FESCA 2014
Paper registration: December 6, 2013
Submission deadline: December 13, 2013
http://fesca.ipd.kit.edu/fesca2014/
* FLOPS 2014
Submission deadline: December 13, 2013
http://www.jaist.ac.jp/flops2014/
* CSRV-2014
Declaration of intent: December 15, 2013
Deadline for submission of benchmarks: March 1, 2014
Monitoring tool submission: June 1, 2014
http://rv2014.imag.fr/monitoring-competition
* QAPL 2014
Abstract (optional): December 24, 2013
Submission (regular paper): December 31, 2013
http://qapl14.inria.fr
* WRLA 2014
Submission deadline: December 30th 2013
http://www.dsic.upv.es/workshops/wrla2014/
* EAPLS PhD AWARD 2013
Nomination deadline: December 31, 2013
http://eapls.org/pages/phd_award/
* EATCS Fellows 2014
Nomination deadline: December 31, 2013
* DICE 2014
Abstract submission: January 5, 2014
Notification: January 20, 2014
http://dice14.tcs.ifi.lmu.de
* CMCS 2014
Abstract regular papers: 6 January 2014
Submission regular papers: 10 January 2014 (strict)
http://www.coalg.org/cmcs14
* UTP 2014
Abstract due: January 8, 2014
Full paper due: January 15, 2014
http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
* CiE 2014
Submission deadline: January 10, 2014
http://cie2014.inf.elte.hu
* CSL-LICS 2014
Title and Short Abstracts Due: January 13, 2014
Full Papers Due: January 20, 2014
http://lics.siglog.org/csl-lics14/
* ICTAC 2015
Submission of proposals: January 13, 2014
http://www.cs.york.ac.uk/ICTAC
* PSI'14
Abstract submission: January 13, 2014
Submission deadline: January 20, 2014
http://psi.nsc.ru/psi14
* IJCAR 2014
Abstract submission deadline: January 15, 2014
Paper submission deadline: January 22, 2014
http://cs.nyu.edu/ijcar2014/
* CAV 2014
CAV Award nomination deadline: January 15, 2014
Abstract deadline: January 31, 2014
Paper deadline: February 7, 2014
http://www.cavconference.org
* FM 2014
Industry Track submission deadline: January 15, 2014
http://www.comp.nus.edu.sg/~pat/FM2014/
* SAT 2014
Abstract submission deadline: January 17, 2014
Paper submission deadline: January 24, 2014
http://baldur.iti.kit.edu/sat2014
* RTA-TLCA 2014
Abstract submission: January 28, 2014
http://vsl2014.at/rta-tlca
* MSCS SPECIAL ISSUE ON COMPUTABLE ANALYSIS
Abstracts submission deadline: January 31, 2014
Deadline for full paper: February 28, 2014
http://www.cs.swan.ac.uk/ccc2013/
* LOGICA 2014
Submission deadline: February 15, 2014
http://www.flu.cas.cz/en/logica2014
* CICM 2014
Abstract submission: February 28, 2014
Submission deadline: March 7, 2014
Work-in-progress submission and doctoral programme: April 28, 2014
http://www.cicm-conference.org/2014
* ESSAYS IN MEMORY OF MARK STICKEL
Submission deadline: March 1, 2014
https://www.easychair.org/conferences/?conf=festschriftmarkstick
* AiML 2014
Abstract of full paper submission due: March 14, 2014
Full paper submission due: March 21, 2014
http://www.philos.rug.nl/AiML2014/
* SEFM 2014
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
http://sefm2014.inria.fr/
* LASER 2014
Application deadline: March 31, 2014
http://laser.inf.ethz.ch/2014
* RV 2014
Abstract deadline: April 8, 2014
Full paper deadline: April 15, 2014
http://rv2014.imag.fr/
11TH INTERNATIONAL WORKSHOP ON FORMAL ENGINEERING APPROACHES TO SOFTWARE COMPONENTS AND ARCHITECTURES (FESCA 2014)
Call for Papers
(Satellite event of ETAPS)
April 12th, 2014, Grenoble, France
http://fesca.ipd.kit.edu/fesca2014/
* WORKSHOP AIM
In recent years, the growing importance of functional correctness and
the increased relevance of system quality properties (e.g. performance,
reliability, security) have stimulated the emergence of analytical and
modelling techniques for the design and development of software systems.
With the increasing complexity of today's software systems, FESCA aims
at addressing two research questions: (1) what role the software
architecture can play in systematic addressing of the analytical and
modelling challenges, and (2) how formal and semi-formal techniques can
be applied effectively to make the issues easier to address
automatically, with lower human intervention.
* TOPICS
We encourage submissions on (semi-)formal techniques and their
application that aid analysis, design and implementation of software
applications, including the techniques in the realm of Model-Driven
Development.
In this context, the topics include (but are not limited to):
Modelling
- Modelling formalisms;
- Models, metamodels and model transformations;
Correctness checking
- Temporal properties and their formal verification;
- Interface compliance and contractual use of components;
Correctness of models, metamodels and model transformations
Analysis and prediction of quality attributes
- Formal prediction and analysis;
- Static and dynamic analysis;
- Instrumentation and monitoring approaches;
Industrial case studies and experience reports.
Besides general software systems, FESCA is interested in methods
focusing on a specific application domain, such as:
- Cloud environment
- Mobile and embedded systems
- Information systems
- Hardware infrastructures
We encourage not only mature research results, submissions presenting
innovative ideas and early results are also of interest.
* SUBMISSIONS
Three kinds of submissions are solicited:
- regular papers (up to 15 pages) presenting original and unpublished
work related to the workshop topics,
- position papers (up to 10 pages) presenting ideas and directions of
interesting ongoing and yet unpublished research related to the workshop
topics, and
- tool demonstration papers (up to 8 pages) presenting and highlighting
the distinguishing features of a topic-related tool (co-developed by the
authors).
* PROCEEDINGS
- Final versions of accepted regular and position papers will be
published in a volume of the Electronic Proceedings in Theoretical
Computer Science (EPTCS).
- The tool demonstration papers will not appear in the EPTCS
proceedings, but will be included in the electronic pre-proceedings
(distributed at the workhop) and made available on the workshop website.
* IMPORTANT DATES
- Paper registration: December 6, 2013
- Submission deadline: December 13, 2013
- Notification of acceptance: January 20, 2014
- Final versions due: February 10, 2014
- Workshop date: April 12, 2014
* PC CO-CHAIRS
- Barbora Buhnova (Masaryk University, Czech Republic)
- Lucia Happe (Karlsruhe Institute of Technology, Germany)
- Jan Kofron (Charles University in Prague, Czech Republic)
12TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING (FLOPS 2014)
Call for Papers
June 4-6, 2014
Kanazawa, Japan
http://www.jaist.ac.jp/flops2014/
* GENERAL
FLOPS is a forum for research on all issues concerning declarative
programming, including functional programming and logic programming,
and aims to promote cross-fertilization and integration between the
two paradigms. Previous FLOPS meetings were held at Fuji Susono
(1995), Shonan Village (1996), Kyoto (1998), Tsukuba (1999), Tokyo
(2001), Aizu (2002), Nara (2004), Fuji Susono (2006), Ise (2008),
Sendai (2010), and Kobe (2012).
* TOPICS
FLOPS solicits original papers in all areas of functional and logic
programming, including (but not limited to):
- Language issues: language design and constructs, programming
methodology, integration of paradigms, interfacing with other
languages, type systems, constraints, concurrency and distributed
computing.
- Foundations: logic and semantics, rewrite systems and narrowing,
type theory, proof systems.
- Implementation issues: compilation techniques, memory management,
program analysis and transformation, partial evaluation,
parallelism.
- Applications: case studies, real-world applications, graphical user
interfaces, Internet applications, XML, databases, formal methods
and model checking.
The proceedings will be published as an LNCS volume. The proceedings
of the previous meetings (FLOPS 1999, 2001, 2002, 2004, 2006, 2008,
2010, and 2012) were published as LNCS 1722, 2024, 2441, 2998, 3945,
4989, 6009, and 7294.
* PC CO-CHAIRS
Michael Codish (Ben-Gurion University of the Negev)
Eijiro Sumii (Tohoku University)
* LOCAL CHAIR
Yuki Chiba (JAIST)
* SUBMISSION
Submissions must be unpublished and not submitted for publication
elsewhere. Work that already appeared in unpublished or informally
published workshops proceedings may be submitted. See also ACM
SIGPLAN Republication Policy:
http://www.sigplan.org/Resources/Policies/Republication
Submissions should fall into one of the following categories:
- Regular research papers: they should describe new results and will
be judged on originality, correctness, and significance.
- System descriptions: they should contain a link to a working system
and will be judged on originality, usefulness, and design.
- Declarative pearls: new and excellent declarative programs or
theories with illustrative applications.
System descriptions and declarative pearls must be explicitly marked
as such in the title.
* SUBMISSIONS
Submissions must be written in English and can be up to 15 pages long
including references, though pearls are typically shorter. Authors
are required to use LaTeX2e and the Springer llncs class file,
available at: http://www.springer.de/comp/lncs/authors.html
Regular research papers should be supported by proofs and/or
experimental results. In case of lack of space, this supporting
information should be made accessible otherwise (e.g., a link to a Web
page, or an appendix). Papers should be submitted electronically at:
https://www.easychair.org/conferences/?conf=flops2014
* IMPORTANT DATES
Submission deadline: December 13, 2013
Author notification: February 10, 2014
Camera-ready copy: March 7, 2014
1ST INTERNATIONAL COMPETITION OF SOFTWARE FOR RUNTIME VERIFICATION (CSRV-2014)
Call for Participation
held with RV 2014
September 22-25, 2014 Toronto, Canada
http://rv2014.imag.fr/monitoring-competition
* SCOPE
CSRV-2014 is the 1st International Software Runtime Verification Competition
as a part of the 14th International Conference on Runtime Verification.
The event will be held in September 2014, in Toronto, Canada. CSRV-2014
will draw attention to the invaluable effort of software developers and
researchers who contribute in this field by providing the community with
new or updated tools, libraries and frameworks for the instrumentation
and runtime verification of software.
* AIMS
Stimulate the development of new efficient and practical runtime
verification tools and the maintenance of the already developed ones.
Produce a benchmark suite for runtime verification tools, by sharing case
studies and programs that researchers and developers can use in the future
to test and to validate their prototypes.
Discuss the metrics employed for comparing the tools.
Provide a comparison of the tools running with different benchmarks and
evaluating using different criteria.
Enhance the visibility of presented tools among the different communities
(software engineering, formal methods and automated verification,
distributed computing, security, and safety-critical systems) involved
in software monitoring.
* TIMELINE
Declaration of intent: December 15, 2013 (by email csrv14.chairs@imag.fr)
Deadline for submission of benchmarks: March 1, 2014
Monitoring tool submission: June 1, 2014
Notification: July 1, 2014
* ORGANIZERS
Ezio Bartocci (TU-Wien, Austria), ezio.bartocci@tuwien.ac.at
Borzoo Bonakdarpour (U. Waterloo, Canada), borzoo@cs.uwaterloo.ca
Ylies Falcone (U. Joseph Fourier, France), ylies.falcone@ujf-grenoble.fr
12TH WORKSHOP ON QUANTITATIVE ASPECTS OF PROGRAMMING LANGUAGES AND SYSTEMS (QAPL 2014)
Affiliated with ETAPS 2014
April 12-13, 2014, Grenoble, France
http://qapl14.inria.fr
* SCOPE
Quantitative aspects of computation are important and sometimes essential in
characterising the behaviour and determining the properties of systems. They
are related to the use of physical quantities (storage space, time, bandwidth,
etc.) as well as mathematical quantities (e.g. probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design, semantics)
and the methodologies and tools for the analysis and verification of system
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either directly in the
model or as a tool for the analysis of systems.
In particular, the workshop focuses on:
- the design of probabilistic, real-time, quantum languages and the
definition of semantical models for such languages
- the discussion of methodologies for the quantitative analysis of
systems, for instance probabilistic and timing properties (e.g.
security, safety, schedulability) and other quantifiable properties
such as reliability (for hardware components), trustworthiness
(in information security) and resource usage (e.g., worst-case
memory/stack/cache requirements);
- the probabilistic analysis of systems which do not explicitly incorporate
quantitative aspects (e.g. performance, reliability and risk analysis)
- applications to safety-critical systems, communication protocols, control
systems, asynchronous hardware, and to any other domain involving
quantitative issues
* TOPICS
Topics include (but are not limited to) probabilistic, timing and general
quantitative aspects in: Language design, Information systems, Asynchronous HW
analysis, Language extension, Multi-tasking systems, Automated reasoning,
Language expressiveness, Logic, Verification, Quantum languages, Semantics,
Testing, Time-critical systems, Performance analysis, Safety, Embedded systems,
Program analysis, Risk and hazard analysis, Coordination models, Protocol
analysis, Scheduling theory, Distributed systems, Model-checking, Security,
Biological systems, Cyber-physical systems, Concurrent systems, and Resource analysis.
* INVITED SPEAKERS
- Stephen Gilmore, University of Edinburgh, UK
- Oded Maler, Verimag, France
- Nicolas Markey, LSV, CNRS and ENS Cachan, France
- Enrico Vicario, University of Firenze, Italy
* SUBMISSIONS
In order to encourage participation and discussion, this workshop solicits two
types of submissions - regular papers and presentation reports:
1. Regular paper submissions must be original work, and must not have been
previously published, nor be under consideration for publication
elsewhere. Regular paper submission must not exceed 15 pages, possibly
followed by a clearly marked appendix which will be removed for the
proceedings and contains technical material for the reviewers.
2. Presentation reports concern recent or ongoing work on relevant topics and
ideas, for timely discussion and feedback at the workshop. There is no
restriction as for previous/future publication of the contents of a
presentation. Typically, a presentation is based on a paper which recently
appeared (or which is going to appear) in the proceedings of another
recognized conference, or which has not yet been submitted. The (extended)
abstract of presentation submissions should not exceed 4 pages.
All submissions must be in PDF format and use the EPTCS latex style, see
http://style.eptcs.org/. Submissions can be made on the following website:
http://www.easychair.org/conferences/?conf=qapl14
The workshop PC will review all regular paper submissions to select
appropriate ones, ones for acceptance in each category, based on their
relevance, merit, originality, and technical content. Presentation reports
will receive a light weight review to establish their relevance for the
workshop. The authors of accepted submissions of both types are expected
to present and discuss their work at the workshop. Accepted regular papers
will be published in the Electronic Proceedings in Theoretical Computer
Science (EPTCS). A special issue concerning the QAPL editions of 2011 and
2012 is in preparation and a further special issues related to the QAPL
editions of 2013 and 2014 will be considered.
* IMPORTANT DATES
For regular papers:
Abstract (optional): December 24, 2013
Submission (regular paper): December 31, 2013
Notification: February 7, 2014
Final version (ETAPS proceedings): February 14, 2014
Workshop: March 23 - 24, 2013
Final version (EPTCS post proceedings): TBA
For presentation reports:
Submission: February 5, 2014
Notification: February 7, 2014
* PC CHAIRS
- Nathalie Bertrand, INRIA Rennes, France
- Luca Bortolussi, University of Trieste, Italy
10TH INTERNATIONAL WORKSHOP ON REWRITING LOGIC AND ITS APPLICATIONS (WRLA 2014)
Grenoble, France, April 5th and 6th, 2014
http://www.dsic.upv.es/workshops/wrla2014/
(in conjunction with ETAPS 2014
17th European Joint Conferences on Theory and Practice of Software
April 5-13, 2014, http://www.etaps.org/2014)
* AIMS AND SCOPE
Rewriting logic (RL) is a natural model of computation and an
expressive semantic framework for concurrency, parallelism,
communication, and interaction. It can be used for specifying
a wide range of systems and languages in various application
fields. It also has good properties as a metalogical framework
for representing logics. In recent years, several languages
based on RL (ASF+SDF, CafeOBJ, ELAN, Maude) have been designed
and implemented. The aim of the workshop is to bring together
researchers with a common interest in RL and its applications,
and to give them the opportunity to present their recent works,
discuss future research directions, and exchange ideas.
* IMPORTANT DATES
Submission deadline December 30th 2013
Author notification February 2nd 2014
Version informal proceedings February 14th 2014
* SUBMISSIONS
The final program of the workshop will include regular papers,
tool papers, and work-in-progress presentations. The program
will also contain invited talks to be determined by the
program committee. Papers must contain original contributions,
be clearly written, include appropriate references, and
comparison with related work. They must be unpublished and
not submitted simultaneously for publication elsewhere.
Tool papers present a new tool, a new tool component, or
novel extensions to an existing tool. They should provide a
short description of the theoretical foundations with
relevant citations, emphasize the design and implementation,
and give a clear account of the tool's functionality. The
described tools must be publicly available via the web.
All submissions should be formatted according to the
guidelines for Springer LNCS papers, and should be submitted
electronically using EasyChair.
EAPLS PHD AWARD 2013
Call for Nominations
http://eapls.org/pages/phd_award/
* AWARD
The European Association for Programming Languages and Systems
has established a Best Dissertation Award in the international
research area of programming languages and systems. The award
will go to the PhD student who in the previous period has made
the most original and influential contribution to the area. The
purpose of the award is to draw attention to excellent work, to
help the career of the student in question, and to promote the
research field as a whole.
* ELIGIBILITY
Eligible for the award are those who successfully defended their PhD
- at an academic institution in Europe
- in the field of Programming Languages and Systems
- in the period from 1 November 2012 – 1 November 2013
* NOMINATIONS
Candidates for the award must be nominated by their supervisor.
Nominating a candidate consists of submitting the thesis to
https://www.easychair.org/conferences/?conf=eaplsphd2013. The
nomination must be accompanied by (a zip file containing)
- a letter from the supervisor describing why the thesis should be
considered for the award;
- a report from an independent researcher who has acted as examiner
of the thesis at its defense.
The theses will be evaluated with respect to originality, influence,
relevance to the field and (to a lesser degree) quality of writing.
* PROCEDURE
The nominations will be evaluated and compared by an international
committee of experts from across Europe. The procedure to be
followed is analogous to the review phase of a conference. The
justification by the supervisor and the external report will play
an important role in the evaluation.
Members of the expert committee are barred from nominating their
own PhD students for the award.
The award consists of a certificate announcing the winner to have
received the EAPLS PhD award 2011. The supervisor will receive a
copy of this certificate. If possible, the certificate will be
handed out ceremonially at a suitable occasion, as for instance
the ETAPS conference.
Apart from the winner, no further ranking of nominees will be
published. The decision of the expert committee is final and
binding, and will not be subject to discussion.
* IMPORTANT DATES
31 December 2013: Deadline for nominations
10 April 2014: Announcement of the award winner
* EXPERT COMMITTEE
The Expert committee includes:
- Gilles Barthe, IMDEA Software Institute, Spain
- Eerke Boiten, University of Kent, U.K.
- Mark van den Brand, Universiteit Eindhoven, The Netherlands
- Paolo Ciancarini, Universita di Bologna, Italy
- Stefano Crespi Reghizzi, Politecnico di Milano, Italy
- Kei Davis, Los Alamos National Laboratory, U.S.A.
- Mariangiola Dezani, Universita di Torino, Italy
- Josuka Diaz-Labrador, Universidad de Duesto, Spain
- Marko van Eekelen, Radboud Universiteit Nijmegen, The Netherlands
- Giorgio Ghelli, University of Pisa, Italy
- Stefan Gruner, University of Pretoria, South Africa
- Kevin Hammond, University of St Andrews, U.K.
- Martin Hofmann, Ludwig-Maximilians-Universitaet Muenchen, Germany
- Paul Klint, CWI and University of Amsterdam, The Netherlands
- Jens Knoop, Technische Universitaet Wien, Austria
- Ralf Laemmel, University of Koblenz-Landau, Germany
- Rita Loogen, Philipps-Universitaet Marburg, Germany
- Tiziana Margaria, University of Potsdam, Germany
- Greg Michaelson, Heriot-Watt University , Edinburgh, U.K.
- Alan Mycroft, University of Cambridge, U.K.
- Catuscia Palamidessi, LIX, France
- Ricardo Pena, Universidad Complutense de Madrid, Spain
- Arnd Poetzsch-Heffter, Technische Universitaet Kaiserslautern, Germany
- Arend Rensink, Universiteit Twente, The Netherlands
- Bernhard Steffen, Technische Universitaet Dortmund, Germany
- Peter Van Roy, Universite Catholique de Louvain, Belgium
EATCS FELLOWS 2014
Call for Nominations
* Please note: all nominees and nominators must be EATCS Members.
Submit by December 31 of the current year for Fellow consideration by
email to the EATCS Secretary (secretary@eatcs.org). The subject line
of the email should read "EATCS Fellow Nomination - ".
* REQUIREMENTS FOR EATCS NOMINATION:
The EATCS Fellows Program is established by the Association to
recognize outstanding EATCS Members for their scientific achievements
in the field of Theoretical Computer Science. The Fellow status is
conferred by the EATCS Fellows-Selection Committee upon a person
having a track record of intellectual and organizational leadership
within the EATCS community. Fellows are expected to be “model
citizens” of the TCS community, helping to develop the standing of TCS
beyond the frontiers of the community.
In order to be considered by the EATCS Fellows-Selection Committee,
candidates must be nominated by at least four EATCS Members.
Please verify your membership at http://www.eatcs.org/.
The EATCS Fellows-Selection Committee consists of
- Rocco De Nicola (IMT Lucca, Italy)
- Paul Goldberg (Oxford, UK)
- Anca Muscholl (Bordeaux, France, chair)
- Dorothea Wagner (Karlsruhe, Germany)
- Roger Wattenhofer (ETH Zurich, CH)
* INSTRUCTIONS
A nomination should consist of answers to the questions below. It can
be co-signed by several EATCS members. At least two nomination letters
per candidate are recommended. If you are supporting the nomination from
within the candidate's field of expertise, it is expected that you will be
specific about the individual's technical contributions. To be considered,
nominations for 2014 must be received by December 31, 2013.
* FORMAT
1. Name of candidate
Candidate's current affiliation and position
Candidate's email address, postal address and phone number
Nominator(s) relationship to the candidate
2. Short summary of candidate's accomplishments (citation - 25 words or less)
3. Candidate's accomplishments: Identify the most important
contributions that qualify the candidate for the rank of EATCS Fellow
according to the following two categories:
A) Technical achievements
B) Outstanding service to the TCS community
Please limit your comments to at most three pages.
4. Nominator(s):
Name(s)
Affiliation(s), email and postal address(es), phone number(s)
5TH WORKSHOP ON DEVELOPMENTS IN IMPLICIT COMPUTATIONAL COMPLEXITY (DICE 2014)
Call for Contributions
April 5-6, 2014
Grenoble, France (a satellite event of ETAPS 2014)
http://dice14.tcs.ifi.lmu.de
* SCOPE AND TOPIC
The area of Implicit Computational Complexity (ICC) has grown from
several proposals for using logic and formal methods to provide
languages for complexity-bounded computation (e.g. PTIME, LOGSPACE
computation). Its aim is to study computational complexity without
reference to external measuring conditions or particular machine
models, but only in terms of 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 connects both to the study of complexity classes and to
static program analysis. The workshop is 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
- theoretical foundations of program complexity analysis
- application of implicit complexity to security
* INVITED SPEAKERS
- Akitoshi Kawamura, University of Tokyo
- Georg Moser, University of Innsbruck
* IMPORTANT DATES
- Abstract submission: January 5, 2014
- Notification: January 20, 2014
- Final version: February 10, 2014
* SUBMISSION
Authors are invited to submit an extended abstract of up to 5 pages.
Accepted abstracts will be presented at the workshop. Submissions will
be judged on originality, relevance, interest and clarity. Preference
will be given to abstracts describing work (including work in
progress) that has not been published elsewhere before the workshop.
Further details can be found at the workshop homepage.
12TH INTERNATIONAL WORKSHOP ON COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS'14)
Call for Papers
5 - 6 April 2014, Grenoble, France
http://www.coalg.org/cmcs14
* OBJECTIVES AND SCOPE
Established in 1998, the CMCS workshops aim to bring together researchers
with a common interest in the theory of coalgebras, their logics, and their
applications. As the workshop series strives to maintain breadth in its scope,
areas of interest include neighbouring fields as well. Topics of interest
include, but are not limited to, the following:
- The theory of coalgebras (including set theoretic and categorical
approaches)
- Coalgebras as computational and semantical models (for
programming languages, dynamical systems, term rewriting, etc.)
- Coalgebras in (functional, object-oriented, concurrent, and constraint)
programming
- Model checking, theorem proving and deductive verification
using coalgebraic techniques
- Coalgebraic data types, type systems and
behavioural typing
- Proof principles and (coinductive) definitions for
coalgebras (e.g. with bisimulations or invariants)
- Coalgebras and algebras
- Coalgebraic specification and verification
- Coalgebras and (modal) logic
- Coalgebra and control theory (notably of discrete event
and hybrid systems)
- Coalgebra in quantum computing
- Coalgebra and game theory
- Tools exploiting colgebraic techniques
* VENUE AND EVENT
CMCS’14 will be held in Grenoble, France, co-located with ETAPS 2014 on
5 - 6 April 2014.
* IMPORTANT DATES
Abstract regular papers 6 January 2014
Submission regular papers 10 January 2014 (strict)
Notification regular papers 14 February 2014
Camera-ready copy 21 February 2014
Submission short contributions 23 February 2014 (strict)
Notification short contributions 9 March 2014
* INVITED SPEAKERS
Ichiro Hasuo, University of Tokyo, JP
Marina Lenisa, University of Udine, IT
* PUBLICITY CHAIR
Alexandra Silva, Radboud University Nijmegen, NL
* PC CHAIR
Marcello Bonsangue, Leiden University, NL
* SUBMISSION GUIDELINES
We solicit two types of contributions: regular papers and short contributions.
Regular papers must be original, unpublished, and not submitted for
publication elsewhere. They should not exceed 20 pages in length in Springer
LNCS style. Short contributions may describe work in progress, or summarise
work submitted to a conference or workshop elsewhere. They should be no more
than two pages. Regular papers and short contributions should be submitted
electronically as a PDF file via the Easychair system at
http://www.easychair.org/conferences/?conf=cmcs2014.
The proceedings of CMCS 2014 will include all accepted regular papers and
will be published post-conference as a Springer volume in the IFIP-LNCS
series. Accepted short contributions will be bundled in a technical report.
5TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING (UTP 2014)
Call for Papers
co-located with FM2014
May 12-13, 2014
Singapore
http://www.comp.nus.edu.sg/~pat/UTP2014/index.html
* SCOPE
Interest in the fundamental problem of the combination of formal notations
and theories of programming has grown consistently in recent years. The
theories define, in various different ways, many common notions, such as
abstraction, refinement, choice, termination, feasibility, locality,
concurrency and communication. Despite these differences, such theories
may be unified in a way which greatly facilitates their study and comparison.
Moreover, such a unification offers a means of combining different languages
describing various facets and artifacts of software development in a seamless,
logically consistent way.
* UTP
Hoare and He's Unifying Theories of Programming (UTP) is widely acknowledged
as one of the most significant such unification approaches. Based on their
pioneering work, the aims of the UTP Symposium series are to reaffirm the
significance of the ongoing UTP project and to stimulate efforts to advance.
The Symposium provides a focus for the sharing of results by those already
actively contributing, and raises awareness of the benefits of such unifying
theoretical frameworks among the wider computer science and software
engineering communities. To this end the Symposium welcomes contributions
on all the themes that can be related to the Unifying Theories of Programming.
* SUBMISSIONS
Papers may be up to 20 pages in length and should be prepared using LaTeX
in Springer LNCS paper format. Submissions should be made through the UTP
2014 EasyChair site, see http://www.comp.nus.edu.sg/~pat/UTP2014
* PUBLICATION
Symposium post-proceedings will appear in Springer's Lectures Notes in
Computer Science, as in past editions of the Symposium. (To be confirmed.)
* DATES
Abstract due: January 8, 2014
Full paper due: January 15, 2014
Notification: March 7, 2014
Camera-ready for pre-proceedings: April 11, 2014
Symposium: May 12-13, 2014
* CHAIR
David Naumann (Stevens Institute of Technology)
* ORGANISATION CHAIR
Jin Song DONG (National University of Singapore)
* JOINT EVENT
FM 2014, the 19th International Symposium on Formal Methods
http://www.comp.nus.edu.sg/~pat/FM2014/
COMPUTABILITY IN EUROPE 2014: LANGUAGE, LIFE, LIMITS (CiE 2014)
Call for Papers
Budapest, Hungary
June 23-27, 2014
http://cie2014.inf.elte.hu
* IMPORTANT DATES
Submission Deadline for LNCS: 10 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014
* HISTORY
CiE 2014 is the tenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).
The motto of CiE 2014 "Language, Life, Limits" intends to put a special
focus on relations between computational linguistics, natural and
biological computing, and more traditional fields of computability theory.
This is to be understood in its broadest sense including computational
aspects of problems in linguistics, studying models of computation and
algorithms inspired by physical and biological approaches as well as
exhibiting limits (and non-limits) of computability when considering
different models of computation arising from such approaches.
As with previous CiE conferences the allover glueing perspective is to
strengthen the mutual benefits of analyzing traditional and new
computational paradigms in their corresponding frameworks both with
respect to practical applications and a deeper theoretical understanding.
* TUTORIAL SPEAKERS
Wolfgang Thomas (RWTH Aachen)
Peter Gruenwald (CWI, Amsterdam)
* INVITED SPEAKERS
Lev Beklemishev (Steklov Mathematical Institute, Moscow)
Alessandra Carbone (Universite Pierre et Marie Curie and CNRS Paris)
Maribel Fernandez (King's College London)
Przemyslaw Prusinkiewicz (University of Calgary)
Eva Tardos (Cornell University)
Albert Visser (Utrecht University)
* SPECIAL SESSIONS:
History and Philosophy of Computing (organizers: Liesbeth de Mol,
Giuseppe Primiero)
Computational Linguistics (organizers: Maria Dolores
Jimenez-Lopez, Gabor Proszeky)
Computability Theory (organizers: Karen Lange, Barbara
Csima)
Bio-inspired Computation (organizers: Marian Gheorghe,
Florin Manea)
Online Algorithms (organizers: Joan Boyar, Csan??d Imreh)
Complexity in Automata Theory (organizers: Markus Lohrey,
Giovanni Pighizzini)
INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING (ICTAC)
Call for Organisers
http://www.cs.york.ac.uk/ICTAC
* BACKGROUND AND OBJECTIVES
The International Colloquium on Theoretical Aspects of Computing
(ICTAC) was founded in 2004 by the International Institute for
Software Technology of the United Nations University (UNU-IIST).
The aim of the colloquium is to bring together practitioners and
researchers from academia, industry and government to present
research results, and exchange experience, ideas, and solutions for
their problems in theoretical aspects of computing. Beyond these
scholarly goals, another main purpose of the conference is to
promote cooperation in research and education between participants
and their institutions, from developing and industrial countries.
* LOCATION
The event takes place every year in a developing country. Each
conference attracts between 50 and 100 participants from all over
the world. We now invite proposals from any group or institution
wishing to host this event. The priority is for the event to be
located in a developing country. It usually combines a regular
three-day scientific conference with related activities such as
tutorials over another two-days and a summer school over the
previous week. Innovation in the format and content is encouraged.
Proposals will be evaluated by the ICTAC steering committee.
* FORMAT
Proposals should be no more than four pages in length and should contain:
- Brief description of why the event is of interest to the proposer.
- Vision for the event, including its aims, the expected format and scale.
- An estimation of expected attendance, based, for example, on presence
of a local community in the area and costs of travel to various parts
of the world and local expenses.
- A description of the relevant qualifications and experience of the
proposers, especially regarding conference organisation logistics.
- A description of the facilities that will be available for the event
and to support the organizers.
- The contact information of the proposed organising committee. Please,
note that the choice of a PC chair will be subject to later discussion
with the Steering Committee and should not be part of this proposal.
Please send your proposal (in PDF format) and any enquiries to
ictac@cs.york.ac.uk.
* IMPORTANT DATES
Submission of proposals: 13 January, 2014
Notification of results: 28 February, 2014
* STEERING COMMITTEE
Ana Cavalcanti, UK
John Fitzgerald, UK
Martin Leucker, Germany
Zhiming Liu, Macao
Tobias Nipkow, Germany
Augusto Sampaio, Brazil
Natarajan Shankar, USA
* PREVIOUS LOCATIONS
ICTAC 2013 was held in Shanghai, China, 04-06 September, 2013.
ICTAC 2012 was held in Bangalore, India, 24-27 September 2012.
ICTAC 2011 was held in Johannesburg, South Africa, 31 August - 2 September, 2011.
ICTAC 2010 was held in Natal, Brazil, 1-3 September, 2010.
ICTAC 2009 was held in Kuala Lumpur, Malaysia, 16-20 August, 2009.
ICTAC 2008 was held in Marmara, Istanbul, Turkey - 1-3 November, 2008.
ICTAC 2007 was held in Macao, Macao - 26-28 November 2007.
ICTAC 2006 was held in Tunis, Tunisia - 20-24 November 2006.
ICTAC 2005 was held in Hanoi, Vietnam - 17-21 October 2005.
9TH ERSHOV INFORMATICS CONFERENCE (PSI'14)
Call for Papers
24 June - 27 June, 2014
Peterhof, St. Petersburg, Russia
http://psi.nsc.ru/psi14
* AIMS AND SCOPE
The Ershov Informatics Conference (the PSI Conference Series, 9th
edition) is the premier international forum in Russia for research
and its applications in computer, software and information sciences.
The conference brings together academic and industrial researchers,
developers and users to present and discuss the most recent innovations,
trends, experiences and concerns in the conference area.
* ORGANIZERS
- A.P. Ershov Institute of Informatics Systems, Siberian Branch of RAS
- Saint Petersburg State University
* CONFERENCE CHAIRS]
- Alexander Marchuk
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
- Andrey Terekhov
Saint Petersburg State University, Saint Petersburg, Russia
* STEERING COMMITTEE
- Dines Bjorner
Technical University of Denmark, Lyngby, Denmark
- Manfred Broy
Institut fuer Informatik, Technische Universitaet Muenchen, Germany
- Victor Ivannikov
Institute for System Programming RAS, Moscow, Russia
- Ugo Montanari
University of Pisa, Italy
* PROGRAMME COMMITTEE CHAIRS
Irina Virbitskaite
A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia
Andrei Voronkov
The University of Manchester, UK
* CONFIRMED KEYNOTE SPEAKERS
- Edmund M. Clarke (USA)
- Tony Hoare (UK)
- Bertrand Meyer (Switzerland)
- Vladimiro Sassone (UK)
- Vadim E. Kotov (USA)
* CONFERENCE TOPICS
1. Foundations of Program and System Development and Analysis
2. Programming Methodology and Software Engineering
3. Information Technologies
In addition to papers in the above list of topics, papers both bridging
the gap between different directions and promoting mutual understanding
of researchers are welcome. Papers defining the general prospects in
computer, software and information sciences are also encouraged.
* SUBMISSIONS
There are three categories of submissions:
- regular papers describing fully developed work and complete results
(12 pages / 30 minute talks);
- short papers reporting on interesting work in progress and/or
preliminary results (7 pages / 15 minute talks);
- system and experimental papers describing implementation or evaluation
of experimental systems and containing a link to a working system
(4 pages / 10 minute presentation).
Submitted regular papers that are judged to have limited merit may be
accepted as short papers, with up to seven pages in the proceedings.
At the time of submission, authors should indicate if they wish to have
their submission considered as a short paper in the case it is not
accepted as a regular one.
* CONFERENCE PROCEEDINGS
A preliminary book of tutorial, invited and accepted contributions will be
handed out at the conference. The final versions of the invited, regular
and short papers presented at the conference will be published by
Springer-Verlag in the Lecture Notes in Computer Science series after the
conference. One can find the proceedings of the previous seven conferences
in LNCS, Vol. 1181, 1755, 2244, 2890, 4378, 5947, and 7162.
* LOCATION
The conference will be held in Peterhof (also known as Petrodvorets), a suburb
of St. Petersburg located on the southern shore of the Gulf of Finland. The
town is one of St. Petersburg's most famous and popular visitor attractions
thanks to its palaces, fountains and parks. Founded as a summer residence of
Peter the Great, the area is recognized as a UNESCO World Heritage Site and
is often referred to as "the Russian Versaille".
For more information see http://www.saint-petersburg.com/peterhof.
* SATELLITE WORKSHOPS
N.B. Three satellite workshops will be held in conjunction with PSI'14:
- Program Understanding,
- Educational Informatics,
- Science Intensive Applied Software.
* IMPORTANT DATES
January 13, 2014: abstract submission
January 20, 2014: submission deadline
April 1, 2014: notification of acceptance
June 24 - 27, 2014: the conference dates
September 1, 2014: camera ready papers due
7TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING (IJCAR 2014)
Call for Papers
Vienna, Austria, July 19-22, 2014
http://cs.nyu.edu/ijcar2014/
as part of FLoC 2014 - Federated Logic Conference
http://www.floc-conference.org/
as part of VSL 2014 - Vienna Summer of Logic
http://vsl2014.at/
* IJCAR is the premier international joint conference on all topics
in automated reasoning. The IJCAR technical program will consist
of presentations of high-quality original research papers,
system descriptions, and invited talks.
* IJCAR 2014 is a merger of leading events in automated reasoning:
CADE (Conference on Automated Deduction),
FroCoS (Workshop on Frontiers of Combining Systems) and
TABLEAUX (Conference on Analytic Tableaux and Related Methods)
IJCAR 2014 invites submissions related to all aspects of automated
reasoning, including foundations, implementations, and applications.
Original research papers and descriptions of working automated deduction
systems are solicited.
* TOPICS
IJCAR topics include the following ones:
- Logics of interest include: propositional, first-order, classical,
equational, higher-order, non-classical, constructive, modal,
temporal, many-valued, substructural, description, type theory, etc.
- Methods of interest include: tableaux, sequent calculi, resolution,
model-elimination, inverse method, paramodulation, term rewriting,
induction, unification, constraint solving, decision procedures,
model generation, model checking, semantic guidance, interactive
theorem proving, logical frameworks, AI-related methods for
deductive systems, proof presentation, automated theorem provers,
etc.
- Applications of interest include: verification, formal methods,
program analysis and synthesis, computer mathematics, declarative
programming, deductive databases, knowledge representation, etc.
The proceedings of IJCAR 2014 will be published by Springer-Verlag in
the LNAI/LNCS series.
* PROGRAM CO-CHAIRS
Stephane Demri (New York University & CNRS)
Deepak Kapur (University of New Mexico, USA)
Christoph Weidenbach (MPI-INF Saarbr??cken, Germany)
* CONFERENCE CO-CHAIRS
Christian Fermueller (TU Vienna, Austria)
Stefan Hetzl (TU Vienna, Austria)
* IMPORTANT DATES
Abstract submission deadline: January 15, 2014
Paper submission deadline: January 22, 2014
Notification of paper decisions: March 31, 2014
Final version of papers due: April 19, 2014
Conference dates: July 19-22, 2014
* STUDENT TRAVEL AWARDS
Travel awards will be available to enable selected students to attend the
conference. Details will be published in March 2014.
26TH INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION (CAV 2014)
Call for Papers
July 18-22, 2014, Vienna, Austria
http://www.cavconference.org
* CAV 2014 is the 26th in a series dedicated to the advancement of
the theory and practice of computer-aided formal analysis methods
for hardware and software systems.
* Changes: short and long papers, but short papers are not restricted
to be tool papers anymore. We encourage submission of high quality
tool papers and empirical evaluations as long papers. References
do not count toward the page limit.
* Topics: Algorithms and tools for verifying models and
implementations; Hardware verification techniques; Deductive,
compositional, and abstraction techniques for verification; Program
analysis and software verification; Verification methods for
parallel and concurrent hardware/software systems; Testing and
runtime analysis based on verification technology; Applications and
case studies in verification; Decision procedures and solvers for
verification; Mathematical and logical foundations of practical
verification tools; Verification in industrial practice; Algorithms
and tools for system synthesis; Hybrid systems and embedded systems
verification; Verification techniques for security; Formal models
and methods for biological systems.
* Tutorials: Fabio Somenzi, University of Colorado at Boulder, USA
will give a tutorial on Hardware Model Checking. David Monniaux,
CNRS, Verimag, Grenoble, France will give a tutorial on
Abstract Interpretation.
* Important Dates: Nominations for CAV award 15 January 2014;
Abstract 31 January 2014; Paper 7 February 2014; Rebuttal 20-23
March 2014; Notification 18 April 2014; Final version 9 May 2014.
All deadlines are "anywhere on earth".
19TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS (FM 2014)
Call for Industry Track Papers
Singapore, May 14-16, 2014
http://www.comp.nus.edu.sg/~pat/FM2014/
* SCOPE
FM2014 is the nineteenth in a series of symposia organized by
Formal Methods Europe, an independent association whose aim is
to stimulate the use of, and research on, formal methods for
software development. The symposia have been notably successful
in bringing together innovators and practitioners in precise
mathematical methods for software and systems development,
industrial users, as well as researchers. The industry track of
FM 2014 welcomes papers describing industrial applications of
formal methods, experience with introducing formal methods in
industry, tool usage reports, experiments with challenge
problems. Authors are encouraged to explain how the use of
formal methods has overcome problems, lead to improvements in
design or provided new insights.
* PAPER SUBMISSION
Industry track papers should not exceed 15 pages (including
appendices and references). Accepted papers will be published in
the Symposium Proceedings, to appear in Springer's Lecture Notes
in Computer Science. Submitted papers should describe, in
English, have not been published or submitted elsewhere
concurrently for publication, and should be in Springer's
format. All submissions will be evaluated by at least three
members of the industry track program committee. Papers should
be submitted through the FM 2014 EasyChair web site:
http://www.easychair.org/conferences/?conf=fm2014
* IMPORTANT DATES
- Industry Track Submission: January 16, 2014
- Industry Track Notification: February 16, 2014
- Camera-ready: February 25, 2014
- Main Conference Date: May 14-16, 2014
* FM 2014 ORGANIZING COMMITTEES
- General Chair
Jin Song Dong, National University of Singapore, Singapore.
- Program Committee Co-Chairs
Cliff B Jones, Newcastle University, United Kindom.
Pekka Pihlajasaari, Data Abstraction (Pty) Ltd, South Africa.
Jun Sun, Singapore University of Technology and Design, Singapore.
- Doc Symposium Chair
Annabelle McIver, Macquarie University, Australia.
- Workshop Chair
Shengchao Qin, University of Teesside, United Kindom.
- Publicity Chair
Jonathan Bowen, Birmingham City University, United Kindom.
Kenji Taguchi, AIST, Japan.
17TH INTERNATIONAL CONFERENCE ON THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2014)
Call for Papers
Vienna, Austria, July 14-17, 2014
http://baldur.iti.kit.edu/sat2014
* AIMS
The International Conference on Theory and Applications of
Satisfiability Testing (SAT) is the primary annual meeting for
researchers studying the theory and applications of the propositional
satisfiability problem.
It includes, besides plain propositional satisfiability, Boolean
optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints),
Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories
(SMT), and Constraint Programming (CP) for problems with clear
connections to Boolean-level reasoning.
* VENUE
SAT 2014 takes place in Vienna, Austria, and will be part of the
Vienna Summer of Logic. With over two thousand expected participants,
the Vienna Summer of Logic 2014 will be the largest event in the
history of logic, and will consist of twelve large conferences and
numerous workshops, attracting researchers from all over the world.
* IMPORTANT DATES
January 17, 2014: Abstract submission deadline
January 24, 2014: Paper submission deadline
March 17, 2014 (approx.): Response from authors begins, lasts 72 hours
March 27, 2014: Acceptance notifications
April 17, 2014: Final camera-ready versions
July 14-17, 2014: Main conference and workshops
* SCOPE
Topics include (but are not restricted to):
- Theoretical advances (including exact algorithms, proof complexity,
and other complexity issues);
- Practical search algorithms;
- Knowledge compilation;
- Implementation-level details of SAT solving tools and SAT-based
systems;
- Problem encodings and reformulations;
- Applications (including both novel applications domains and
improvements to existing approaches);
- Case studies and reports on insightful findings based on rigorous
experimentation.
* OUT OF SCOPE
Papers claiming to resolve a major long-standing open theoretical
question in mathematics or computer science (such as those for which a
Millennium Prize is offered, see http://www.claymath.org/millennium)
are outside the scope of the conference because there is insufficient
time in the schedule to referee such papers; instead, such papers
should be submitted to an appropriate technical journal.
* SUBMISSIONS
Submissions to SAT 2014 are solicited in three paper categories,
describing original contributions:
- REGULAR PAPERS (9 to 15 pages, excluding references)
Regular papers should contain original research, with sufficient
detail to assess the merits and relevance of the contribution.
For papers reporting experimental results, authors are strongly
encouraged to make their data and implementations available with
their submission. Submissions reporting on case studies are also
encouraged, and should describe details, weaknesses, and strengths
in sufficient depth.
- SHORT PAPERS (up to 8 pages, excluding references)
The same evaluation criteria apply to short papers as to regular
papers. They will be reviewed to the same standards of quality as
regular papers, but will naturally contain less quantity of new
material. Short papers will have the same status as regular papers
and be eligible for the same awards (to be announced later).
- TOOL PAPERS (up to 6 pages, excluding references)
A tool paper should describe the implemented tool and its novel
features. Here "tools" are interpreted in a broad sense, including
descriptions of implemented solvers, preprocessors, etc., as well
as systems that exploit SAT solvers or their extensions to solve
interesting problem domains. A demonstration is expected to
accompany a tool presentation. Papers describing tools that have
already been presented previously are expected to contain
significant and clear enhancements to the tool.
* WORKSHOPS AND COMPETITONS
Affiliated with SAT 2014 are several workshops and competitions. For a list
and detailed information about these events see the SAT 2014 web page.
* PROGRAM CHAIRS
Uwe Egly Vienna University of Technology, Austria
Carsten Sinz Karlsruhe Institute of Technology, Germany
* WORKSHOPS CHAIR
Ines Lynce Technical University of Lisbon, Portugal
40TH INTERNATIONAL CONFERENCE ON CURRENT TRENDS IN THEORY AND PRACTICE OF COMPUTER SCIENCE (SOFSEM 2014)
Call for Participation
January 25-30, 2014
Hotel Atrium, Novy Smokovec
High Tatras, Slovakia
* INFORMATION
For more details, e.g.,
- conference fees and details of payment
- instructions for contributing authors
- list of topics and profile of the tracks
- list of invited lectures
- list of accepted papers
- conference program
- conference location
- how to get there
visit our website: www.sofsem.sk (now open for registration)
* HISTORY
SOFSEM (SOFtware SEMinar) is an annual international conference devoted
to the theory and practice of Computer Science. Its aim is to get together
professionals from academia and industry working in various areas of
Computer Science. Proceedings containing the invited and contributed papers
will be published by the Springer-Verlag in the Lecture Notes in Computer
Science (LNCS) series, volume number 8327. Papers accepted to Student
Research Forum will appear in a special additional local proceedings.
The program consists of
- 6 invited talks given by prominent researchers,
- 40 contributed talks being selected by the Program
Committee from 104 submitted papers these days,
- 6 student papers selected by the Program Committee for
the Student Research Forum,
- and a satellite workshop for a presentation of Works in Progress
sofsem14.ics.upjs.sk/Sofsem/WIP
* PROGRAM
Accepted papers: http://sofsem14.ics.upjs.sk/Sofsem/AcceptedPapers
Program: http://sofsem14.ics.upjs.sk/Sofsem/Program
SOFSEM provides an ideal framework for discussions
and meetings, establishing personal contacts. In order
to help people socialize and exchange new ideas,
SOFSEM is organized as a single-building-conference.
That is, accommodation for all participants,
full-board meals, together with all lecture rooms
will be in Atrium Hotel, Novy Smokovec, High Tatras,
Slovakia.
* PROGRAM COMMITTEE CHAIR
Branislav Rovan, Bratislava, Slovakia
* TRACKS
Tracks for the Year 2014:
- Foundations of Computer Science
chair: Viliam Geffert, Kosice, Slovakia
- Software & Web Engineering
chair: A Min Tjoa, Wien, Austria
- Data, Information, and Knowledge Engineering
chair: Julius Stuller, Praha, Czech Republic
- Cryptography, Security, and Verification
chair: Bart Preneel, Leuven, Belgium
- Student Research Forum
chair: Roman Spanek, Praha, Czech Republic
JOINT 25TH INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS AND 12TH INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS
Call for Papers
July 14-17, 2014, Vienna, Austria
http://vsl2014.at/rta-tlca
* IMPORTANT DATES
Abstract submission: January 28, 2014
Notification: April 9, 2014
Paper submission: February 4, 2014
Final version: April 29, 2014
Rebuttal period: March 19-21, 2014
* TOPICS
This joint RTA and TLCA conference is the major forum for the
presentation of research on all aspects of rewriting and typed
lambda-calculi. Areas of interest include but are not limited to:
- Foundations: string rewriting; term rewriting; graph rewriting;
lambdacalculi; higher-order rewriting; binding techniques; constrained
rewriting and deduction; categorical and infinitary rewriting;
stochastic rewriting; net rewriting; Petri nets; higher-dimensional
rewriting; process calculi; explicit substitution; tree automata;
confluence; termination; complexity; modularity.
- Algorithmic aspects and implementation: strategies; matching;
unification; anti-unification; narrowing; constraint solving; theorem
proving; completion techniques; implementation techniques; parallel
execution; certification of rewriting properties; abstract machines;
automated (non)termination and confluence provers; automated complexity
analysis; SMT solving; system descriptions.
- Logic: proof theory; natural deduction; sequent calculi; proof
assistants; cut elimination and normalization; propositions as types;
linear logic and proof nets; equational logic; rewriting logic;
rewriting calculi; proof checking; reasoning about programming languages
and logics; homotopy type theory;
type-theoretic aspects of complexity; implicit computational complexity.
- Types: dependent types; polymorphism; intersection types and related
approaches; subtyping; type inference and type checking; types in databases.
- Semantics: denotational semantics; operational semantics; game
semantics; realisability; domain theory; categorical models; universal
algebra.
- Programming: foundational aspects of functional programming, object
oriented programming, and other programming paradigms; flow analysis
of higher-type computation; program equivalence; program transformation;
program optimization; program refactoring; rewriting models of programs;
rule-based (functional and logic) programming; control operators;
symbolic and algebraic computation; system synthesis and verification;
XML queries and transformations; types in program analysis and
verification; analysis of cryptographic protocols; systems biology;
linguistics.
* PROGRAMME CHAIR
Gilles Dowek
* CONFERENCE CHAIR
Gernot Salzer
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE SPECIAL ISSUE ON COMPUTABLE ANALYSIS
Call for Submissions
http://www.cs.swan.ac.uk/ccc2013/
* GUEST EDITORS
Hajime Ishihara (JAIST, Japan)
Margarita Korovina (Novosibirsk, Russia)
Arno Pauly (Cambridge, UK)
Monika Seisenberger (Swansea, UK)
Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)
* DATES
Abstracts submission deadline: January 31, 2014
Deadline for full paper: February 28, 2014
* GENERAL
After a year of successful work in the EU-IRSES project COMPUTAL
http://computal.uni-trier.de
and an excellent workshop "Continuity, Computability, Constructivity:
From Logic to Algorithms (CCC 2013)" in Gregynog (Wales) in June this year,
we are planning to publish a special issue of MATHEMATICAL STRUCTURES IN
COMPUTER SCIENCE. The special issue should reflect progress made in
Computable Analysis and related areas and is open for everyone.
* TOPICS
Computable analysis
Complexity of real number computations
Computing with continuous data
Domain theory and analysis
Randomness and computable measure theory
Models of computation with real numbers
Realizability theory and analysis
Reverse analysis
Exact real number computation
Program extraction in analysis
* SUBMISSIONS
We want to split the submission process into two parts: Please, first submit
an abstract of your paper and then later the full paper. Submit both the
abstract as well as the full manuscript to
https://www.easychair.org/account/signin.cgi?conf=ccc2013mscspostproce
Papers will be processed according to high MSCS standards as soon as they
are submitted. All papers must be original, unpublished, and not submitted
for publication elsewhere. Please prepare your manuscript using the MSCS
style file which can be downloaded from ftp.cup.cam.ac.uk
* ADDITIONAL INFORMATION
Please email inquiries to spreen@informatik.uni-siegen.de.
28TH ANNUAL INTERNATIONAL SYMPOSIUM DEVOTED TO LOGIC (LOGICA 2014)
Call for Papers
June 16-20, 2014
Hejnice, Czech Republic
http://www.flu.cas.cz/en/logica2014
* SCOPE
Logica 2014 is the 28th in the series of annual international symposia
devoted to logic. Contributions devoted to any of the wide range of
logical problems are welcome except those focused on specialized technical
applications. Particularly welcome are contributions that cover issues
interesting both for 'philosophically' and for 'mathematically' oriented
logicians.
* IMPORTANT DATES
- Deadline for submissions: 15 February
- Notification of acceptance: by the end of March
* INVITED SPEAKERS
Dorothy Edgington, Dag Prawitz, Graham Priest and Göran Sundholm.
* DETAILS
Detailed information can be found on the webpage.
CONFERENCES ON INTELLIGENT COMPUTER MATHEMATICS (CICM 2014)
Call for Papers
July 7-11, 2014 at University of Coimbra, Portugal
http://www.cicm-conference.org/2014
* SCOPE
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas. The Conferences on Intelligent Computer Mathematics (CICM)
offer a venue for discussing these areas and their synergy.
* TRACKS
- Calculemus (Symbolic Computation and Mechanised Reasoning)
Chair: James Davenport
- DML (Digital Mathematical Libraries)
Chair: Petr Sojka
- MKM (Mathematical Knowledge Management)
Chair: Josef Urban
- Systems and Projects
Chair: Alan Sexton
* ORGANISATION
The local arrangements will be coordinated by the Local Arrangements
Chair, Paedro Quaresma (U. Coimbra, Portugal), and the overall
programme will be organised by the General Program Chair, Stephen Watt
(U. Western Ontario, Canada).
* IMPORTANT DATES
Abstract submission: 28 February 2014
Submission deadline: 7 March 2014
Reviews sent to authors: 4 April 2014
Rebuttals due: 8 April 2014
Notification of acceptance: 14 April 2014
Camera ready copies due: 25 April 2014
* WORK IN PROGRESS AND DOCTORAL PROGRAMME SUBMISSIONS
Submission deadline: 28 April 2014
(Doctoral: Abstract+CV)
Notification of acceptance: 19 May 2014
Camera ready copies due: 26 May 2014
MAKING AUTOMATED REASONING PRACTICAL: ESSAYS IN MEMORY OF MARK STICKEL
Call for Papers
* DEADLINE
Submission Deadline: March 1st, 2014
* AIM
This is a book of collected articles presenting research in all aspects of
automated reasoning, in particular the design of automated reasoning
systems and their applications.
A common theme behind Mark Stickel's work was developing techniques for
building better automated reasoning systems. His discoveries were
ground-breaking and include AC-unification, reasoning modulo a theory, term
indexing, and thorough development of the SNARK and PTTP provers. In 2002 he
received the Herbrand award for all his work, the highest award in automated
reasoning (http://www.cadeinc.org/).
We would like to honour Mark's achievements by editing a Festschrift
comprised of articles in the spirit of his research approach: developing
fundamental techniques driven by practical applications and informed by
rigorous theory.
* SCOPE
We invite high-quality submissions on the general topic of
automated reasoning and its applications, especially but not
exclusively to the design of automated theorem proving systems, with
connections to any of Mark Stickel's research areas:
- Automated theorem proving, including deductive and abductive reasoning
- Implementation of and practice with automated reasoners
- Algorithmics for automated reasoners: unification,
matching, rewriting, indexing
- Integration of general-purpose reasoning with external procedures
- Spatial and temporal reasoning
- Inference control, theory reasoning, semantic guidance for automated reasoners
- Application of automated reasoners in mathematics,
logic, program synthesis, natural language, and natural sciences
- SAT-solving
- Applications related to formal methods
* PUBLICATION DETAILS
It is planned that the book will be published as an LNAI Festschrift
with Springer.
* SUBMISSION INSTRUCTIONS
While it is expected that most of the papers will be regular
technical papers, a few papers that combine scientific content
with recollections of Mark Stickel's work and personality,
as can be written by those who worked with him, are also sought.
All papers will be refereed by anonymous peer reviewers, and
read by the editors, according to the highest standards in terms
of originality, significance, technical quality, and readability.
Submissions must be in English and standard conforming pdf
format. They must be unpublished and not submitted for
publication elsewhere. However, significantly extended versions
of papers published at conferences are welcome. Submissions
of any length will be considered, but final versions may be
limited by the editors depending on the totality of submissions.
Authors are strongly encouraged to produce their papers in LaTeX.
Formatting instructions and the LNCS style files can be obtained
via http://www.springer.de/comp/lncs/authors.html.
Electronic submission via EasyChair is open at
https://www.easychair.org/conferences/?conf=festschriftmarkstick .
In order to facilitate the planning of the book, authors are
invited to notify the editors as soon as possible of their
intention to submit with proposed topic and length. Early
submission would be especially helpful for completing the
review process sooner.
* EDITORS
Peter Baumgartner NICTA and Australian National University,
http://users.cecs.anu.edu.au/~baumgart/
Richard Waldinger SRI International,
http://www.ai.sri.com/~waldinge/
10TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC (AiML 2014)
Call for Papers
August 5-8, 2014
Groningen, The Netherlands
http://www.philos.rug.nl/AiML2014/
* SCOPE
AiML 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-2014 is the tenth 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/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.
* IMPORTANT DATES
Abstract of full paper submission due: 14 March 2014
Full paper submission due: 21 March 2014
Full paper notification: 2 May 2014
Short presentation submission due: 12 May 2014
Short presentation notification: 2 June 2014
12TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2014)
Grenoble, France
September 1-5, 2014
http://sefm2014.inria.fr/
* AIMS
The aim of the conference is to bring together practitioners and
researchers from academia, industry and government to advance the
state of the art in formal methods, to scale up their application in
the software industry and to encourage their integration with
practical engineering methods. Papers that apply formal methods to
software engineering are especially welcome.
* IMPORTANT DATES
Abstract Submission: March 14, 2014
Paper Submission: March 21, 2014 (AoE)
Notification: May 19, 2014
Camera Ready: June 13, 2014
* TOPICS OF INTEREST
- Formal requirement analysis, modeling, specification and design
- Abstraction and refinement
- Formal methods for probabilistic verification and synthesis
- Programming languages, program analysis and type theory
- Formal methods for self-adaptive systems, service-oriented and cloud computing
- Formal aspects of security and mobility
- Model checking, theorem proving and decision procedures
- Formal methods for real-time, hybrid and embedded systems
- Formal methods for safety-critical, fault-tolerant and secure systems
- Software architecture and coordination languages
- Software verification and validation
- Component, object and multi-agent systems
- Formal aspects of software evolution and maintenance
- Formal methods for testing, re-engineering and reuse
- Light-weight and scalable formal methods
- Tool integration
- Applications of formal methods, industrial case studies and technology transfer
- Education and formal methods
* SUBMISSION
We solicit two categories of papers:
- Research papers should describe fully developed work and should not
exceed 15 pages (including appendices). Authors of papers reporting
experimental work are strongly encouraged to make their experimental
results available to reviewers. Case study papers should describe
significant case studies and lessons learned.
- Tool papers should describe an operational tool and its
contributions. Tool papers should not exceed 6 pages. Please include
the URL of the tool (if available).
* CHAIR
Radu Mateescu - Inria Grenoble, Rhoene-Alpes, France
* PROGRAM CHAIRS
Dimitra Giannakopoulou, NASA Ames, USA
Gwen Sala?n, Grenoble INP, Inria, France
LASER SUMMER SCHOOL ON SOFTWARE ENGINEERING (LASER 2014)
Call for Participation
Leading-Edge Software Engineering
September 7-13, 2014 - Elba Island, Italy
http://laser.inf.ethz.ch/2014/
* GOALS
The LASER summer school, organized by the ETH Chair of Software
Engineering, brings together the concepts and practice of software
engineering in the idyllic setting of the Elba Island off the coast of
Tuscany, easily reachable by air, car, bus or train.
The LASER school is intended for professionals from the industry
(engineers and managers) as well as university researchers, including
PhD students. Participants learn about the most important software
technology advances from the pioneers in the field. The school's focus
is applied, although theory is welcome to establish solid foundations.
The format of the school favors extensive interaction between
participants and speakers.
* TOPIC AND SPEAKERS
The LASER school is 10 years old! To celebrate this anniversary,
we have gone not for a narrow topic but for a selection of brilliant
speakers who will describe leading-edge research in a variety of areas
of software engineering, both conceptual and applied:
- Harald C. Gall (University of Zurich)
- Daniel Jackson (MIT)
- Michael Jackson (The Open University)
- Erik Meijer (Applied Duality)
- Bertrand Meyer (ETH Zurich)
- Gail C. Murphy (University of British Columbia)
- Moshe Y. Vardi (Rice University)
* HOW TO APPLY
Use the online registration form available on the LASER website
http://laser.inf.ethz.ch/2014. Registration is open until March 31,
2014. The number of participants is strictly limited to ensure quality
interaction with the lecturers and the rest of the audience. For more
information, visit our website or contact the organizers:
se-laser@lists.inf.ethz.ch
14TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2014)
Call for Papers
September 22-25, 2014
Toronto, Canada
http://rv2014.imag.fr/
* SCOPE
Runtime verification is concerned with monitoring and analysis of software
and hardware system executions. Runtime verification techniques are crucial
for system correctness, reliability, and robustness; they are significantly
more powerful and versatile than conventional testing, and more practical
than exhaustive formal verification. Runtime verification can be used prior
to deployment, for testing, verification, and debugging purposes, and after
deployment for ensuring reliability, safety, and security and for providing
fault containment and recovery as well as online system repair.
* TECHNICAL RESEARCH PAPERS TRACK
Technical research papers can be submitted in two categories: regular and
short papers.
- Regular papers (up to 15 pages) should present original unpublished results.
Theoretical and experimental papers as well as papers on applications of
runtime verification and case studies are all welcome. A non-monetary Best
Paper Award will be given. A selection of accepted regular papers will be
invited to appear in a special issue of the Springer Journal on Formal
Methods in System Design.
- Short papers (up to 5 pages) may present novel but not necessarily
thoroughly worked out ideas, for example emerging runtime verification
techniques and applications, or techniques and applications that establish
relationships between runtime verification and other domains. Accepted
short papers will be presented in special short talk (10 minutes) and
poster sessions.
* TOOL DEMONSTRATION TRACK
The aim of the RV 2014 tool demonstration track is to provide an opportunity
for researchers and practitioners to show and to discuss the latest advances,
experiences and challenges in devising and developing reliable software
tools for runtime verification. Tool papers should meet the following criteria:
A tool paper should present a new tool, a new tool component or novel
extensions to existing tools supporting runtime verification. Each submission
should be original and not published previously in a tool paper form.
Each submission must not exceed 8 pages in the LNCS/Springer proceeding
format, including all text, references and figures. The paper must be written
in English and provided in PDF format.
Each submission must be accompanied at the time of the submission by a short
screencast (between 5-10 minutes), with voice and overlay text commentary
illustrating the demonstration of the tool (a link to it should be provided
in the paper).
* IMPORTANT DATES
Abstract deadline: April 8, 2014
Full paper deadline: April 15, 2014
Rebuttal phase: May 18-20, 2014
Acceptance notification: June 10, 2014
Camera ready submission: June 25, 2014
Conference dates: 22-25 September, 2014
88TH WORKSHOP ON GENERAL ALGEBRA (AAA88)
June 19-22, 2014
Warsaw, Poland
http://www.mini.pw.edu.pl/aaa88
* LOCATION
The conference location is the new home of mathematics at the Warsaw
University of Technology. The meeting falls within the Stefan Banach
conference series. The scientific program will start on Friday, June 20,
2014, at 9.00, and end on Sunday, June 22, 2014, at 13.00.
The conference will be organized by the Algebra Group at the Warsaw
University of Technology. Support is provided by Warsaw University of
Technology and the Stefan Banach International Mathematical Center.
* TOPICS
The main topics of the conference are related to the traditional areas
of the AAA conferences, with special emphasis on the following:
1. Non-classical algebraic structures;
2. Universal algebra and lattice theory;
3. Applications of algebra in logic, combinatorics and computer science;
4. Classical algebraic structures, especially in connection with
universal-algebraic methods.
* PROGRAMME
The list of invited speakers includes:
- Ales Drapal, Charles University, Prague, Czech Republic
- Mai Gehrke, Universite Paris Diderot, Paris, France
- Katarzyna Korwin-Slomczynska, Pedagogical University in Krakow, Poland
- Jonathan D.H. Smith, Iowa State University, Ames, Iowa, USA
- Agnes Szendrei, University of Colorado, Boulder, USA and Szegedi
Tudomanyegyetem, Hungary
- Mikhail Volkov, Ural Federal University, Ekaterinburg, Russia
The program will comprise several longer keynote plenary lectures, a number
of shorter plenary lectures, and a larger number of 20-minute contributed talks.
* FURTHER INFORMATION
The conference website has been set up at http://www.mini.pw.edu.pl/aaa88
Further information concerning the online registration and submission of
abstracts, conference fee, accommodation, possible financial support, and
conference proceedings will be provided on the conference website later.
The site will be updated regularly.
* ORGANIZING COMMITTEE
G. Binczak, T. Brengos, N. Dojer, A. Mucka, A. Pilitowska, A. Romanowska,
M. Stronkowski, A. Zamojska-Dzienio, M. Ziembowski
* SCIENTIFIC COMMITTEE
E. Aichinger, A. Pilitowska, A. Romanowska, J.D.H. Smith
FORMAL METHODS POSITIONS AT FIREEYE IN DRESDEN, GERMANY
* FireEye Inc. seeks outstanding formal-methods experts to join
FireEye's software verification team in Dresden, Germany.
Applicants should have strong knowledge in logical reasoning,
software modeling and formal software verification.
* FireEye is a next generation security company that provides the
industry's leading cross-enterprise threat protection
technology to dynamically identify and block cyber-attacks in
real time. FireEye was ranked fourth fastest growing company in
North America and won the Wall Street Journal Innovation Award
in 2012. By joining FireEye you may contribute to protect the
world from the next generation of cyber-attacks!
* If you are interested or have questions, please contact
Hendrik Tews via Dresden@FireEye.com or
Roland Carter or visit FireEye's
careers page at http://FireEye.com/careers . Look up
http://FireEye.com for more information about FireEye.
FONDATION SCIENCES MATHEMATIQUES DE PARIS POSITIONS
* The calls for applications for the programs of the Fondation Sciences
Mathematiques de Paris for academic year 2014-2015 are still open.
- Research chair of excellence: until December 12th 2013 at 11:59 p.m.
Program description:
http://www.sciencesmaths-paris.fr/en/the-foundations-research-chair-353.htm
The pre-project is optional. Applications that have not filed a pre-project
are still acceptable.
Online application form:
http://www.sciencesmaths-paris.fr/en/the-research-chairs-position-561.htm
- Junior chair: until December 12th 2013 at 11:59 p.m.
Program description:
http://www.sciencesmaths-paris.fr/en/junior-chair-245.htm
Online application form:
http://www.sciencesmaths-paris.fr/en/2012-2013-applications-for-junior-chair-379.htm
- Postdoctoral program: until December 1st 2013 at 11:59 p.m.
Program description:
http://www.sciencesmaths-paris.fr/en/postdoctoral-programmes-247.htm
Online application form:
http://www.sciencesmaths-paris.fr/en/2012-2013-postdoctoral-positions-380.htm
- PGSM International: until January 27th 2014 at 11:59 p.m.
Program description:
http://www.sciencesmaths-paris.fr/en/pgsm-international-264.htm
Online application form:
http://www.sciencesmaths-paris.fr/en/call-for-pgsm-international-387.htm
Back to the LICS web page.