cie-logo   Association CiE



CIE Newsletter - No. 76

CiE Newsletter No. 76, January 18th, 2014



Please send any items you would like included in next letter to Olivier Bournez (bournez@lix.polytechnique.fr)
DEADLINE: February 10th, 2014


Happy New Year to all !!


CONTENTS








1) CiE 2014: Language, Life, Limits - extended deadline


FINAL CALL FOR PAPERS (incl. deadline extension due to popular demand)

CiE 2014: Language, Life, Limits
Budapest, Hungary
June 23 - 27, 2014
http://cie2014.inf.elte.hu


IMPORTANT DATES:

EXTENDED Submission Deadline for LNCS: 20 January 2014
Notification of authors: 3 March 2014
Deadline for final revisions: 31 March 2014


FUNDING and AWARDS:

CiE 2014 has received funding for student participation from the =
European Association for Theoretical Computer Science EATCS. Please =
contact the PC chairs if you are interested.

The best student paper will receive an award sponsored by Springer.


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), Ponta =
Delgada (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. We particularly invite papers that build bridges between =
different parts of the research community.

For topics covered by the conference, please visit
http://cie2014.inf.elte.hu/?Topics
We particularly welcome submissions in emergent areas, such as =
bioinformatics and natural computation, where they have a basic =
connection with computability.


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, Csanad Imreh)
Complexity in Automata Theory
(organizers: Markus Lohrey, Giovanni Pighizzini)


Contributed papers will be selected from submissions received by the =
PROGRAM COMMITTEE consisting of:

* Gerard Alberts (Amsterdam) * Sandra Alves (Porto)
* Hajnal Andreka (Budapest) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan) * Olivier Bournez (Palaiseau)
* Vasco Brattka (Munich) * Bruno Codenotti (Pisa)
* Erzsebet Csuhaj-Varju (Budapest, co-chair)
* Barry Cooper (Leeds) * Michael J. Dinneen (Auckland)
* Erich Graedel (Aachen) * Marie Hicks (Chicago IL)
* Natasha Jonoska (Tampa FL) * Jarkko Kari (Turku)
* Elham Kashefi (Edinburgh) * Viv Kendon (Leeds)
* Satoshi Kobayashi (Tokyo) * Andras Kornai (Budapest)
* Marcus Kracht (Bielefeld) * Benedikt Loewe (Amsterdam & Hamburg)
* Klaus Meer (Cottbus, co-chair) * Joseph R. Mileti (Grinnell IA)
* Georg Moser (Innsbruck) * Benedek Nagy (Debrecen)
* Sara Negri (Helsinki) * Thomas Schwentick (Dortmund)
* Neil Thapen (Prague) * Peter van Emde Boas (Amsterdam)
* Xizhong Zheng (Glenside PA)


The PROGRAMME COMMITTEE cordially invites all researchers (European and =
non-European) in computability related areas to submit their papers (in =
PDF format, max 10 pages using the LNCS style) for presentation at CiE =
2014.


The submission site
https://www.easychair.org/conferences/?conf=3Dcie2014
is open.

For submission instructions consult
http://cie2014.inf.elte.hu/?Submission_Instructions

The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.


Contact: Erzsebet Csuhaj-Varju - csuhaj[at]inf.elte.hu

Website: http://cie2014.inf.elte.hu/

=
__________________________________________________________________________=

ASSOCIATION COMPUTABILITY IN EUROPE =
http://www.computability.org.uk
CiE Conference Series =
http://www.illc.uva.nl/CiE
CiE 2014: Language, Life, Limits =
http://cie2014.inf.elte.hu
CiE Membership Application Form =
http://www.lix.polytechnique.fr/CIE
AssociationCiE on Twitter =
http://twitter.com/AssociationCiE
=
__________________________________________________________________________=








2) Call for Papers ICTAC 2014, 17-20 Sept, Bucharest



A Happy and Succesful New Year 2014!

----------------------------------------------------------

CALL FOR PAPERS -- ICTAC 2014

**********************************************************************
11th International Colloquium on Theoretical Aspects of Computing
17-20 September 2014, Bucharest, Romania
http://fmi.unibuc.ro/ictac2014
**********************************************************************

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of
Computing and will bring together practitioners and researchers from
academia, industry and government to present research and to exchange ideas
and experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and tools for
system development. Another aim of ICTAC is to bring together researchers
working on theoretical aspects of computing in order to present their recent
results and to discuss new ideas concerning computer science.

THEMES AND TOPICS OF PAPERS

ICTAC 2014 calls for regular research papers on theories of computation and
programming, foundations of software engineering and on formal techniques in
software design and verification, as well as papers about tools that support
formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but not limited to

* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Logics and their applications;
* Software architectures, their models, refinement and verification;
* Relationship between software requirements, models and code;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Model checking and theorem proving;
* Models of object and component systems;
* Coordination and feature interaction;
* Integration of theories, formal methods and tools for
engineering computing systems;
* Service-oriented architectures: models and development methods;
* Models of concurrency, security, and mobility;
* Theory of distributed, grid and cloud computing;
* Real-time, embedded, hybrid and cyber-physical systems;
* Type and category theory in computer science.

PAPER SUBMISSION

As for the past editions, the proceedings of ICTAC 2014 will be published by
Springer in the series Lecture Notes in Computer Science (LNCS) and will be
available at the colloquium. Special issue of few journals with extended
version of selected papers from ICTAC 2014 is under negotiation. Submissions
to the colloquium must not have been published or be concurrently considered
for publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
as well as their relevance to the conference.

Regular Papers should not exceed 18 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Papers must be
submitted by using www.easychair.org/conferences/?conf=ictac2014.

IMPORTANT DATES:

Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification: 30 May 2014
Revised/final paper: 14 June 2014

PC CHAIRS

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France

PROGRAM COMMITTEE

Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China

GENERAL CHAIRS
Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania

STEERING COMMITTEE

Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA

**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014@fmi.unibuc.ro
**********************************************************************







3) STACS 2014 first call for participation


************************************************************************

STACS 2014 CALL FOR PARTICIPATION

31st International Symposium on Theoretical Aspects of Computer Science

March 5 -March 8, 2014, Lyon, France

http://stacs2014.sciencesconf.org/

************************************************************************

The 31st International Symposium on Theoretical Computer Science
(STACS) will be held from March 5 to March 8, 2014 (Wednesday through
Saturday), on the premises of the ENS Lyon, France.

SCIENTIFIC PROGRAM
******************
The program, which is available at

http://stacs2014.sciencesconf.org/ ,

is composed of 54 contributed and three invited talks as well as a
tutorial and miniworkshop.

INVITED TALKS AND TUTORIAL
**************************
- Javier Esparza, TUM-Technische Universit=E4t M=FCnchen
Keeping a Crowd Safe: On the Complexity of Parameterized Verification
- Peter Bro Miltersen, Aarhus University
Semi-algebraic geometry in computational game theory - a consumer's =
perspective
-Luc Segoufin, INRIA, =C9cole Normale Sup=E9rieure de Cachan
A glimpse on constant delay enumeration
- Neeraj Kayal, Microsoft Research India (tutorial)
Arithmetic Circuit Complexity

REGISTRATION
************
Registration will be through the conference website and will open on
Friday, January the 24th.

http://stacs2014.sciencesconf.org/

INFORMATION
***********
For detailed information on STACS 2014, visit the conference website,

http://stacs2014.sciencesconf.org/

There is a limited amount of modest funding to help students: to apply, =
write to stacs2014@sciencesconf.org with a letter of your advisor before =
Wednesday, February 12th.





4) Second Call for submissions: MSCS special Computable Analysis; Correction


Continuity, = Computability, Constructivity:
=46rom Logic to = Algorithms 2013
Postproceedings

Second Call for = Submissions
CORRECTION



After a year of successful = work in the EU-IRSES project COMPUTAL and an excellent = workshop in Gregynog (Wales) in June last = year, we are planning to publish a special issue of

MATHEMATICAL STRUCTURES IN COMPUTER = SCIENCE

dedicated to the meeting and the project.

The special issue should = reflect progress made in Computable Analysis and related = areas, not only our work in the = project.

Submissions are welcome from all scientists working in fields = like

  • 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.

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)



DEADLINE FOR = ABSTRACTS:

31 = January 2014


DEADLINE FOR FULL PAPERS

28 = February 2014


SUBMISSION (Web address = changed):

We want to split the submission process into two parts: = Please, first submit an abstract of your paper and then later the full = paper.

Please prepare your manuscript using the MSCS style file = which can be downloaded from 

ftp.cup.cam.ac.uk

