cie-logo   Association CiE


1) EARLY REGISTRATION DEADLINE: CiE 2014, Budapest (Hungary), 23-27 Jun 2014

COMPUTABILITY IN EUROPE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014



There is a remarkable difference in conference style between
computer science and mathematics conferences. Mathematics
conferences allow for informal presentations that are prepared
very shortly before the conference and inform the participants
about current research and work in progress. The format of
computer science conferences with pre-conference proceedings is
not able to accommodate this form of scientific communication.

Continuing the tradition of past CiE conferences, also this
year's CiE conference endeavours to get the best of both worlds.
In addition to the formal presentations based on our LNCS
proceedings volume, we invite researchers to present informal
presentations. For this, please send us a brief description of
your talk (between one paragraph and one page) by the


APRIL 14, 2014

Please submit your abstract electronically, via EasyChair
, selecting the
category "Informal Presentation".

You will be notified whether your talk has been accepted for
informal presentation usually within a week or two after your

2) TPNC 2014: 1st call for papers


TPNC 2014

Granada, Spain

December 9-11, 2014

Organized by:

Soft Computing and Intelligent Information Systems (SCI2S)
University of Granada

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University


TPNC is a conference series intending to cover the wide spectrum of
computational principles, models and techniques inspired by information
processing in nature. TPNC 2014 will reserve significant room for young
scholars at the beginning of their career. It aims at attracting
contributions to nature-inspired models of computation, synthesizing =
by means of computation, nature-inspired materials, and information
processing in nature.


TPNC 2014 will take place in Granada, in the region of Andaluc=EDa, to =
south of Spain. The city is the seat of a rich Islamic historical =
including the Moorish citadel and palace called Alhambra.


Topics of either theoretical, experimental, or applied interest include, =
are not limited to:

* Nature-inspired models of computation:

- amorphous computing
- cellular automata=20
- chaos and dynamical systems based computing
- evolutionary computing
- membrane computing
- neural computing
- optical computing =20
- swarm intelligence=20

* Synthesizing nature by means of computation:

- artificial chemistry
- artificial immune systems
- artificial life

* Nature-inspired materials:

- computing with DNA
- nanocomputing
- physarum computing
- quantum computing and quantum information
- reaction-diffusion computing

* Information processing in nature:

- developmental systems=20
- fractal geometry
- gene assembly in unicellular organisms
- rough/fuzzy computing in nature
- synthetic biology
- systems biology

* Applications of natural computing to: algorithms, bioinformatics, =
cryptography, design, economics, graphics, hardware, learning, =
optimization, pattern recognition, programming, robotics, =

A flexible "theory to/from practice" approach would be the perfect focus =
the expected contributions.


TPNC 2014 will consist of:

- invited talks
- invited tutorials
- peer-reviewed contributions




Hussein A. Abbass (Canberra, AU)
Uwe Aickelin (Nottingham, UK)
Thomas B=E4ck (Leiden, NL)
Christian Blum (San Sebasti=E1n, ES)
Jinde Cao (Nanjing, CN)
Vladimir Cherkassky (Minneapolis, US)
Sung-Bae Cho (Seoul, KR)
Andries P. Engelbrecht (Pretoria, ZA)
Terence C. Fogarty (London, UK)
Fernando Gomide (Campinas, BR)
Inman Harvey (Brighton, UK)
Francisco Herrera (Granada, ES)
Tzung-Pei Hong (Kaohsiung, TW)
Thomas Jansen (Aberystwyth, UK)
Yaochu Jin (Guildford, UK)
Okyay Kaynak (Istanbul, TR)
Satoshi Kobayashi (Tokyo, JP)
Soo-Young Lee (Daejeon, KR)
Derong Liu (Chicago, US)
Manuel Lozano (Granada, ES)
Carlos Mart=EDn-Vide (Tarragona, ES, chair)
Ujjwal Maulik (Kolkata, IN)
Risto Miikkulainen (Austin, US)
Frank Neumann (Adelaide, AU)
Leandro Nunes de Castro (S=E3o Paulo, BR)
Erkki Oja (Aalto, FI)
Lech Polkowski (Warsaw, PL)
Brian J. Ross (St. Catharines, CA)
Marc Schoenauer (Orsay, FR)
Biplab Kumar Sikdar (Shibpur, IN)
Darko Stefanovic (Albuquerque, US)
Umberto Straccia (Pisa, IT)
Thomas St=FCtzle (Brussels, BE)
Ponnuthurai N. Suganthan (Singapore, SG)
Johan Suykens (Leuven, BE)
El-Ghazali Talbi (Lille, FR)
Jon Timmis (York, UK)
Fernando J. Von Zuben (Campinas, BR)
Michael N. Vrahatis (Patras, GR)
Xin Yao (Birmingham, UK)


Adrian Horia Dediu (Tarragona)
Carlos Garc=EDa-Mart=EDnez (C=F3rdoba)
Carlos Mart=EDn-Vide (Tarragona, co-chair)
Manuel Lozano (Granada, co-chair)
Francisco Javier Rodr=EDguez (Granada)
Florentina Lilica Voicu (Tarragona)


