Tuesday, December 13, 2016

Final CfP: Computability in Europe 2017, June 12-16, 2017, Turku, Finland

FINAL CALL FOR PAPERS:
================

CiE 2017: Unveiling Dynamics and Complexity
Turku, Finland
June 12-16, 2017
http://math.utu.fi/cie2017

NOTE:

======

Symposium "Magic in Science", co-located with CiE 2017, dedicated to
Grzegorz Rozenberg on the occasion of his 75th birthday takes place just
after CiE, on June 17, 2017. Details below and at at
http://combio.abo.fi/rozenberg75/



IMPORTANT DATES:
================

Deadline for article submission: January 5, 2017
Notification of acceptance: March 1, 2017
Final versions due: March 13, 2017
Early registration before: May 8, 2017


CiE 2017 is the thirteenth conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.

Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponte Dalgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015) and Paris (2016).


THE PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) to submit their papers in all areas related to
computability for presentation at the conference and inclusion in the
proceedings at https://www.easychair.org/conferences/?conf=cie2017.

Papers must be submitted in PDF format, using the LNCS style (available
at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and
should have a maximum of 10 pages, including references but excluding a
possible appendix in which one can include proofs and other additional
material. Papers that build bridges between different parts of the
research community are particularly welcome.

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


ORGANIZED BY:
=============

Department of Mathematics and Statistics, University of Turku
Computer Science, Åbo Akademi University

email: cie2017@utu.fi


WOMEN IN COMPUTABILITY PROGRAM AND GRANTS:
==========================================

We are happy to announce that the CiE Women in Computability program,
coordinated by the Special Interest Group Women in Computability
http://sat.mdx.ac.uk/cie-wp/index.php/cie-conference-series/cie-cs-women-in-computability/

offers four grants of up to 250 EUR for junior female researchers who
want to participate in CiE 2017. Applications for this grant should be
send to Liesbeth De Mol (liesbeth.demol@univ-lille3.fr) before 1 May
2017 and include a short cv (at most 2 pages) and contact information
for an academic reference. Preference will be given to junior female
researchers who are presenting a paper (including informal
presentations) at CiE 2017.


TUTORIAL SPEAKERS:
==================

Denis R. Hirschfeldt (University of Chicago)
Daniel M. Gusfield (University of California, Davis)


INVITED SPEAKERS:
=================

Scott Aaronson (University of Texas at Austin)
Karen Lange (Wellesley College)
Ludovic Patey (Université Paris Diderot)
Nicole Schweikardt (Humboldt-Universit ät zu Berlin)
Alexander Shen (Université de Montpellier)
Moshe Vardi (Rice University)


SPECIAL SESSIONS:
=================

Algorithmics for biology:
-------------------------

Organized by Paola Bonizzoni (Milano, Italy) and Veli Mäkinen (Helsinki,
Finland). Speakers:

Tobias Marschall (Max-Planck-Institut für Informatik)
Fabio Vandin (University of Padova)
Gregory Kucherov (University Paris-Est Marne-la-Vallée)
Gianluca Della Vedova (University of Milano-Bicocca)


Combinatorics and algorithmics on words:
----------------------------------------

Organized by Tero Harju (Turku, Finland) and Dirk Nowotka (Kiel,
Germany). Speakers:

Stepan Holub (Charles University in Prague)
Pascal Ochem (Université de Montpellier)
Svetlana Puzynina (Sobolev Institute of Mathematics and École Normale
Supérieure de Lyon)
Narad Rampersad (University of Winnipeg)


Computability in analysis, algebra, and geometry:
-------------------------------------------------

Organized by Julia Knight (Notre Dame, USA) and Andrey Morozov
(Novosibirsk, Russia). Speakers:

Saugata Basu (Purdue University)
Margarita Korovina (University of Aarhus)
Alexander Melnikov (University of California, Berkeley)
Russell Miller (Queens College, City University of New York)


Cryptography and information theory:
------------------------------------

Organized by Delaram Kahrobaei (New York, USA) and Helger Lipmaa (Tartu,
Estonia). Speakers:

Jean-Charles Faugère (Université Pierre et Marie Curie)
Elham Kashefi (University of Edinburgh-Scotland, Université Pierre et
Marie Curie)
Aggelos Kiayias (University of Edinburgh)
Ivan Visconti (Università degli Studi di Salerno)


Formal languages and automata theory:
-------------------------------------

Organized by Juhani Karhumäki (Turku, Finland) and Alexander Okhotin
(St. Petersburg, Russia). Speakers:

Kai Salomaa (Queen's University at Kingston)
Matrin Kutrib (Justus-Liebig-Universität Gießen)
Thomas Colcombet (Université Paris Diderot)
Artur Jez (University of Wrocław)


History and philosophy of computing:
------------------------------------
Special topic: History and foundations of recursion, in memory of Rósza
Péter (1905-1977)

Organized by Liesbeth De Mol (Lille, France) and Giuseppe Primiero
(London, United Kingdom). Speakers:

Juliette Kennedy (University of Helsinki)
Jan von Plato (University of Helsinki)
Giovanni Sommaruga (Université de Fribourg)
Hector Zenil (University of Oxford, and Karolinska Institute)


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

Andrew Arana (Urbana-Champaign, US)
Arnold Beckmann (Swansea, UK)
Paola Bonizzoni (Milan, IT)
Olivier Bournez (Palaiseau, FR)
Vasco Brattka (Munich, DE)
Cristian S. Calude (Auckland, NZ)
Ann Copestake (Cambridge, UK)
Liesbeth De Mol (Lille, FR)
Helena Durnová (Brno, CZ)
Ekaterina Fokina (Vienna, AT)
Tero Harju (Turku, FI)
Emmanuel Jeandel (Nancy, FR)
Emil Jeřábek (Prague, CZ)
Natašha Jonoska (Tampa, US)
Jarkko Kari (Turku, FI, co-chair)
Viv Kendon (Durham, UK)
Takayuki Kihara (Berkley, US)
Florin Manea (Kiel, DE)
Klaus Meer (Cottbus, DE)
Russell Miller (New York City, US)
Bernard Moret (Lausanne, CH)
Rolf Niedermeier (Berlin, DE)
Dag Normann (Oslo, NO)
Dirk Nowotka (Kiel, DE)
Isabel Oitavem (Lisbon, PT)
Ion Petre (Turku, FI, co-chair)
Kai Salomaa (Kingston, CA)
Reed Solomon (Storrs, US)
Mariya Soskova (Sofia, BG)
Susan Stepney (York, UK)
Peter Van Emde Boas (Amsterdam, NL)
Philip Welch (Bristol, UK)
Damien Woods (Pasadena, US)


Magic in Science:
-----------------

The symposium "Magic in Science" will be co-located with CiE 2017. It
takes place on June 17, 2017, immediately after CiE. The symposium
celebrates the 75th birthday of Prof. Grzegorz Rozenberg, University of
Leiden, the Netherlands and University of Colorado at Boulder, USA.
Grzegorz Rozenberg is one of the world leaders in research on
Theoretical Computer Science and Natural Computing. As a matter of fact,
he is often called the guru of Natural Computing, having started
promoting it as a coherent scientific discipline already from the 1970s
– he gave this area its name and defined its scope. He played a central
role in the development of theoretical computer science in Europe. His
research is very broad in scope and it is a prime example of
interdisciplinary research. He has authored exceptionally many research
papers opening new vistas, as well as well-known books about
developmental languages, decidability and DNA computing. He supervised
numerous Ph.D. students, many of whom have become known scientists. He
serves or has served the international computer science community in
numerous roles, including: president of the European Association for
Theoretical Computer Science (EATCS); cofounder and president of the
International Society for Nanoscale Science, Computation, and
Engineering (ISNSCE); chair of the steering committee of the DNA
Computing Conference; cofounder and chair of the steering committee of
the International Conference on Application and Theory of Petri Nets;
chair of the steering committee of the European Educational Forum;
cofounder and chair of the steering committee of the International
Conference on Developments in Language Theory; co-chair of the steering
committee of the International Conference on Unconventional Computation
and Natural Computation; and director of European Molecular Computing
Consortium. The talks given at the symposium will have an overview
character and together they will cover a broad range of topics from
Computer Science, reflecting Grzegorz Rozenberg's broad research
interests. Among the topics covered are: P vs NP, reaction systems,
membrane computing, graph isomorphism, combinatorics on words, DNA
rearrangements, smart textiles, smart drones, magic squares, wonder
cubes, and odor reproduction. Confirmed speakers include: David Harel,
Weizmann Institute of Science, Israel- "On odor reproduction and how to
test for it" Hendrik Jan Hoogeboom, University of Leiden, the
Netherlands - TBA Juraj Hromkovic, Swiss Federal Institute of Technology
Zurich, Switzerland - "Why P vs. NP is so hard that even magicians
failed to solve it" Natasha Jonoska, University of South Florida, USA -
TBA Juhani Karhumäki, University of Turku, Finland - "Combinatorics on
words and k-abelian equivalence" Hermann Maurer, Academia Europaea and
Graz University of Technology, Austria: "Some unusual applications of
computer science" George Paun, Institute of Mathematics of the Academy
of Romania - TBA Azaria Paz, Technion, Israel - "Linked magic squares on
a cube. Theme and variations" Moshe Vardi, Rice University, USA - TBA
The symposium is free of charge. Details: http://combio.abo.fi/rozenberg75/
-----------------------------------

Association CiE:
http://computability.org.uk
CiE Conference Series:
http://illc.uva.nl/CiE
CiE 2017 on Facebook:
https://www.facebook.com/CIE.Conference2017
CiE 2017 on Twitter:
https://twitter.com/2017Cie
CiE 2017 on Instagram:
https://instagram.com/cie.2017