and submit both the abstract as well as the full manuscript = to


 https://www.easychair.org/conferences/?conf=3Dccc2013mscsp= ostproce


Best = regards,

Hajime Ishihara
Margarita= Korovina
Arno Pauly
Monika Seisenberger
Dieter = Spreen
=




5) Call for Papers ICTAC 2014, 17-20 Sept, Bucharest


(from Gabriel Ciobanu)


**********************************************************************
11th International Colloquium on Theoretical Aspects of Computing
17-20 September 2014, Bucharest, Romania
http://fmi.unibuc.ro/ictac2014
**********************************************************************

ICTAC 2014 is the 11th International Colloquium on Theoretical Aspects of
Computing and will bring together practitioners and researchers from
academia, industry and government to present research and to exchange ideas
and experience addressing challenges in both theoretical aspects of
computing and in the exploitation of theory through methods and tools for
system development. Another aim of ICTAC is to bring together researchers
working on theoretical aspects of computing in order to present their recent
results and to discuss new ideas concerning computer science.

THEMES AND TOPICS OF PAPERS

ICTAC 2014 calls for regular research papers on theories of computation and
programming, foundations of software engineering and on formal techniques in
software design and verification, as well as papers about tools that support
formal techniques for software modeling, system design and verification.
The topical areas of the conference include, but not limited to

* Automata theory and formal languages;
* Principles and semantics of programming languages;
* Theories of concurrency, mobility and reconfiguration;
* Logics and their applications;
* Software architectures, their models, refinement and verification;
* Relationship between software requirements, models and code;
* Program static and dynamic analysis and verification;
* Software specification, refinement, verification and testing;
* Model checking and theorem proving;
* Models of object and component systems;
* Coordination and feature interaction;
* Integration of theories, formal methods and tools for
engineering computing systems;
* Service-oriented architectures: models and development methods;
* Models of concurrency, security, and mobility;
* Theory of distributed, grid and cloud computing;
* Real-time, embedded, hybrid and cyber-physical systems;
* Type and category theory in computer science.

PAPER SUBMISSION

As for the past editions, the proceedings of ICTAC 2014 will be published by
Springer in the series Lecture Notes in Computer Science (LNCS) and will be
available at the colloquium. Special issue of few journals with extended
version of selected papers from ICTAC 2014 is under negotiation. Submissions
to the colloquium must not have been published or be concurrently considered
for publication elsewhere. All submissions will be judged on the basis of
originality, contribution to the field, technical and presentation quality,
as well as their relevance to the conference.

Regular Papers should not exceed 18 pages in LNCS format (see
http://www.springer.de/comp/lncs/authors.html for details). Papers must be
submitted by using www.easychair.org/conferences/?conf=ictac2014.

IMPORTANT DATES:

Abstract submission: 16 March 2014
Submission deadline: 23 March 2014
Paper notification: 30 May 2014
Revised/final paper: 14 June 2014

PC CHAIRS

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Dominique Mery, LORIA, Universite de Lorraine, France

PROGRAM COMMITTEE

Yamine Ait-Ameur, IRIT, ENSEIHT, France
Farhad Arbab, CWI and Leiden University, The Netherlands
Michael Butler, University of Southampton, UK
Ana Calvacanti, University of York, UK
Jeremie Chalopin, CNRS, France
Zhenbang Chen, National University of Defense Technology, China
Maximiliano Cristia, Faculty of Exact Sciences, Argentina
David Deharbe, Universidade Federal do Rio Grande do Norte, Brazil
Rocco De Nicola, IMT Lucca, Italy
Jose Luiz Fiadeiro, Royal Holloway, University of London, UK
John Fitzgerald, Newcastle University, UK
Simon Gay, University of Glasgow, UK
Dimitra Giannakopoulou, NASA Ames, USA
Stefania Gnesi, ISTI-CNR, Italy
Lindsay Groves, Victoria University of Wellington, New Zealand
Geoff Hamilton, Dublin City University, Ireland
Ian J. Hayes, University of Queensland, Australia
Rob Hierons, Brunel University, UK
Jane Hillston, University of Edinburgh, UK
Ross Horne, Romanian Academy, Iasi, Romania
Zhenjiang Hu, National Institute of Informatics, Japan
Florentin Ipate, University of Bucharest, Romania
Tudor Jebelean, Johannes Kepler University, Austria
Cliff Jones, Newcastle University, UK
Lila Kari, University of Western Ontario, Canada
Jetty Kleijn, Leiden University, The Netherlands
Maciej Koutny, Newcastle University, UK
Yassine Lakhnech, VERIMAG, France
Kim G. Larsen, Aalborg University, Denmark
Insup Lee, University of Pennsylvania, USA
Axel Legay, INRIA, France
Martin Leucker, University of Lubeck, Germany
Zhiming Liu, UNU-IIST, Macau, China
Marius Minea, Politehnica University of Timisoara, Romania
Victor Mitrana, University of Bucharest, Romania
Rosemary Monahan, National University of Ireland, Ireland
Mohammed Mosbah, LABRI, University of Bordeaux, France
Tobias Nipkow, Technical University Munich, Germany
Manuel Nunez, Universidad Complutense de Madrid, Spain
Paritosh Pandya, Tata Institute of Fundamental Research, India
Jun Pang, University of Luxembourg, Luxembourg
Corina Pasareanu, NASA Ames, USA
Shengchao Qin, University of Teesside, UK
Antonio Ravara, Universidade Nova de Lisboa, Portugal
Grigore Rosu, University of Illinois at Urbana Champaign, USA
Augusto Sampaio, Federal University of Pernambuco, Brasil
Pierre-Yves Schobbens, Universite de Namur, Belgium
Emil Sekerinski, McMaster University, Canada
Natarajan Shankar, SRI International, USA
Viorica Sofronie-Stokkermans, Max Planck Institute, Germany
Gheorghe Stefanescu, University of Bucharest, Romania
Andrzej Tarlecki, Warsaw University, Poland
Elena Troubitsyna, Abo Akademi University, Finland
Emilio Tuosto, University of Leicester, UK
Martin Wirsing, Ludwig-Maximilian University of Munich, Germany
Burkhart Wolff, Universite de Paris-Sud, France
Jim Woodcock, University of York, UK
Fatiha Zaidi, Universite de Paris-Sud, France
Naijun Zhan, Chinese Academy of Sciences, China
Jianjun Zhao, Shanghai Jiao Tong University, China
Huibiao Zhu, East China Normal University, China

GENERAL CHAIRS

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Florentin Ipate, University of Bucharest, Romania

STEERING COMMITTEE

Ana Cavalcanti, University of York, UK
John Fitzgerald, Newcastle University, UK
Martin Leucker, University of Luebeck, Germany
Zhiming Liu, UNU-IIST, Macao, China
Tobias Nipkow, Technical University Munich, Germany
Augusto Sampaio, Federal University of Pernambuco, Brasil
Natarajan Shankar, SRI International, USA

**********************************************************************
This call for papers and additional information about the conference can
be found on the ICTAC 2014 web page http://fmi.unibuc.ro/ictac2014/.
For information regarding the conference and other queries, you can use
the conference email address: ictac2014@fmi.unibuc.ro





6) ICALP 2014: Automata, Languages and Programming, Copenhagen (Denmark), 8-11 July 2014



ICALP 2014 Call for Papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D

The 41st International Colloquium on Automata, Languages, and =
Programming (ICALP) takes place from Tuesday, 8 July 2014 to Friday, 11 =
July 2014 at IT University of Copenhagen, Denmark.

ICALP is the main conference and annual meeting of the European =
Association for Theoretical Computer Science (EATCS). The main =
conference is preceded by a series of workshops on Monday, 7 July 2014.

Web site: icalp2014.itu.dk
Local organisation: Thore Husfeldt (chair), ITU
Contact: icalp2014@itu.dk

Important dates
---------------

Submission deadline: Friday, 14 February 2014,
Submission server: www.easychair.org/conferences/?conf=3Dicalp2014
Author notification: Friday, 11 April 2014
Final manuscript due: Monday, 28 April 2014
Early registration: To be announced
Conference: 8 July 2014 to 11 July 2014

Invited speakers
----------------
Sanjeev Arora, Princeton University
Maurice Herlihy, Brown University
Victor Kuncak, EPFL Lausanne
Claire Mathieu, ENS Paris

Proceedings
-----------

ICALP proceedings are published in the Springer-Verlag ARCoSS (Advanced =
Research in Computing and Software Science) subseries of LNCS (Lecture =
Notes in Computer Science).

Topics
=3D=3D=3D=3D=3D=3D