Authors are invited to submit non-anonymized papers in English =
original and unpublished research. Papers should not exceed 12 =
pages (including eventual appendices) and should be prepared according =
the standard format for the Springer Verlag's LNCS series (see

Submissions have to be uploaded to:


A volume of proceedings published by Springer in the LNCS series will be
available by the time of the conference.

A special issue of a major journal will be later published containing
peer-reviewed extended versions of some of the papers contributed to the
conference. Submissions to it will be by invitation.


The period for registration is open from April 5 to December 9, 2014. =
registration form can be found at:


Paper submission: July 17, 2014 (23:59h, CET)
Notification of paper acceptance or rejection: August 24, 2014
Final version of the paper for the LNCS proceedings: September 7, 2014
Early registration: September 7, 2014
Late registration: November 25, 2014
Submission to the post-conference journal special issue: March 11, 2015



TPNC 2014
Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386


Departament d=92Economia i Coneixement, Generalitat de Catalunya
Universidad de Granada
Universitat Rovira i Virgili

3) DCM 2014 - Second Call for Papers

Second Call for Papers

DCM 2014
10th International Workshop on
Developments in Computational Models

July 13, 2014
Vienna, Austria

A satellite event of CSL-LICS 2014

MAY 16, 2014

Several new models of computation have emerged in the last few years, =
and many developments of traditional computational models have been =
proposed with the aim of taking into account the new demands of computer =
systems users and the new capabilities of computation engines. A new =
computational model, or a new feature in a traditional one, usually is =
reflected in a new family of programming languages, and new paradigms of =
software development.

DCM 2014 is the tenth in a series of international workshops focusing on =
new computational models. The aim of this workshop is to bring together =
researchers who are currently developing new computational models or new =
features for traditional computational models, in order to foster their =
interaction, to provide a forum for presenting new ideas and work in =
progress, and to enable newcomers to learn about current activities in =
this area. DCM 2014 will be a one-day satellite event of CSL-LICS 2014, =
in the context of VSL 2014.

Topics of interest include all abstract models of computation and their =
properties, and their applications to the development of programming =
languages and systems:

- functional calculi: lambda-calculus, rho-calculus, term and graph =
- quantum computation, including implementations and formal methods in =
quantum protocols;
- probabilistic computation and verification in modeling situations;
- chemical, biological and bio-inspired computation, including spatial =
models, self-assembly, growth models;
- general concurrent models including the treatment of mobility, trust, =
and security;
- infinitary models of computation;
- information-theoretic ideas in computing.

- Sumbission Deadline for Extended Abstracts: 16 May 2014
- Notification: 6 June 2014
- Workshop: 13 July 2014
- Submission Deadline for EPTCS Proceedings: 15 September 2014

Submit your paper in PDF format via the conference EasyChair submission =

Submissions should be an abstract of at most 5 pages, written in =
English. Simultaneous submission to journals, conferences or other =
workshops is not permitted. Please use the EPTCS macro package and =
follow the instructions of EPTCS, following the EPTCS style:

A submission may contain an appendix, but reading the appendix should =
not be necessary to assess its merits. After the workshop authors are =
invited to submit a full paper of their presentation. Accepted =
contributions will appear in an issue of EPTCS.

Ian Mackie (joint with TERMGRAPH 2014), CNRS, France
Michele Pagani, Paris Nord, France

Ugo Dal Lago (Universit=E0 di Bologna) - chair
Nachum Dershowitz (Tel Aviv University)
Joerg Endrullis (Vrije Universiteit Amsterdam)
Jerome Feret (INRIA - Ecole normale sup=E9rieure)
Jasmin Fisher (Microsoft Research)
Russ Harmer (CNRS & ENS Lyon) - chair
Radu Mardare (Department of Computer Science, Aalborg University)
Damian Markham (CNRS)
Elvira Mayordomo (Universidad de Zaragoza)
Beno=EEt Valiron (PPS - Universit=E9 Paris Diderot)
Daniele Varacca (PPS - CNRS and University Paris Diderot)

Further information: Ugo Dal Lago
Russ Harmer

4) DCFS 2014 (Turku, Finland): Deadline Extension

2nd Call for Papers -- DCFS 2014 -- Deadline Extension

16th International Workshop on Descriptional Complexity of Formal =

Turku, Finland

August 5--8, 2014

Due to numerous requests, the organizers have decided to extend
the submission deadline for DCFS by one week, to Friday, the 18th of =

DCFS 2014 will be held in Turku, Finland, on August 5--8, 2014. It will =
preceded by NCMA 2014 in Kassel, Germany (July 28--29) and CIAA 2014 in
Giessen, Germany (July 30--August 2).

The workshop is organized by the research centre on Fundamentals of =
and Discrete Mathematics (FUNDIM) at the Department of Mathematics and
Statistics, University of Turku.

Invited Speakers=20

Andris Ambainis (University of Latvia, Latvia)
Oscar H. Ibarra (University of California at Santa Barbara, USA)
Manfred Kufleitner (University of Stuttgart, Germany)=20
Nikolay Vereshchagin (Moscow State University, Russia)

Important Dates=20

Submission deadline: April 18, 2014 **EXTENDED**
Notification: May 16, 2014
Final version: May 30, 2014
Conference dates: August 5--8, 2014

Topics of interest=20

Submissions concerning the descriptional complexity of formal systems
and structures (and its applications) are invited for DCFS 2014. Topics
related to all aspects of descriptional complexity, including, but not
limited to:

- automata, grammars, languages and other formal systems, various modes
of operation and complexity measures,

- trade-offs between computational models and modes of operation,

- succinctness of description of objects, state explosion-like =

- circuit complexity of Boolean functions and related measures,

- resource-bounded or structure-bounded environments,

- frontiers between decidability and undecidability,

- universality and reversibility,

- structural complexity,

- formal systems for applications (e.g., software reliability, software
and hardware testing, modelling of natural languages),

- nature-motivated (bio-inspired) architectures and unconventional
models of computing,

- complexity aspects of combinatorics on words,

- Kolmogorov complexity.


The papers should present original research contributions concerning
the topics of the workshop. They should not exceed 12 pages when
prepared using LaTeX and the style of the Springer Lecture Notes in
Computer Science. The style-file is available from Springer by the
following link:

Papers must be written in English and must provide sufficient detail for
the program committee to assess their merits. If the authors believe =
more details are essential to substantiate the main claims, they may
include a clearly marked appendix that will be read at the discretion of
the program committee. Simultaneous submission to journals or to other
conferences with published proceedings is not allowed.

Papers should be submitted as pdf files electronically using the =
EasyChair system:

The proceedings will be published in the Springer Lecture Notes in
Computer Science (LNCS) series and will be available at the workshop.
Accepted papers must be presented at the workshop. As in the previous
years, a special journal issue with full versions of selected papers
will be devoted to DCFS 2014.

Discussion/open problems session

The organizers are prepared to reserve some time for "discussion papers"
reporting on open problems, work in progress, etc. Speakers are invited
to express their interest to the organizing committee by the end of May.
If there is a sufficient interest in the community, a local proceedings
volume dedicated to the discussion session may be published. The details
will be announced later.

Programme Committee

Cristian Calude (University of Auckland, New Zealand)=20
Frank Drewes (Umea University, Sweden)=20
Viliam Geffert (P. J. Safarik University, Kosice, Slovakia)=20
Helmut Jurgensen (University of Western Ontario, Canada, co-chairman)=20
Christos Kapoutsis (Carnegie Mellon University, Qatar)=20
Juhani Karhumaki (University of Turku, Finland, co-chairman)=20
Michal Kunc (Masaryk University, Brno, Czech Republic)=20
Martin Kutrib (University of Giessen, Germany)=20
Christof Loding (RWTH Aachen, Germany)=20
Pierre McKenzie (University of Montreal, Canada; ENS Cachan, France)=20
Alexander Okhotin (University of Turku, Finland, co-chairman)=20
Giovanni Pighizzini (Universita degli Studi di Milano, Italy)=20
Kai Salomaa (Queen's University, Canada)=20
Klaus Sutner (Carnegie Mellon University, USA)=20
Damien Woods (California Institute of Technology, USA)=20

Steering Committee=20

Erzsebet Csuhaj-Varju (Budapest, Hungary)=20
Jurgen Dassow (Magdeburg, Germany)=20
Helmut Jurgensen (London, Canada)=20
Martin Kutrib (Giessen, Germany)=20
Giovanni Pighizzini (Milano, Italy, chair)=20
Detlef Wotschke (Frankfurt, Germany)=20


Web page:
E-mail: dcfs2014 AT utu DOT fi

5) FLoC workshop on proof complexity - Call for Presentations

(=46rom Olaf Beyersdorff)

FLoC workshop on proof complexity - Call for Presentations

Vienna, July 12/13 2014

The workshop will be part of the Vienna Summer of Logic and will be =
affiliated with the conferences SAT'14 and CSL/LICS'14.

=3D=3D=3D Important Dates =3D=3D=3D

16 May 2014 ........ Abstract submission
2 June 2014 ....... Notification to authors
12-13 July 2014 .... Workshop in Vienna

=3D=3D=3D Scope =3D=3D=3D

Proof complexity is the study of the complexity of theorem proving =
procedures. The central question in proof complexity is: given a theorem =
F (e.g. a propositional tautology) and a proof system P (i.e., a =
formalism usually comprised of axioms and rules), what is the size of =
the smallest proof of F in the system P? Moreover, how difficult is it =
to construct a small proof? Many ingenious techniques have been =
developed to try to answer these questions, which bare tight relations =
to intricate theoretical open problems from computational complexity =
(such as the celebrated P vs. NP problem), mathematical logic (e.g. =
separating theories of Bounded Arithmetic) as well as to practical =
problems in SAT solving.

=3D=3D=3D Invited Speakers =3D=3D=3D

Albert Atserias (UPC Barcelona)
Jakob Nordstrom (KTH Royal Institute of Technology)
Pavel Pudlak (Czech Academy of Sciences)
Iddo Tzameret (Tsinghua University)

=3D=3D=3D Submissions =3D=3D=3D

We welcome 1-2-page abstracts presenting (finished, ongoing, or if =
clearly stated even recently published) work on proof complexity. =
Particular topics of interest are

* Proof Complexity
* Bounded Arithmetic
* Relations to SAT solving
* Relations to Computational Complexity

=3D=3D=3D Submission Guidelines =3D=3D=3D