Papers presenting original research on all aspects of theoretical =
computer science are sought. Typical but not exclusive topics of =
interest are:

Track A: Algorithms, Complexity and Games
-----------------------------------------
* Algorithmic Game Theory
* Approximation Algorithms
* Combinatorial Optimization
* Combinatorics in Computer Science
* Computational Biology
* Computational Complexity
* Computational Geometry
* Cryptography
* Data Structures
* Design and Analysis of Algorithms
* Machine Learning
* Parallel, Distributed and External Memory Computing
* Randomness in Computation
* Quantum Computing

Track B: Logic, Semantics, Automata and Theory of Programming
-------------------------------------------------------------
* Algebraic and Categorical Models
* Automata Theory, Formal Languages
* Emerging and Non-standard Models of Computation
* Databases, Semi-Structured Data and Finite Model Theory
* Principles of Programming Languages
* Logics, Formal Methods and Model Checking
* Models of Concurrent, Distributed, and Mobile Systems
* Models of Reactive, Hybrid and Stochastic Systems
* Program Analysis and Transformation
* Specification, Refinement and Verification
* Type Systems and Theory, Typed Calculi

Track C: Foundations of Networked Computation:
Models, Algorithms and Information Management
------------------------------------------------------
* Algorithmic Aspects of Networks
* E-commerce, Privacy, Spam
* Formal Methods for Network Information Management
* Foundations of Trust and Reputation in Networks
* Algorithms and Models for Mobile and Wireless Networks and Computation
* Models of Complex Networks
* Models and Algorithms for Global Computing
* Network Economics and Incentive-Based Computing Related to Networks
* Models and Algorithms for Networks of Low Capability Devices
* Overlay Networks and P2P Systems
* Social Networks
* Specification, Semantics, Synchronization of Networked Systems
* Theory of Security in Networks and Distributed Computing
* Web Searching and Ranking
* Web Mining and Analysis

Submission Guidlines
--------------------

Authors are invited to submit an extended abstract of no more than 12 =
pages in LNCS style presenting original research on the theory of =
Computer Science. Submissions should indicate to which track (A, B, or =
C) the paper is submitted. No prior publication or simultaneous =
submission to other publication outlets (either a conference or a =
journal) is allowed. The proceedings will be published in the Lecture =
Notes in Computer Science Series by Springer-Verlag. It is strongly =
recommended that submissions adhere to the specified format and length. =
Submissions that are clearly too long may be rejected immediately. =
Material other than the abstract, references and the first 12 pages may =
be considered as supplementary and will be read at the committee's =
discretion.

Best Paper Awards
-----------------

As in previous editions of ICALP, there will be best paper and best =
student paper awards for each track of the conference. In order to be =
eligible for a best student paper award, a paper should be authored only =
by students and should be marked as such upon submission.

Committees
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Track A: Algorithms, complexity, and games
------------------------------------------
* Elias Koutsoupias (chair), University of Oxford, United Kingdom
* Dimitris Achlioptas, UC Santa Cruz, USA
* Pankaj Agrawal, Duke University, USA
* Nikhil Bansal, Eindhoven University of Technology, Netherlands
* Gerth St=F8lting Brodal, Aarhus University, Denmark
* Jean Cardinal, Universit=E9 libre de Bruxelles, Belgium
* Ning Chen, Nanyang Technological University, Singapore
* Giorgos Christodoulou, University of Liverpool, United Kingdom
* Xiaotie Deng, Shanghai Jiao Tong University, China
* Ilias Diakonikolas, University of Edinburgh, United Kingdom
* Chaled Elbassioni, Masdar Institute, Abu Dhabi
* Amos Fiat, Tel Aviv University, Israel
* Leslie Goldberg, University of Oxford, United Kingdom
* Vipul Goyal, Microsoft, India
* Giuseppe Italiano, University of Rome ?Tor Vergata?, Italy
* Marcin Kaminski, University of Warsaw, Poland
* Haim Kaplan, Tel Aviv University, Israel
* Ioardanis Kerenidis, University of Paris =ABDiderot=BB, France
* Anna Karlin, University of Washington, USA
* Robert Krauthgamer, Weizmann Institute, Israel
* James Lee, University of Washington, USA
* Ashwin Nayak, University of Waterloo, Canada
* Jared Saia, University of New Mexico, USA
* Piotr Sankowski, University of Warsaw, Poland
* Maria Serna, UP Catalunya, Spain
* Christian Sohler, TU Dortmund, Germany
* Ryan Williams, Stanford, USA

Track B: Logic, semantics, automata and theory of Programming
-------------------------------------------------------------
* Javier Esparza (chair), Technische Universit=E4t M=FCnchen
* Paolo Baldan, Dipartimento di Matematica Pura e Applicata, Universita' =
di Padova
* Michele Boreale, Universit=E0 di Firenze
* Tom=E1=9A Br=E1zdil, Masaryk University
* V=E9ronique Bruy=E8re, University of Mons
* Veronique Cortier, CNRS, Loria
* Anuj Dawar, University of Cambridge
* Kousha Etessami, University of Edinburgh
* Maribel Fernandez, KCL
* David Frutos Escrig, Universidad Complutense
* Pierre Ganty, IMDEA Software Institute
* Peter Habermehl, LIAFA University Paris 7
* Manfred Kufleitner, University of Stuttgart
* S?awomir Lasota, Warsaw University
* Oded Maler, CNRS-VERIMAG
* Sebastian Maneth, NICTA and UNSW
* Madhavan Mukund, Chennai Mathematical Institute
* Jens Palsberg, UCLA
* Thomas Schwentick, Universitt Dortmund
* Sonja Smets, University of Amsterdam
* Jiri Srba, Department of Computer Science, Aalborg University
* Steve Zdancewic, University of Pennsylvania

Track C: Foundations of networked computation:
Models, algorithms and information management
------------------------------------------------------
* Pierre Fraigniaud (chair), CNRS and University Paris Diderot
* Andrea Clementi, Roma Tor Vergata
* Benjamin Doerr, Max-Planck-Institut
* Panagiota Fatourou, University of Crete
* Michal Feldman, Hebrew University of Jerusalem
* Antonio Fern=E1ndez Anta, Universidad Rey Juan Carlos
* Leszek Gasieniec, University of Liverpool
* Phillip B. Gibbons. Intel Labs
* Magnus Halldorsson, Reykjavik University
* Robert Kleinberg, Cornell
* Anne-Marie Kermarrec, INRIA Rennes
* Michal Koucky, Czech Academy of Sciences
* Gopal Pandurangan, Nanyang Tech. University
* Boaz Patt-Shamir, Tel-Aviv University
* Andrea Pietracaprina
* Andrea Richa, Arizona State University
* Lu=EDs Rodrigues, Universidade T=E9cnica de Lisboa
* Christian Scheideler
* Jukka Suomela, University of Helsinki
* Philipp Woelfel, University of Calgary

Workshops
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ICALP 2014 hosts a number of workshops on Monday 7 July 2014 at ITU.

Contact the ICALP organisers (icalp2014@itu.dk) if you are interested in =
arranging a workshop. Registration, lunches, and rooms are provided by =
the ICALP conference organisation.

TOLA (Trends in Online Algorithms) 2014
---------------------------------------

The purpose of this workshop is to bring together researchers interested =
in all aspects of online algorithms, including classical competitive =
analysis, alternative performance measures, and advice complexity.





7) postdoctoral positions at LIAFA, Paris, France


The Algorithms and Complexity group of LIAFA (CNRS and University Paris
Diderot), Paris, France, is seeking excellent candidates for one or more
postdoctoral positions in classical and quantum computing. Topics of
interest include (but are not limited to): algorithms, online
algorithms,streaming algorithms,approximation algorithms,
communication complexity, cryptography, computational game
theory, quantum computing,computational applications of logic,
randomness in computing, privacy.

LIAFA is a joint laboratory of the CNRS (the French National Center
for Scientfic Research) and University Paris Diderot - Paris 7.
For more information about LIAFA, please see
http://www.liafa.univ-paris-diderot.fr ,
and for more information about the Algorithms and Complexity group
please see http://www.liafa.univ-paris-diderot.fr/algocomp .
Further information may be obtained from any of the permanent
members of the group.

To apply please send a CV, a summary of research and names of at
least three references to algocomp-apply@liafa.univ-paris-diderot.fr.
For a starting date of September 2014, applications should be received
by February 1st, 2014.






8) COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS CTFM'2014



The fourth conference in the series COMPUTABILITY THEORY AND
FOUNDATIONS OF MATHEMATICS will take place at the Tokyo Institute of
Technology, Tokyo, Japan, February 17 - 20, 2014.

The theme of the CTFM conference series is the interplay between
computability theory and logical foundations of mathematics. The
scope includes topics such as Computability Theory, Reverse
Mathematics, Nonstandard Analysis, Proof Theory, Constructive
Mathematics, Theory of Randomness, and Computational Complexity. CTFM
2014 will feature special sessions on Reverse Mathematics, Algorithmic
Randomness, and Recursion Theory.

The deadline for submitting an abstract was January 15. The offer of =
presentations was extended to January 22, 2014.

For more information, see http://www.jaist.ac.jp/CTFM/CTFM2014/.






9) Final Call for Papers: CSL-LICS 2014


LAST CALL FOR PAPERS

JOINT MEETING OF

the Twenty-Third EACSL Annual Conference on
COMPUTER SCIENCE LOGIC (CSL)
AND
the Twenty-Ninth Annual ACM/IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS)

July 14-18, 2014, Vienna, Austria

http://vsl2014.at/csl-lics/
http://lii.rwth-aachen.de/lics/csl-lics14/


DEADLINES

The exact deadline time on these dates is anywhere on earth (AoE).

Title and Short Abstracts Due January 13, 2014
Full Papers Due January 20, 2014
Author Notification March 31, 2014
Final Versions Due for Proceedings May 15, 2014

Deadlines are firm; late submissions will not be possible.

All submissions are made electronically via
.


OVERVIEW

CSL is the annual meeting of the European Association for Computer
Science Logic (EACSL) intended for computer scientists whose research
activities involve logic, as well as for logicians working on issues
significant for computer science.

LICS is an annual international forum on theoretical and practical
topics in computer science that relate to logic.

The organizers of these two series of meetings have chosen to join the
2014 editions of these meetings into a single event within the Federated
Logic Conference (FLoC) that will be part of the Vienna Summer of Logic
2014. Thus, in 2014, these meetings will have one program committee, one
program, and one proceedings. No decision has been made to hold CSL and
LICS jointly beyond 2014.

We invite submissions on topics that fit the themes of both conferences.
These topics include (but are not limited to):

Automata theory; automated deduction; categorical models and logics;
constraints programming; constructive mathematics; database theory;
decision procedures; domain theory; finite model theory; formal
languages; formal methods in software engineering; foundations of
computability; functional and reactive synthesis; game semantics; graph
games; higher-order logic; lambda and combinatory calculi; linear logic;
logic programming; logics for AI; logics of programs; logical aspects of
computational complexity; modal and temporal logics; model checking;
program analysis; proof theory; semantics of programming languages;
specification and verification of hardware, software, and complex
systems; term rewriting; and type theory.

Also welcome are papers describing models and logics for biological
systems; concurrent, distributed, and mobile computation; quantum
computation; security; and real-time, probabilistic, and hybrid systems.


INSTRUCTIONS TO AUTHORS

Authors are required to submit a paper title and a short abstract of
about 100 words in advance of submitting the full paper. Every full
paper must be submitted in the IEEE Proceedings 2-column 10-point format
and may not be longer than 10 pages, including references. The full
paper must be in English and provide sufficient detail to allow the
program committee to assess its merits. Full proofs may appear in a
technical appendix which will be read at the reviewers' discretion.
Authors are strongly encouraged to include a well written introduction
which is directed at all members of the program committee.

The results reported in submissions must be unpublished and not
submitted for publication elsewhere, including the proceedings of other
symposia or workshops. The program chairs must be informed in advance of
submission of any closely related work submitted or about to be
submitted to a conference or journal. Authors of accepted papers are
expected to sign copyright release forms. One author of each accepted
paper is expected to present that paper at the conference.

Paper selection will be merit-based, with no a priori limit on the
number of accepted papers.

Papers authored or co-authored by members of the program committee are
not allowed.


AWARDS

The Kleene Award for Best Student Paper will be given for the best
student paper(s), as judged by the program committee.

The EACSL Outstanding Dissertation Award, named for Wilhelm F.
Ackermann, will be presented during the joint meeting.

The LICS Test-of-Time Award 2014 will be presented during the joint
meeting.


PROGRAM COMMITTEE CHAIRS

Thomas A. Henzinger, IST Austria
Dale Miller, Inria & LIX


PROGRAM COMMITTEE

Andreas Asperti, University of Bologna
Gilles Barthe, IMDEA
Andrej Bauer, IMFM
Lars Birkedal, Aarhus University
Krishnendu Chatterjee, IST Austria
Adriana Compagnoni, Stevens Institute of Technology
Valeria DePaiva, Nuance Communications
Laurent Doyen, ENS Cachan
Jacques Duparc, University of Lausanne
Maribel Fernandez, King's College London
Herman Geuvers, Radboud University Nijmegen
Dan Ghica, University of Birmingham
Erich Gr=E4del, RWTH Aachen University
Holger Hermanns, Saarland University
Neil Immerman, University of Mass. Amherst
Naoki Kobayashi, University of Tokyo
Laura Kov=E1cs, Chalmers University
Victor Kuncak, EPFL
Salvatore La Torre, University of Salerno
Rupak Majumdar, MPI-SWS
Damiano Mazza, CNRS & Univerity Paris-Nord
Joel Ouaknine, University of Oxford
Leszek Pacholski, University of Wroclaw
Nir Piterman, University of Leicester
Andrew Pitts, University of Cambridge
Andreas Podelski, University of Freiburg
R. Ramanujam, IMS Chennai
James Riely, DePaul University
Simona Ronchi Della Rocca, University of Torino
Amr Sabry, Indiana University
Tom Schrijvers, Ghent University
P. S. Thiagarajan, National University of Singapore
Alwen Tiu, Australian National University
Victor Vianu, University of California, San Diego
Andrei Voronkov, University of Manchester
Igor Walukiewicz, CNRS & University of Bordeaux


WORKSHOP CHAIRS

Patricia Bouyer-Decitre, CNRS & ENS Cachan
Georg Moser, University of Innsbruck


LOCAL ORGANIZATION COMMITTEE

Krishnendu Chatterjee, IST Austria
Jan Otop, IST Austria


PUBLICITY CHAIRS

Kaustuv Chaudhuri, Inria & LIX
Andrzej Murawski, University of Warwick


FLoC ORGANIZATION COMMITTEE

M. Baaz, S. Szeider, M. Vardi, H. Veith


EACSL EXECUTIVE COMMITTEE

L. Aceto, M. Bezem, A. Dawar (president), R. Kahle, B. Loewe, M. Lohrey,
J. Makowsky, D. Niwinski, L. Ong, S. Ronchi della Rocca, H. Veith,
G. Winskel


LICS ORGANIZING COMMITTEE

M. Abadi, L. Aceto, R. Alur, P. Beame, M. P. Bonacina,
P. Bouyer-Decitre, K. Chatterjee, A. Compagnoni, A. Dawar, N. =
Dershowitz,
M. Fernandez, M. Grohe, O. Grumberg, T. Henzinger, P. Kolaitis, O.
Kupferman, B. Larose, V. Lipovac, D. Miller, M. Mislove, G. Moser,
A. Murawski, L. Ong (chair), A. Scedrov, D. Shmoys, M. Valeriote


SPONSORSHIP

The joint meeting is sponsored by the European Association for Computer
Science Logic, the IEEE Technical Committee on Mathematical Foundations
of Computation, and by the ACM SIGACT in cooperation with the
Association for Symbolic Logic and the European Association for
Theoretical Computer Science.





10) Algebra and Mathematical Logic: Theory and Applications: Update information


(=46rom Iskander Kalimullin)
--------------------------------------------------------------------
International Conference

Algebra and Mathematical Logic: Theory and Applications,


Kazan, June 2-6, 2014

INFORMATION LETTER No. 2



Kazan Federal University and Tatarstan Republic Academy of Science
organize an International Conference "Algebra and Mathematical Logic:
Theory and Applications" dedicated to 80-th anniversary of Algebra
Department of Kazan University and to 70-th anniversary of Professor
M.M. Arslanov.

The meeting will be held in Kazan (Russia), June 2-6, 2014. The main
topics of the conference include (but are not limited to) Lie
Algebras, Group Theory, Ring Theory, Algebraic Geometry, Universal
Algebra, Model Theory, Mathematical Logic, Computability Theory,
Algebraic and Logic Methods in Computer Science.


The Program Committee: Academician Yu. L. Ershov (Chairman,
Novosibirsk), I.Sh. Kalimullin (Vice-chairman, Chairman of the
Organizing =D3ommittee, Kazan), A.N. Frolov (Secretary of the
conference, Kazan), Yu.A. Alpin (Kazan), K. Ambos-Spies (Heidelberg,
Germany), M.M. Arslanov (Kazan), V.A. Artamonov (Moscow), S.B. Cooper
(Leeds, UK), S.S. Goncharov (Novosibirsk), C. Jockusch
(Urbana-Champaign, USA), N.G. Khisamiev (Ust-Kamenogorsk, Kazakhstan),
B. Khoussainov (Auckland, New Zealand), J. Knight (South Bend, USA),
M.I. Kuznetsov (Nizhny Novgorod), V.N. Latyshev (Moscow), S. Lempp
(Madison, USA), V.M. Levchuk (Krasnojarsk), A.A. Makhnev
(Ekaterinburg), V.D. Mazurov (Novosibirsk), A. Montalban (Berkeley,
USA), R.Sh. Omanadze (Tbilisi, Georgia), R.A. Shore (Ithaca, USA),
S.M. Skryabin (Kazan), R.I. Soare (Chicago, USA), S.N. Tronin (Kazan),
S.V. Vostokov (St.Petersburg), Y. Yang (Singapore, Singapore).



Invited speakers: K. Ambos-Spies (Heidelberg University, Germany), U.
Andrews (University of Wisconsin, USA), V.A. Artamonov (Moscow State
University), E.I. Bunina (Moscow State University), S.B. Cooper (Leeds
Universtity, UK), Yu.L. Ershov (Sobolev Institute of Mathematics),
A.N. Frolov (Kazan Federal University), S.S. Goncharov (Sobolev
Institute of Mathematics), A.E. Guterman (Moscow State University),
I.Sh. Kalimullin (Kazan Federal University), N.G. Khisamiev (East
Kazakhstan Technical State University, Kazakhstan), B. Khoussainov
(University of Auckland, New Zealand), J. Knight (University of Notre
Dame, USA), V.N. Latyshev (Moscow State University), S. Lempp
(University of Wisconsin, USA), A.A. Makhnev (Institute of Mathematics
and Mechanics of Ural Branch of RAS), V.D. Mazurov (Sobolev Institute
of Mathematics), A.S. Morozov (Sobolev Institute of Mathematics),
R.Sh. Omanadze (Tbilisi State University, Georgia), M.G. Peretyat'kin
(Institute of Mathematics and Mathematical Modeling, Kazakhstan), V.A.
Roman'kov (Omsk State University), A.A. Tuganbaev (Russian University
of Economics / National Research University "MPE"), S.V. Vostokov
(Saint-Petersburg State University), Y. Yang (National University of
Singapore, Singapore).



The scientific program of the conference includes invited plenary
lectures and contributed talks.



Abstracts:

Abstracts should be sent with the registrion form or later. Accepted
abstracts will be published in the soft and hard versions.

Deadline for submissions of abstracts: March 1, 2014

Notification to authors: March 10, 2014

Rules for abstracts:
- abstracts should be done in LaTeX using the sample (please see
"Abstracts" at the webpage);
- abstracts should be bounded by 1 page;
- abstracts may be done in Russian or English.

Please send the files of your abstracts in the following format:
"SurnameN.tex" and "SurnameN.pdf".


Papers:

After the conference it's planned to publish a special issue of
Lobachevskii Journal of Mathematics (the journal is published in
English and belongs the Scopus bases). The special issue will consist
of papers of the conference participants. Please send your papers to
the organizers by e-mail algmathlog14@kpfu.ru. The deadline is June 1,
2014. The submitted papers will pass a standard procedure of
reviewing.

The webpage of the journal LJM:
http://www.springer.com/mathematics/journal/12202



The Registration:

The registration fee is 100 Euro (50 Euro for PhD students and
students) for participants outside CIS countries. It partially covers
expenses of the conference and includes the conference proceedings,
participant bag, cultural programm, welcome cocktail, coffee/tea
breaks. The registration fee should be paid in cash (in Euro or USD
equivalent) on arrival during the registration.

To participate at the conference you need proceed the registration
(see "Registration" at the webpage).

Registration form:

1) Last name (surname):
2) First name and second name:
3) Affiliation:
4) City, country:
5) E-mail (for the connection with the Programme and Organizing =
Committees):
6) Do you need a hotel?
- Yes
- No
7) Are you planning to give a talk?
- No
- If yes, then
+ Title of the talk
+ Co-authors
+ Section
8) Do you need an invitation letter?
- No
- Yes, scanned copy by e-mail (and hard copy at the conference)
- Yes, hard copy by usual mail



The official webpage of the conference: http://www.algmathlog14.kpfu.ru

All your questions you may address to the secretary of the conference

e-mail: algmathlog14@kpfu.ru - Secretary of the conference Frolov Andrey

phone: (843) 233-70-39.



Important dates:

Deadline for submissions of abstracts: March 1, 2014

Notification to authors: March 10, 2014

Deadline for submissions of papers for the special issue of LJM: June =
1, 2014



Conference: June 2 - 6, 2014

June 1 - Arrival

June 2,3,5,6 - Working days of the conference

June 4 - An excursion to the city-museum Sviyazsk

June 7-8 - Departure



After the conference (on June 7) an excursion to the city Bolghar
(capital of the ancient country Volga Bulgaria) will be organized.



Please spread this information about the conference among your
colleagues, thank you.

The Organizing Committee






11) Ackermann Award 2014 - Call for Nominations


(=46rom Anuj Dawar)

ACKERMANN AWARD 2014 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR =
LOGIC IN=20
COMPUTER SCIENCE
CALL FOR NOMINATIONS

Nominations are now invited for the 2014 Ackermann Award.
PhD dissertations in topics specified by the EACSL and LICS
conferences, which were formally accepted as PhD theses at a
university or equivalent institution between 1.1.2012 and 31.12.2013
are eligible for nomination for the award. The deadline for submission
is 28 February 2014 (Note: this is earlier than in previous years).
Submission details follow below.
Nominations can be submitted from 1 January 2014 on and should be sent=20=

to the chair of the Jury, Anuj Dawar, by e-mail: anuj.dawar@cl.cam.ac.uk

The Award
The 2014 Ackermann award will be presented to the recipient(s) at the
annual conference of the EACSL (this year as the CSL/LICS joint
conference), 14-18 July 2014, in Vienna (Austria).
The award consists of

* a diploma,
* an invitation to present the thesis at the CSL/LICS conference,
* the publication of the laudatio in the CSL/LICS proceedings,
* travel support to attend the conference.

The jury is entitled to give more (or less) than one award per year.
Jury
The jury consists of:

* Thierry Coquand (Chalmers University of Gothenburg);
* Anuj Dawar (University of Cambridge), the president of EACSL;
* Thomas A. Henzinger (IST Austria);
* Daniel Leivant (Indiana University, Bloomington);
* Damian Niwinski (University of Warsaw);
* Luke Ong (University of Oxford), LICS representative;
* Simona Ronchi Della Rocca (University of Torino), the=20
vice-president of EACSL;
* Wolfgang Thomas (RWTH, Aachen).

How to submit
The candidate or his/her supervisor has to submit

1. the thesis (ps or pdf file);
2. a detailed description (not longer than 20 pages) of the thesis=20
in ENGLISH (ps or pdf file);
3. a supporting letter by the PhD advisor and two supporting letters=20=

by other senior faculty or researchers in equivalent positions (in=20
English); supporting letters can also be sent directly to Anuj Dawar=20
(anuj.dawar@cl.cam.ac.uk);
4. a short CV of the candidate;
5. a copy of the document asserting that the thesis was accepted as=20=

a PhD thesis at a recognized University (or equivalent institution) and=20=

that the candidate has received his/her PhD within the specified period=20=

(scanned as pdf-file or faxed).

The submission should be sent by e-mail as attachments to the chairman
of the jury, Anuj Dawar:
anuj.dawar@cl.cam.ac.uk
With the following subject line and text:

* Subject: Ackermann Award Submission
* Text: Name of candidate, list of attachments

Submission can be sent via several e-mail messages. If this is the case,=20=

please indicate it in the text. Letters of support and documents can=20
also be faxed to:
Anuj Dawar
Ackermann Award
+44 1223 334678

The Jury has the right to declare submissions to be out of scope or not=20=

to meet the requirements.

The Award is sponsored by the Kurt G=F6del Society.








12) Meeting on Relativistic Quantum Walks : 6-7th February 2014, Grenoble


(From Pablo = Arrighi)

Dear colleagues,

We would like to draw your attention to the upcoming
***  Meeting on Relativistic Quantum Walks : 6-7th February 2014, = Grenoble ***

The primary aim of this meeting is = to bring together specialists of the relativistic aspects of quantum = walks, a currently active topic or research. More generally, the meeting = will also encompass themes such as: 
- quantum walks
- quantum cellular = automata
- quantum lattice Boltzmann = theory
- quantum simulation of relativistic = particles
- causality and relativity in quantum information
- toy = models

Invited speakers:
- = Fabrice Debbasch (UPMC, Paris, France)
- Alessandro Bisio = (Universit=E0 di Pavia, Pavia, Italy)
- Miller Mendoza (ETH Zurich, Zwitzerland)
- Sauro = Succi (University of Roma, Roma,Italy)
and perhaps more to = come. 

The schedule of the event is such that = there will be enough time for many informal=20 discussions.
For further information see: http://gm-rqw.imag.fr/

If you wish give a contribution talk about your results please send us,=20 before the 20th of January, an e-mail with your abstract to any of the = organizers. Registration is free of charge but we kindly ask those = willing to participate to send an e-mail to the organizers before the = 31th of January for organization purposes.

Best regards,
The organizers:
- Pablo Arrighi (Universit=E9 de = Grenoble, France)
- Stefano Facchini   = (Universit=E9 de Grenoble, France)
- Marcelo Forets  = (Universit=E9 de Grenoble, France)



=




13) 2nd CfP: WoLLIC 2014, Valparaiso (Chile), 1-4 Sep 2014



WoLLIC 2014
21st Workshop on Logic, Language, Information and Computation
September 1st to 4th, 2014
Valparaiso, Chile


SCIENTIFIC SPONSORSHIP
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL)
European Association for Theoretical Computer Science (EATCS)
European Association for Computer Science Logic (EACSL)
Sociedade Brasileira de Computa=E7=E3o (SBC)
Sociedade Brasileira de L=F3gica (SBL)

ORGANISATION
Department of Computer Science, Universidad de Chile, Chile
Department of Computer Science, Pontificia Universidad Cat=F3lica de =
Chile,
Chile
Centro de Inform=E1tica, Universidade Federal de Pernambuco, Brazil

HOSTED BY
Department of Informatics, Universidad T=E9cnica Federico Santa Mar=EDa, =
Chile

CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and =
tutorials
as well as contributed papers. The twentieth WoLLIC will be held at the
Universidad T=E9cnica Federico Santa Mar=EDa, from September 1st to 4th, =
2014.
It is sponsored by the Association for Symbolic Logic (ASL), the =
Interest
Group in Pure and Applied Logics (IGPL), the The Association for Logic,
Language and Information (FoLLI), the European Association for =
Theoretical
Computer Science (EATCS), the European Association for Computer Science
Logic (EACSL), the Sociedade Brasileira de Computa=E7=E3o (SBC), and the
Sociedade Brasileira de L=F3gica (SBL).

PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas =
of
interest are: foundations of computing and programming; novel =
computation
models and paradigms; broad notions of proof and belief; proof mining, =
type
theory, effective learnability; formal methods in software and hardware
development; logical approach to natural language and reasoning; logics =
of
programs, actions and resources; foundational aspects of information
organization, search, flow, sharing, and protection. Proposed =
contributions
should be in English, and consist of a scholarly exposition accessible =
to
the non-specialist, including motivation, background, and comparison =
with
related works. They must not exceed 10 pages (in font 10 or higher), =
with
up to 5 additional pages for references and technical appendices. The
paper's main results must not be published or submitted for publication =
in
refereed venues, including journals and other scientific meetings. It is
expected that each accepted paper be presented at the meeting by one of =
its
authors. Papers must be submitted electronically at the WoLLIC 2014
EasyChair website. (Please go to
http://wollic.org/wollic2014/instructions.html for instructions.) A =
title
and single-paragraph abstract should be submitted by Mar 24, 2014, and =
the
full paper by Mar 28, 2014 (firm date). Notifications are expected by =
May
2, 2014, and final papers for the proceedings will be due by May 15, =
2014
(firm date).

PROCEEDINGS
The proceedings of WoLLIC 2014, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS series. In addition, abstracts will be published in the
Conference Report section of the Logic Journal of the IGPL, and selected
contributions will be published as a special post-conference WoLLIC 2014
issue of a scientific journal (to be confirmed).

INVITED SPEAKERS
Ver=F3nica Becher (U Buenos Aires)
Juha Kontinen (U Helsinki)
Aarne Ranta (U Gothenburg)
Kazushige Terui (U Kyoto)
Luca Vigan=F2 (King?s College London)
Thomas Wilke (U Kiel)

STUDENT GRANTS
ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply =
for
a modest travel grant (deadline: May 1st, 2014). See
http://www.aslonline.org/studenttravelawards.html for details.

IMPORTANT DATES
Mar 24, 2014: Paper title and abstract deadline
Mar 28, 2014: Full paper deadline
May 2, 2014: Author notification
May 15, 2014: Final version deadline (firm)

PROGRAMME COMMITTEE
Natasha Alechina (U Nottingham)
Eric Allender (Rutgers U)
Marcelo Arenas (PUC Chile)
Steve Awodey (CMU)
Julian Bradfield (U Edinburgh)
Xavier Caicedo (U de Los Andes)
Olivier Danvy (Aarhus U)
Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR)
Marcus Kracht (U Bielefeld)
Michiel van Lambalgen (U Amsterdam)
Klaus Meer (Tech U Cottbus)
George Metcalfe (Bern U)
Dale Miller (INRIA Saclay / LIX)
Russell Miller (CUNY)
Sara Negri (U Helsinki)
Nicole Schweikardt (U Frankfurt)
(more to come)

STEERING COMMITTEE
Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid
Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, =
Luke
Ong, Hiroakira Ono, Ruy de Queiroz.

ORGANISING COMMITTEE
Pablo Barcel=F3 (Universidad de Chile) (Local chair)
Anjolina G. de Oliveira (U Fed Pernambuco)
Ruy de Queiroz (U Fed Pernambuco) (co-chair)
Juan Reutter (Pontificia Universidad Cat=F3lica de Chile)
Cristi=E1n Riveros (Pontificia Universidad Cat=F3lica de Chile)

FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.

WEB PAGE
http://wollic.org/wollic2014/=





14) "Infinity, computability, and metamathematics": celebrating the 60th birthdays of Peter Koepke and Philip Welch, Bonn (Germany), 23-25 May 2014


Colloquium and Workshop "Infinity, computability, and metamathematics: =
Celebrating the 60th birthdays of Peter Koepke and Philip Welch"

May 23-25, 2014

Mathematik-Zentrum, Lipschitz Lecture Hall, Endenicher Allee 60, Bonn

=
http://www.hcm.uni-bonn.de/events/eventpages/2014/colloquium-and-workshop-=
on-the-occasion-of-the-60th-birthdays-of-peter-koepke-and-philip-welch/

Registration: There is no registration fee. For more information please =
contact schlicht(at)math.uni-bonn.de

Description: In the year 2014, Peter Koepke and Philip Welch are =
celebrating their 60th birthdays, and we wish to celebrate this festive =
occasion with a scientific workshop in their honour. Peter has been a =
professor at the University of Bonn for many years; Philip was a =
Mercator professor in Bonn during the academic year 2002/03. The =
workshop speakers are students, collaborators, colleagues and friends of =
Peter and Philip whose research was influenced by them.

The colloquium will begin on Friday, 23 May, 4:30 pm and end before =
lunch on Sunday, 25 May.

Speakers: Arthur Apter (New York NY, U.S.A.), Joan Bagaria (Barcelona, =
Spain), Joerg Brendle (Kobe, Japan), Sy D. Friedman (Vienna, Austria), =
Moti Gitik (Tel Aviv, Israel), Joel D. Hamkins (New York NY, U.S.A.), =
Heike Mildenberger (Freiburg, Germany), Ralf Schindler (Muenster, =
Germany), and Bernhard Schroeder (Essen, Germany).

Organizers: Stefan Geschke (Hamburg), Benedikt Loewe (Amsterdam & =
Hamburg), Philipp Schlicht (Bonn)






15) TCS 2014 cfp


TCS 2014
8th IFIP International Conference on Theoretical Computer Science
September 1-3, 2014 Rome, Italy
http://www.cyprusconferences.org/tcs2014/

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

We apologize if you receive multiple copies of this message.


AIM AND SCOPE OF THE CONFERENCE:

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.


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 allowed.

PROCEEDINGS:

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.


IMPORTANT DATES:

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


STEERING COMMITTEE:

- Giorgio Ausiello, Sapienza Univ. di Roma
- Jos Baeten, CWI Amsterdam
- Jacques Sakarovitch, CNRS/T el ecom ParisTech


CONFERENCE CO-CHAIRS:
- Daniele Gorla, Sapienza Univ. di Roma
- Rossella Petreschi, Sapienza Univ. di Roma


PROGRAM COMMITTEES:

Track A

- Cristian Calude, University of Auckland
- Josep Diaz (Chair), UPC Barcelona
- Irene Finocchi, Sapienza Univ. di Roma
- Paola Flocchini, University of Ottawa
- Aristides Gionis, Aalto University Helsinki
- Mordecai Golin, Hong Kong University of Tech.
- Juhani Karhum aki, Turku University
- Massimo Melucci, Univ. di Padova
- Elvira Mayordomo, Universidad de Zaragoza
- Friedhelm Meyer auf der Heide, Univ. of Paderborn
- Pekka Orponen, Aalto University Helsinki
- Giuseppe Persiano, Univ. di Salerno
- G eraud S enizergues, Universit e Bordeaux 1
- Olivier Serre, CNRS / Universit e 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, Univ. di Bologna
- Josee Desharnais, Universit e Laval
- Jorg Endrullis, Vrije Universiteit Amsterdam
- Jerome Feret, ENS Paris
- Marcelo Fiore, University of Cambridge
- Silvio Ghilardi, Univ. di Milano
- Benjamin Gr egoire, INRIA Sophia
- Ichiro Hasuo, University of Tokyo
- Marieke Huisman, University of Twente
- Jean Krivine, CNRS / Universit e Paris 7
- Radha Jagadeesan, DePaul University, Chicago
- Ivan Lanese, Univ. di Bologna
- Grigore Rosu, University of Illinois at U-C
- Davide Sangiorgi (Chair), Univ. di Bologna
- Vladimiro Sassone, University of Southampton
- Igor Walukiewicz, CNRS / Universit e Bordeaux 1





16) Call for Papers -- DLT 2014


Call for Papers -- DLT 2014

================================================================
18th International Conference on Developments in Language Theory

Ural Federal University, Ekaterinburg, Russia

August 26-29, 2014

http://dlt2014.sciencesconf.org/
================================================================

The 18th International Conference on Developments in Language Theory
(DLT 2014) will take place at Ural Federal University, Ekaterinburg,
Russia, on August 26-29, 2014 under the auspices of the European
Association for Theoretical Computer Science (EATCS). The conference
will be hosted by the Institute of Mathematics and Computer Science
of Ural Federal University. The purpose of this conference is to bring
together members of the academic, research, and industrial community
who have an interest in formal languages, automata theory, and related
areas.

TOPICS

Typical topics include, but are not limited to, grammars, acceptors and
transducers for words, trees and graphs, algebraic theories of automata;
algorithmic, combinatorial and algebraic properties of words and languages;
variable length codes; symbolic dynamics; cellular automata; polyominoes
and multidimensional patterns; decidability questions; image manipulation
and compression; efficient text algorithms; relationships to cryptography,
concurrency, complexity theory and logic; bio-inspired computing; quantum
computing.

IMPORTANT DATES
Paper submission: March 17th, 2014
Notification: April 28th, 2014
Final version: May 12th, 2014
Conference: August 26-29, 2014


SUBMISSIONS

Authors are invited to submit papers presenting original and unpublished
research. The proceedings will be published in the Springer-Verlag Lecture
Notes in Computer Science (LNCS) Series. Simultaneous submission to journals
or other conferences with published proceedings is not allowed.

Submitted papers should not exceed 12 pages and should follow the LNCS-style
LaTeX2e (available athttp://www.springer.de/comp/lncs/authors.html). All
proofs omitted due to space constraints should be given in an appendix or
made accessible through a reliable link to a freely available electronic
preprint. Papers should be submitted electronically in PDF through the
EasyChair system:

http://www.easychair.org/conferences/?conf=dlt20140


INVITED SPEAKERS

To be announced

PROGRAM COMMITTEE

Jorge Almeida, Universidade do Porto, Portugal
Marie-Pierre Beal, Universite Paris-Est, France
Olivier Carton, Universite Paris Diderot, France
Vesa Halava, University of Turku, Finland
Yo-Sub Han Yonsei University, Korea
Oscar Ibarra University of California Santa Barbara, USA,
Markus Lohrey, Universit"at Siegen, Germany
Dirk Nowotka, Universit"at Kiel, Germany
Giovanni Pighizzini, Universita degli Studi di Milano, Italy
Igor Potapov, University of Liverpool, UK
Elena Pribavkina, Ural Federal University, Russia
Michel Rigo, Universite de Liege, Belgium
Marinella Sciortino, Universita degli Studi di Palermo, Italy
Jeffrey Shallit, University of Waterloo, Canada
Arseny Shur (co-chair), Ural Federal University, Russia
Mikhail Volkov (co-chair), Ural Federal University, Russia
Hsu-Chun Yen, National Taiwan University, Taiwan

FURTHER INFORMATION AND CONTACTS

Web: http://dlt2014.sciencesconf.org/
E-mail: elena.pribavkina@gmail.com








17) IACAP 2014: Computing and Philosophy, Thessaloniki (Greece), 2-4 Jul 2014



Call for Papers: IACAP 2014

The Annual Meeting of the International Association for Computing and =
Philosophy http://www.iacap.org/

Anatolia College/ACT
Thessaloniki, Greece
July 2-4, 2014
http://www.pt-ai.org/iacap/2014/

This year?s meeting of the International Association for Computing and =
Philosophy will be held at Anatolia College/ACT in Thessaloniki, Greece.

Computing technologies both raise philosophical questions and shed light =
on traditional philosophical problems; it is this two-way relation that =
is the focus of IACAP meetings.

We invite submission of abstracts, as well as submission of proposals =
for symposia on computing and philosophy. This year?s meeting will have =
a single main track, focusing on topics which proved to be at the core =
of IACAP member?s interest. In parallel, the symposia will focus on more =
specific topics, organised autonomously by members or member groups. One =
symposium will be dedicated to the work of young researchers.

We will publish selected papers in a volume of the ?Synthese Library? =
(Springer). Authors of accepted abstracts will be invited to submit a =
full paper for peer-review to this volume.

Some abstracts will be accepted for presentation as posters. For papers, =
we foresee slots of 30 minutes per talk, including discussion.

Topics of interest:
? Artificial Intelligence
? Artificial Life
? Cognitive Science, Computation & Cognition
? Computational Modeling in Science and Social Science
? Computer-Mediated Communication
? Distance Education and Electronic Pedagogy
? Ethical Problems and Societal Impact of Computation and =
Information
? History of Computing
? Information Culture and Society
? Logic
? Metaphysics of Computing
? Philosophy of Information
? Philosophy of Information Technology
? Robotics
? Virtual Reality
... and related issues

FORMAT For abstracts, we request anonymous submission of 600-1000 words =
(plus references) in plain text or PDF, plus a short abstract of up to =
120 words. All submissions will be reviewed double-blind by at least two =
members of the programme committee. All submissions of paper abstracts - =
whether to the main track or to symposia - are made centrally on the =
same site and all reviewing takes place on that site.

For symposia, please provide a brief motivation (ca. 300 words), a list =
of envisaged speakers, and indication of time needed (full day, half =
day, etc.). The submission procedure and reviewing for symposia will be =
taken care of by their organisers - but within the structure provided by =
IACAP and the submission system for this conference.

DATES
Submission of symposium proposals: 1. February 2014
Submissions of abstracts: 1 March 2014
Notification of acceptance or rejection: 28 February for symposia, 31 =
March for papers.

Submission on EasyChair at =
https://www.easychair.org/conferences/?conf=3Diacap2014

More details on http://www.pt-ai.org/iacap/2014/online-submission




+-------------------------------
Vincent C. M=FCller
Professor of Philosophy
Anatolia College/ACT
Thessaloniki

James Martin Research Fellow
http://www.fhi.ox.ac.uk
Faculty of Philosophy
University of Oxford

http://twitter.com/VincentCMueller
http://www.sophia.de=





18) UCNC 2014- Invited Speakers, 2nd CFP, Facebook Page


UCNC 2014 - 2ND CALL FOR PAPERS

The 13th International Conference on=20

Unconventional Computation & Natural Computation=20

University of Western Ontario, London, Ontario, Canada
July 14-18, 2014 =20
http://www.csd.uwo.ca/ucnc2014=20
http://www.facebook.com/UCNC2014=20

Submission deadline: March 7, 2014



OVERVIEW

The International Conference on Unconventional Computation and Natural =
Computation has=20
been a meeting where scientists with different backgrounds, yet sharing =
a common interest=20
in novel forms of computation, human-designed computation inspired by =
nature, and the=20
computational aspects of processes taking place in nature, present their =
latest results. Papers
and poster presentations are sought in all areas, theoretical or =
experimental, that relate to=20
unconventional computation and natural computation. Typical, but not =
exclusive, topics are:

* Molecular (DNA) computing, Quantum computing, Optical computing, =
Hypercomputation -=20
relativistic computation, Chaos computing, Physarum computing, =
Computation in hyperbolic=20
spaces, Collision-based computing, Computations beyond the Turing model;

* Cellular automata, Neural computation, Evolutionary computation, Swarm =
intelligence,=20
Ant algorithms, Artificial immune systems, Artificial life, Membrane =
computing,=20
Amorphous computing;

* Computational Systems Biology, Genetic networks, Protein-protein =
networks, Transport
networks, Synthetic biology, Cellular (in vivo) computing.


INSTRUCTIONS FOR AUTHORS

Authors are invited to submit original papers (at most 12 pages in LNCS =
format) or one-page
poster abstracts using the link =
https://www.easychair.org/conferences/?conf=3Ducnc2014

Papers must be submitted in Portable Document Format (PDF). The revised =
version of the
manuscripts, to appear in a LNCS volume by Springer available at the =
conference venue,
must be prepared in LATEX, see =
http://www.springer.com/computer/lncs/lncs+authors

The papers must not have been submitted simultaneously to other =
conferences with published
proceedings. All accepted papers must be presented at the conference. =
Selected papers=20
will appear in a special issue of Natural Computing.


INVITED SPEAKERS

Yaakov Benenson (ETH Zurich) - Synthetic Biology and Biomedicine
Charles Bennett (IBM Research) - Quantum Information and Computation
Hod Lipson (Cornell University) - Artificial Life, Evolutionary Robotics
Nadrian Seeman (New York University) - Nanocomputation by DNA =
Self-assembly


INVITED TUTORIALS

Anne Condon (University of British Columbia, Canada) - Reaction Systems
Ming Li (University of Waterloo, Canada) - Approximating Semantics


WORKSHOPS

Computational Neuroscience - Organizer Mark Daley (University of Western =
Ontario, Canada)
DNA Computing by Self-Assembly - Organizer Matthew Patitz (University =
of Arkansas, USA)=20
TRUCE Workshop - Organizers Martyn Amos (Manchester Metropolitan =
University, UK),=20
Susan Stepney (University of York, UK)


IMPORTANT DATES

Submission deadline: March 7, 2014
Notification of acceptance: April 7, 2014
Final versions due: April 27, 2014
Conference: July 14-18, 2014


PROGRAM COMMITTEE=20

Andrew Adamatzky (University of the West of England, UK)
Selim G. Akl (Queen's University, Canada)
Eshel Ben-Jacob (Tel-Aviv University, Israel)
Cristian S. Calude (University of Auckland, New Zealand)
Jose Felix Costa (Technical University of Lisbon, Portugal)
Erzsebet Csuhaj-Varju (Eotvos Lorand University, Hungary)
Alberto Dennunzio (Universita degli Studi di Milano-Bicocca, Italy)
Marco Dorigo (Universite Libre de Bruxelles, Belgium)
Jerome Durand-Lose (Universite d'Orleans, France)
Masami Hagiya (University of Tokyo, Japan)
Oscar H. Ibarra (University of California, Santa Barbara, USA, =
Co-Chair)
Kazuo Iwama (Kyoto University, Japan)
Jarkko Kari (University of Turku, Finland)
Lila Kari (University of Western Ontario, Canada, Co-Chair)
Viv Kendon (University of Leeds, UK)
Kamala Krithivasan (IIT Madras, India)
Giancarlo Mauri (Universita degli Studi di Milano-Bicocca, Italy)
Yongli Mi (Hong Kong University of Science and Technology, China) =20=

Mario J. Perez-Jimenez (Universidad de Sevilla, Spain)
Kai Salomaa (Queen's University, Canada)
Hava Siegelmann (University of Massachusetts Amherst, USA)
Susan Stepney (University of York, UK)
Damien Woods (California Institute of Technology, USA)
Byoung-Tak Zhang (Seoul National University, Korea)


ORGANIZING COMMITTEE

Mark Daley (University of Western Ontario)
Helmut Jurgensen (University of Western Ontario)
Lila Kari (University of Western Ontario, Chair)
Steffen Kopecki (University of Western Ontario)
Stephen Watt (University of Western Ontario)


STEERING COMMITTEE

Thomas Back (Leiden University, The Netherlands)
Cristian S. Calude (University of Auckland, New Zealand, Founding =
Chair)
Lov K. Grover (Bell Labs, USA)
Natasha Jonoska (University of South Florida, USA, Co-Chair)
Jarkko Kari (University of Turku, Finland, Co-Chair)
Lila Kari (University of Western Ontario, Canada)
Seth Lloyd (Massachusetts Institute of Technology, USA)
Giancarlo Mauri (Universita degli Studi di Milano-Bicocca, Italy)
Gheorghe Paun (Institute of Mathematics of the Romanian Academy, =
Romania)
Grzegorz Rozenberg (Leiden University, The Netherlands, Emeritus =
Chair)
Arto Salomaa (University of Turku, Finland)
Tommaso Toffoli (Boston University, USA)
Carme Torras (Institute of Robotics and Industrial Informatics, =
Spain)
Jan van Leeuwen (Utrecht University, The Netherlands)







19) DCAI 2014 - Special Session on Multi-Agent Macroeconomics



Special Session on Multi-Agent Macroeconomics -
11th International Symposium on Distributed Computing and Artificial
Intelligence 2014 (DCAI 2014)

Conference Dates: Jun 4, 2014 to Jun 6, 2014
Deadline for paper submissions: Jan 20, 2014
Deadline for participant registration: Friday, March 7, 2014

The special session on Multi-Agents Macroeconomics is an international
forum which aims at sharing ideas, projects, researches results, models
and experiences associated with the building of computational
macroeconomic models. The special session will be held in Salamanca
(Spain) as the part of the 11st International Symposium Distributed
Computing and Artificial Intelligence 2014.

The special session focuses on interdisciplinary approaches to the study
of macroeconomic analysis and policies. Papers are invited for the
following areas of special interest which include but are not limited to:

Microfoundations of multi-agent macroeconomic models

artificial intelligence
behavioral decision making
experimental economics
cognitive economics
heuristic analysis

Micro-Macro relationship

emergence and self-organization
mean-field interaction
direct interaction and network topologies
network formation and evolution

Small scale and Distributed Agent-based models

Stock-Flow consistent Agent-based models

Computational models and Macroeconomic Policy analysis

Computability in Economics

Tools for Agent-based modeling

Important dates:
Submission: 20th January, 2014
Notification: 23rd February, 2014
Camera ready: 10th March, 2014
Conference: 4th-6th June, 2014

Accepted papers will be included in DCAI 2014 Proceedings published in
the Advances in Intelligent and Soft-Computing series (Springer).

Chairs

Edgardo Bucciarelli, economist, University of Chieti-Pescara, Italy
Gianfranco Giulioni, economist, University of Chieti-Pescara, Italy

Scientific Committee

Jose Carlos R. Alcantud, mathematical economist, University of Salamanca,
Spain
Barry Cooper, mathematical logician, University of Leeds, United Kingdom
Felix Freitag, computer scientist, Universitat Politecnica de Catalunya,
Spain
Alan Kirman, economist, Aix-Marseille Universite, France
Nicola Mattoscio, economist, University of Chieti-Pescara, Italy
Leandro Navarro, computer scientist, Universitat Politecnica de Catalunya,
Spain
Enrico Rubaltelli, cognitive psychologist, University of Padua, Italy
Anwar Shaikh, economist, The New School for Social Research, New York,
United States
Shu-Heng Chen, economist, National Chengchi University, Taipei, Taiwan
Katsunori Yamada, economist, Osaka University, Japan
Stefano Zambelli, economist, University of Trento, Italy

Conference Details
URL for Further Information: http://dcai.usal.es/node/39

Contact Details
Full Name: Gianfranco Giulioni
Institution: University "G. D'Annunzio" of Chieti-Pescara
Email Address: g.giulioni@unich.it

Location of Conference
Palacio de Congresos y Exposiciones de Castilla y Leon,
Cuesta de Oviedo, s/n
37008 Salamanca Spain
Spain