Abstracts are invited of ongoing, finished, or (if clearly stated) even =
recently published work on a topic relevant to the workshop.=20

The abstracts will appear in electronic pre-proceedings that will be =
distributed at the meeting.

Abstracts (at most 2 pages, in LNCS style) are to be submitted =
electronically in PDF via EasyChair

Accepted communications must be presented at the workshop by one of the =

=3D=3D=3D Program Committee =3D=3D=3D

Arnold Beckmann (Swansea University)
Eli Ben-Sasson (Technion, Haifa)
Olaf Beyersdorff (University of Leeds) - chair
Jan Johannsen (LMU Munich) - chair
Massimo Lauria (KTH Royal Institute of Technology, Stockholm)

=3D=3D=3D Organizers =3D=3D=3D

Olaf Beyersdorff (University of Leeds)
Jan Johannsen (LMU Munich)=20

6) PSC 2014: Proof, Structure and Computation, Vienna (Austria), 17-18 Jul 2014

Call for papers

PSC 2014: Proof, Structure and Computation 2014

CSL-LICS Workshop

July 17-18, 2014, Vienna, Austria

=3D=3D=3D Highlights =3D=3D=3D

- PSC welcomes submissions of short abstracts: 1-2 pages in LNCS format
- Invited speakers: Ulrich Berger and Martin Escardo
- Post-proceedings are planned for a journal special issue

=3D=3D=3D Important Dates =3D=3D=3D

1 May 2014 ...................... Abstract submission
16 May 2014 ................... Notification to authors
16 June 2014. ................. Camera-ready abstracts for electronic
17-18 July 2014? .... PSC in Vienna

=3D=3D=3D Scope =3D=3D=3D

The extraction of computational content from proofs has a long tradition =
in logic, but usually depends on a concrete encoding that allows us to =
turn proofs into algorithms. A recent trend in this field is the =
departure from such encoding which not only makes it simpler to =
represent the mathematical content, but also makes the extracted =
computational content encoding independent. This shift in focus allows =
us to focus on what is relevant: the computational aspects of proofs and =
the specification (not representation) of the structures involved. We =
now have growing evidence that this move from representations (e.g. the =
signed digit representation of the reals) to axioms (e.g. of the real =
numbers) is possible. This development largely parallels the step from =
assembler to high level languages in programming. As a by-product this =
move has already opened up the possibility to gain computational =
information from axiomatic proofs in more abstract and genuinely =
structural areas of mathematics such as algebra and topology.

=3D=3D=3D Invited Speakers =3D=3D=3D

Ulrich Berger (Swansea University, UK)
Martin Escardo (University of Birmingham, UK)

=3D=3D=3D Submissions =3D=3D=3D

We welcome 1-2-page abstracts presenting (finished, ongoing, or if
clearly stated even published) work on proof, structure, and =
Particular topics of interest are

* Proof Theory
* Program Extraction
* Constructive Mathematics
* Topology and Computation
* Realisability Semantics
* Coalgebra and Computation
* Categorical Models
* Domain Theory
* Interval Analysis

=3D=3D=3D Submission Guidelines =3D=3D=3D

Abstracts are invited of ongoing, finished, or (if clearly stated) even
published work on a topic relevant to the workshop.

The abstracts will appear in electronic pre-proceedings that will be
distributed at the meeting.

Abstracts (at most 2 pages, in LNCS style) are to be be submitted
electronically in PDF via EasyChair

Accepted communications must be presented at the workshop by one of the

=3D=3D=3D Special Issue =3D=3D=3D

We plan to invite extended versions of selected abstract with original
work to post-proceedings in a journal special issue. They will be
peer-reviewed according to the standard journal policy.

=3D=3D=3D Program Committee =3D=3D=3D

Neil Ghani (University of Strathclyde, UK)
Helle Hvid Hansen (Radboud University Nijmegen, NL)
Rosalie Iemhoff (Utrecht University, NL)
Bjoern Lellmann (TU Vienna, AT)
Sara Negri (University of Helsinki, FI)
Dirk Pattinson (ANU, AU), PC chair
Dieter Probst (University of Bern, CH)
Peter Schuster (University of Leeds, UK), PC chair
Alex Simpson (University of Edinburgh, UK)
Ana Sokolova (University of Salzburg, Austria), PC chair

=3D=3D=3D Organizing Committee =3D=3D=3D

Dirk Pattinson (ANU, Australia), PC chair
Peter Schuster (University of Leeds, UK), PC chair
Ana Sokolova (University of Salzburg, Austria), PC chair

=3D=3D=3D Contact =3D=3D=3D

7) ICTCS 2014: Italian Conference on Theoretical Computer Science, Perugia (Italy), 17-19 Sep 2014

======================= CALL FOR PAPERS =============================

ICTCS 2014
Fifteenth Italian Conference on Theoretical Computer Science
Perugia, Italy, September 17-19, 2014

Conference proceedings on CEUR Workshop Proceedings Series
Post-conference selection on Theoretical Computer Science


ICTCS-2014, the 2014 Italian Conference on Theoretical Computer Science,
is the 15th conference of the Italian Chapter of EATCS. It will
be held in Perugia, September 17-19 2014 at the Department of
Mathematics and Computer Science.

The scope of the meeting is fostering the cross-fertilisation of
ideas stemming from different areas of theoretical computer science.
Hence, the Italian Conference on Theoretical Computer Science
represents an occasion for meeting and exchanging ideas and for
sharing experiences between researchers. It also provides the ideal
environment where junior researchers and PhD students can meet
senior researchers.

Contributions in any area of theoretical computer science are
warmly solicited. Typical, but not exclusive, topics of interest

automata theory
automated theorem proving
complexity theory
computational logic
computational social choice
distributed computing
dynamical systems
formal methods
game theory
graph theory
knowledge representation
model checking
process algebras
quantum computing
rewriting systems
security and trust
specification and verification
systems biology

The event is open to both Italian and foreign researchers,
which are welcome to submit papers and attend the Conference.

Invited speakers:

Rocco De Nicola. IMT - Institute for Advanced Studies, Lucca
Giuseppe Liotta. Department of Engineering, University of Perugia

Program co-chairs:
Stefano Bistarelli (Univ. di Perugia)
Andrea Formisano (Univ. di Perugia)

Program committee:

Paolo Baldan (Univ. di Padova)
Giampaolo Bella (Univ. di Catania)
Marco Bernardo (Univ. di Urbino)
Davide Bilo (Univ. di Sassari)
Stefano Bistarelli (Univ. di Perugia)
Michele Boreale (Univ. di Firenze)
Tiziana Calamoneri (Sapienza Univ. di Roma)
Antonio Caruso (Univ. del Salento)
Ferdinando Cicalese (Univ. di Salerno)
Flavio Corradini (Univ. di Camerino)
Giorgio Delzanno (Univ. di Genova)
Mariangiola Dezani (Univ. di Torino)
Eugenio Di Sciascio (Politecnico di Bari)
Agostino Dovier (Univ. di Udine)
Marco Faella (Univ. di Napoli "Federico II")
Michele Flammini (Univ. di L'Aquila)
Andrea Formisano (Univ. di Perugia)
Maurizio Gabbrielli (Univ. di Bologna)
Fabio Gadducci (Univ. di Pisa)
Raffaella Gentilini (Univ. di Perugia)
Laura Giordano (Univ. del Piemonte Orientale)
Giuseppe F. Italiano (Univ. di Roma "Tor Vergata")
Sabrina Mantaci (Univ. di Palermo)
Isabella Mastroeni (Univ. di Verona)
Manuela Montangero (Univ. di Modena e Reggio Emilia)
Maurizio Proietti (IASI-CNR)
Antonino Salibra (Univ. Ca'Foscari Venezia)
Francesco Santini (IIT-CNR, Univ. di Perugia)
Marinella Sciortino (Univ. di Palermo)
Maurice ter Beek (ISTI-CNR)

Dipartimento di Matematica e Informatica Universita` degli Studi di Perugia
via Vanvitelli, 1 I-06123 Perugia, Italy

Local contacts:
Conference Chairs: Stefano Bistarelli & Andrea Formisano
Conference web-site:

Important dates:
Submission deadline: 27 May 2014
Notification of acceptance: 15 July 2014
Final version: 10 August 2014
Conference: 17-19 September 2014

Two types of contributions are solicited:

Communications: up to 5 pages in llncs style.
Suitable for extended abstracts of papers already appeared, or
submitted, or to be submitted, elsewhere; papers reporting on
ongoing researches on which the authors wish to get feedback
at ICTCS and possibly intended to be included in future
publications; overviews of PhD-theses, research projects, etc...

Regular papers: up to 12 pages in llncs style.
Full original papers, presenting novel results, not appeared or
submitted elsewhere.

In case of need, to ease the rewiewing process, the authors of regular
papers may add an appendix containing further material (or indicate
a web site containing longer version of the paper). In any case the
reviewers are not required to consider such furhter material in their

For each accepted contribution, at least one of the authors is required
to attend at the conference and present the paper.
All accepted contribution (communications and regular papers), presented
at the conference, will appear in a number of CEUR Workshop Proceedings

Articles must be written in English and formatted using the
Springer LNCS style (see the details on the conference web site).

Submission page:
Authors are invited to submit their manuscripts in PDF via the
EasyChair system at the link:

Post-conference issue on Theoretical Computer Science:

Selected papers from ICTCS-2014 will be invited to a special issue
of the journal Theoretical Computer Science.
The authors of a selection of the regular papers presented at the
conference will be asked to submit an improved version of their papers.
The selection will be determined by considering the outcome of the
conference reviewing phase.
The papers submitted for the journal issue should have been significantly
revised and extended with respect to the conference versions.
A second reviewing process, meeting the high standard of quality of the
international journal will select the papers to be accepted for the
special issue, among the invited ones.

8) TCS 2014 : 2nd Call for papers

8th IFIP International Conference on Theoretical Computer Science

TCS 2014
September 1=963, 2014 Rome, Italy

Held in conjunction with the
25th Conference on Concurrency Theory (CONCUR 2014)

Conference Co-Chairs

Daniele Gorla Sapienza Universita` di Roma
Rossella Petreschi Sapienza Universita` di Roma

Under the patronage of the International Federation of Information
Processing (IFIP), since year 2000 the IFIP Technical Committee 1
(Foundations of Computer Science) has organized a series of biannual
international conferences in Theoretical Computer Science. After Sendai
(2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano =
(2008), Brisbane (2010), and Amsterdam (2012), the 8th edition will be =
held in Rome in September 2014, in cooperation with the IFIP Working =
Group 2.2 (Formal Description of Programming Concepts) and in =
conjunction with the 25th Conference on Concurrency Theory.

We call for papers in all areas of Theoretical Computer Science: they =
will be evaluated by two committees:

Track A - Algorithms, Complexity and Models of Computation;
Track B - Logic, Semantics, Specification and Verification.

Topics Suggested, but not exclusive, topics of interest include:

Track A - analysis and design of algorithms; automata and formal =
languages; cellular automata and systems; combinatorial, graph and =
optimization algorithms; computational learning theory; computational =
complexity; computational geometry; cryptography; descriptive =
complexity; evolutionary and genetic computing; experimental algorithms; =
mobile computing; molecular computing and algorithmic aspects of =
bioinformatics; network computing; neural computing; parallel and =
distributed algorithms; probabilistic and randomized algorithms; quantum =
computing; structural information and communication complexity.

Track B - automata theory; automated deduction; constructive and
non-standard logics in computer science; concurrency theory and =
foundations of distributed and mobile computing; database theory; finite =
model theory; formal aspects of program analysis, foundations of hybrid =
and real-time systems; lambda and combinatory calculi; logical aspects =
of computational complexity; modal and temporal logics; model checking =
and verification; probabilistic systems; logics and semantics of =
programs; foundations of security; term rewriting; specifications; type, =
proof and category theory in computer science.

Invited Speakers

Track A Giuseppe F. Italiano Universita` di Roma "Tor Vergata"

Track A Jane Hillstone University of Edinburgh

Important Dates

Deadline for submission: April 27, 2014.
Notification of acceptance: June 25, 2014.
Final manuscript due: July 6, 2014.
Conference: September 1=963, 2014.

Submission Guidelines

Authors are invited to submit an extended abstract of at most 15 pages
(LNCS style with at least 11-point font size) to arrive before April 27,
2014. If more space is needed, a clearly marked appendix, to be read at
the discretion of the program committee, may be included if desired.
Submission will be handled by EasyChair. Further information and
submission details can be found on the Conference web page. Simultaneous =
submissions to other conferences with published proceedings are not =


The conference proceedings will be published by Springer-Verlag in =
Lecture Notes in Computer Science (LNCS) series. Selected papers from =
TCS 2014 will be invited to a special issue of the Journal Theoretical =
Computer Science.

Program Committees

Track A

Cristian Calude University of Auckland
Josep Diaz (Chair) UPC Barcelona
Irene Finocchi Sapienza Universita` di Roma
Paola Flocchini University of Ottawa
Aristides Gionis Aalto University Helsinki
Mordecai Golin Hong Kong University of Tech.
Juhani Karhuma"ki Turku University
Massimo Melucci Universita` di Padova
Elvira Mayordomo Universidad de Zaragoza
Friedhelm Meyer auf der Heide Univ. of Paderborn
Pekka Orponen Aalto University Helsinki
Giuseppe Persiano Universita` di Salerno
Ge'raud Se'nizergues Universite' Bordeaux 1
Olivier Serre CNRS / Universite' Paris 7
Paul Spirakis University of Liverpool
Osamu Watanabe Tokyo Inst. of Technology
Peter Widmayer ETH Zurich

Track B

Jos Baeten CWI Amsterdam
Lars Birkedal Aarhus University
Andrei Bulatov Simon Fraser University
James Cheney University of Edinburgh
Ugo Dal Lago Universita` di Bologna
Jose'e Desharnais Universite' Laval
Jo"rg Endrullis Vrije Universiteit Amsterdam
Je'ro=88me Feret ENS Paris
Marcelo Fiore University of Cambridge
Silvio Ghilardi Universita` di Milano
Benjamin Gre'goire INRIA Sophia
Ichiro Hasuo University of Tokyo
Marieke Huisman University of Twente
Jean Krivine CNRS / Universite' Paris 7
Radha Jagadeesan DePaul University, Chicago
Ivan Lanese Universita` di Bologna
Grigore Rosu University of Illinois at U-C
Davide Sangiorgi (Chair) Universita` di Bologna
Vladimiro Sassone University of Southampton
Igor Walukiewicz CNRS / Universite' Bordeaux 1

Steering Committee

Giorgio Ausiello Sapienza Universita` di Roma
Jos Baeten CWI Amsterdam
Jacques Sakarovitch CNRS / Telecom ParisTech

9) Call for Course and Workshop Proposals ESSLLI 2015

(=46rom Achim Jung)

Call for Course and Workshop Proposals
27th European Summer School in Logic, Language and Information
Universitat Pompeu Fabra, Barcelona, Spain
August 3-14, 2015

IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

1 June 2014: Proposal submission deadline 23 September 2014: =
June 2015: Course material due

TOPICS AND FORMAT =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Proposals for courses and workshops at ESSLLI'2015 are invited in all
areas of Logic, Linguistics and Computing Sciences.
Cross-disciplinary and innovative topics are particularly encouraged.

Each course and workshop will consist of five 90 minute sessions,
offered daily (Monday-Friday) in a single week. Proposals for two-week
courses should be structured and submitted as two independent one-week
courses, e.g. as an introductory course followed by an advanced one.
In such cases, the ESSLLI programme committee reserves the right to
accept just one of the two proposals.

All instructional and organizational work at ESSLLI is performed
completely on a voluntary basis, so as to keep participation fees to a
minimum. However, organizers and instructors have their registration
fees waved, and are reimbursed for travel and accommodation expenses
up to a level to be determined and communicated with the proposal
notification. ESSLLI can only guarantee reimbursement for at most one
course/workshop organizer, and can not guarantee full reimbursement of
travel costs for lecturers or organizers from outside of Europe. The
ESSLLI organizers would appreciate any help in controlling the
School's expenses by seeking complete coverage of travel and
accommodation expenses from other sources.

CATEGORIES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Each proposal should fall under one of the following categories.

Such courses are designed to present the basics of a research area, to
people with no prior knowledge in that area. They should be of
elementary level, without prerequisites in the course's topic, though
possibly assuming a level of general scientific maturity in the
relevant discipline. They should enable researchers from related
disciplines to develop a level of comfort with the fundamental
concepts and techniques of the course's topic, thereby contributing to
the interdisciplinary nature of our research community.

Introductory courses are central to ESSLLI's mission. They are
intended to introduce a research field to students, young researchers,
and other non-specialists, and to foster a sound understanding of its
basic methods and techniques. Such courses should enable researchers
from related disciplines to develop some comfort and competence in the
topic considered. Introductory courses in a cross-disciplinary area
may presuppose general knowledge of the related disciplines.

Advanced courses are targeted primarily to graduate students who wish
to acquire a level of comfort and understanding in the current
research of a field.

Workshops focus on specialized topics, usually of current interest.
Workshops organizers are responsible for soliciting papers and
selecting the workshop programme. They are also responsible for
publishing proceedings if they decide to have proceedings.

PROPOSAL GUIDELINES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

Course and workshop proposals should follow closely the following
guidelines to ensure full consideration.

Each course may have no more than two instructors, and each workshop
no more than two organizers. All instructors and organizers must
possess a PhD or equivalent degree by the submission deadline.

Course proposals should mention explicitly the intended course
category. Proposals for introductory courses should indicate the
intended level, for example as it relates to standard textbooks and
monographs in the area. Proposals for advanced courses should specify
the prerequisites in detail.

Proposals must be submitted in PDF format via:

and include all of the following:

a. Personal information for each proposer: Name, affiliation, contact
address, email, homepage (optional)

b. General proposal information: Title, category

c. Contents information:
Abstract of up to 150 words
Motivation and description (up to two pages)
Tentative outline
Expected level and prerequisites
Appropriate references (e.g. textbooks, monographs, proceedings, =

d. Practical information:
Relevant preceding meetings and events, if applicable
Potential external funding for participants

Programme Committee

Chair: Achim Jung (Birmingham)

Language and Computation:
Aurelie Herbelot (Cambridge)
Stefan M=FCller (Berlin)
Language and Logic:
Edgar Onea (G=F6ttingen)
Galit Weidman-Sassoon (Bar-Ilan)
Logic and Computation:
Hubie Chen (Donostia-San Sebasti=E1n)
Stephan Kreutzer (Berlin)


Please send any queries you may have to

10) MFCS 2014: 3rd Call for Papers

3rd Call for Papers
39th International Symposium on
Mathematical Foundations of Computer Science
MFCS 2014

Budapest, August 25--29, 2014

The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS conferences encourage high-quality
research in all branches of theoretical computer science. Their broad
scope provides an opportunity to bring together researchers who do not
usually meet at specialized conferences. Quality papers presenting
original research on theoretical aspects of computer science are

Principal topics of interest include (but are not limited to):
algorithms and data structures (incl. sequential, parallel,
distributed, randomized, approximation, graph, network, on-line,
parameterized, optimization algorithms),
algorithmic game theory,
algorithmic learning theory,
computational complexity (structural and model-related),
computational geometry,
models of computation,
networks (incl. wireless, sensor, ad-hoc networks),
parallel and distributed computing,
quantum computing,
automata, grammars and formal languages,
combinatorics on words, trees, and other structures,
computer-assisted reasoning,
concurrency theory,
cryptography and security,
databases and knowledge-based systems,
formal specifications and program development,
foundations of computing,
logic, algebra and categories in computer science,
types in computer science,
mobile computing,
semantics and verification of programs,
theoretical issues in artificial intelligence.

*Invited Speakers*
Krishnendu Chatterjee (IST Austria, Klosterneuburg, Austria),
Achim Jung (U. of Birmingham, UK),
D\'aniel Marx (Hungarian Academy of Sciences, Budapest, Hungary),
Peter Bro Miltersen (Aarhus U., Denmark),
Cyril Nicaud (U. Paris-Est, Marne-la-Vall\'ee, France),
Alexander Sherstov (UCLA, Los Angeles, USA),
Christian Sohler (TU Dortmund, Germany).

*Program Committee*
Albert Atserias (UPC, Barcelona, Spain),
Giorgio Ausiello (U. ``La Sapienza'', Rome, Italy),
Jos Baeten (CWI, Amsterdam, The Netherlands),
Therese Biedl (U. of Waterloo, Canada),
Miko\laj Boja\'nczyk (Warsaw U., Poland),
Gerth St\olting Brodal (Aarhus U., Denmark),
Christian Choffrut (U. Paris Diderot, France),
Erzs\'ebet Csuhaj-Varj\'u (E\"otv\"os Lor\'and U., Budapest, Hungary,
Rocco De Nicola (IMT Lucca, Italy),
Martin Dietzfelbinger (TU Ilmenau, Germany, co-chair),
Manfred Droste (U. of Leipzig, Germany),
Robert Els\"asser (U. Salzburg, Austria),
Zolt\'an \'Esik (U. of Szeged, Hungary, chair),
Uli Fahrenberg (Irisa/INRIA Rennes, France),
Fedor V. Fomin (U. of Bergen, Norway),
Fabio Gadducci (U. of Pisa, Italy),
Anna G\'al (U. of Texas, Austin, USA),
Dora Giammarresi (U. ``Tor Vergata'', Rome, Italy),
Roberto Grossi (U. of Pisa, Italy),
Anupam Gupta (CMU, Pittsburgh, USA),
Michel Habib (U. Paris Diderot, France),
Kristoffer Arnsfelt Hansen (Aarhus U., Denmark),
Edith Hemaspaandra (RIT, Rochester, USA),
Kazuo Iwama (Kyoto U., Japan),
Yoshihiko Kakutani (U. of Tokyo, Japan),
Juhani Karhum\"aki (U. of Turku, Finland),
Bakhadyr Khoussainov (U. of Auckland, New Zealand),
Elias Koutsoupias (U. of Oxford, UK),
Rastislav Kr\'alovi\v c (Comenius U., Bratislava, Slovakia),
Jan Kratochvil (Charles U., Prague, Czech Republic),
Stefan Kratsch (TU Berlin, Germany),
Amit Kumar (IIT, New Delhi, India),
Kim G. Larsen (Aalborg U., Denmark),
Fr\'ed\'eric Magniez (U. Paris Diderot, Paris, France),
Ralph Matthes (U. Paul Sabatier, Toulouse, France),
Madhavan Mukund (CMI, Chennai, India),
Jean-\'Eric Pin (LIAFA, U. Paris Diderot, and CNRS, Paris, France),
Alexander Rabinovich (Tel Aviv U., Israel),
Peter Rossmanith (RWTH Aachen U., Germany),
Jan Rutten (CWI, Amsterdam, and Radboud U. Nijmegen, The Netherlands),
Wojciech Rytter (Warsaw U., Poland),
Luigi Santocanale (Aix-Marseille U., France),
Christian Scheideler (U. of Paderborn, Germany),
Thomas Schwentick (TU Dortmund, Germany),
Alex Simpson (U. of Edinburgh, UK),
Mohit Singh (Microsoft Research, Redmond, USA),
Klaus Sutner (CMU, Pittsburgh, USA),
G\'abor Tardos (Hungarian Academy of Sciences, Budapest, Hungary),
Gy\"orgy Tur\'an (U. of Illinois, Chicago, USA),
Peter Widmayer (ETH Zurich, Switzerland),
Philipp Woelfel (U. of Calgary, Canada).

*Important dates*
Paper submission deadline: *April 18, 2014.*
Author notification: *June 3, 2014.*
Camera-ready deadline: *June 16, 2014.*
Conference: *August 25--29, 2014.*

*Submission guidelines*
Submissions to MFCS must not exceed 12 pages
(in Springer-Verlag's Lecture Notes style and including bibliography).
If the authors believe that more details are essential to substantiate
the main claims, they may include a clearly marked appendix that will
be read at the discretion of the program committee.
Simultaneous submissions of papers to any other conference with
published proceedings or simultaneous or previous submission of the
same contribution to journals is not allowed. Only electronic
in PDF format are accepted.
Information about the submission procedure is available on the
conference web page. The proceedings will be published in the
*ARCoSS subline of Lecture Notes in Computer Science by
It is planned to have a special issue of*Information and Computation*
to which journal versions of the best papers are invited.

Zolt\'an \'Esik: or
Erzs\'ebet Csuhaj-Varj\'u: or
Martin Dietzfelbinger:

The conference is organized by the Faculty of Informatics,
E\"otv\"os Lor\'and University, Budapest,
and the Department of Foundations of Computer Science,
Faculty of Science and Informatics, University of Szeged,
in cooperation with EATCS.

11) PhD position in RUC

(=46rom Torben = Bra=FCner) 



Roskilde University (RUC) invites applications for a 3 year PhD = scholarship jointly financed by RUC and the research project = Hybrid-Logical Proofs at Work in Cognitive Psychology, which is funded = by the Velux Foundation ( The goal of this project is to use formal logic to investigate = psychological reasoning tests, in particular what are called = False-Belief tests. The project is interdisciplinary and combines = competences from philosophy, psychology, and logic.

For further information, please contact Associate Professor Torben = Bra=FCner, e-mail:

Application must be based on the full announcement on: