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

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

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

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: TBA

History and philosophy of computing:
————————————

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

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)

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

TURRIANO ICOHTEC PRIZE

The Turriano ICOHTEC Prize (formerly ICOHTEC Prize for Young Scholars) is sponsored by the Juanelo Turriano Foundation and consists of 2,500 Euro. The prize winning book will be presented and discussed at a special session of the next ICOHTEC symposium, in Rio de Janeiro, Brazil, from 23-29 July 2017 (http://www.icohtec.org/annual-meeting-2017.html [1]). An additional 500 Euro is available to the winner in support of travelling to the conference to receive the prize.

ICOHTEC, the International Committee for the History of Technology, is interested in the history of technology, focusing on technological development as well as its relationship to science, society, economy, culture and the environment. The history of technology covers all periods of human history and all populated areas. There is no limitation as to theoretical or methodological approaches.

Eligible for the prize are original book-length works in any of the official ICOHTEC languages (English, French, German, Russian or Spanish) in the history of technology: published or unpublished Ph.D. dissertations or other monographs written by scholars who, when applying for the prize, are not older than 37 years. Articles and edited anthologies are not eligible.

For the 2017 Turriano ICOHTEC Prize (http://www.icohtec.org/resources-prizes-turriano-icohtec.html [2]) please send an electronic copy (Pdf or Word) of the work you wish to be considered for the prize to each of the three Prize Committee members. (Note: Hard copies are only accepted for published works not available electronically.) YOUR SUBMISSIONS MUST BE EMAILED NO LATER THAN FRIDAY, 3 FEBRUARY 2017. If your book is in Spanish or Russian, please also supply a summary in English, French or German of about 4,500 words. In that case, the prize committee will find additional members, who are familiar with the language in which your book is written. Please also include an abstract of no more than a half-page in length.

If the work is a Ph.D. thesis, it should have been accepted by your university in 2015 or 2016; if it is a published work, the year of publication should be 2015 or 2016. The submission should be accompanied by a CV (indicating also the date of birth) and, if applicable, a list of publications. Applicants are free to add references or reviews on the work submitted.

Any materials sent to the prize committee will not be returned.

Send a complete application by email to each of the following Prize Committee members:

Dr. Jeremy Kinney, Prize Committee Chair
Curator, Aeronautics Department Smithsonian National Air and Space Museum P.O. 37012, MRC 312 Washington, DC 20013-7012 USA E-mail: kinneyj@si.edu

Dr. Yoel Bergman Associate Researcher Cohen Institute, Tel-Aviv University 20 Hatzmaut st. Herzliya 46789 Israel E-mail: yoelb@protalix.com, bergm@post.tau.ac.il

Dr. Irina Gouzevitch Centre Maurice Halbwachs École Normale Supérieure 48, boulevard Jourdan 75014 PARIS E-mail: igouzevitch@ens.fr

Dr. Klaus Staubermann Principal Curator of Technology National Museums of Scotland Chambers Street Edinburgh EH1 1JF UK E-mail: K.Staubermann@nms.ac.uk

HaPoC related website at Middlesex University

Visit our new website at

http://ta.mdx.ac.uk/leo/

This site collects information and references related to the History and Philosophy of Computing as part of the teaching and research activities of the Foundations of Computing Group at the Department of Computer Science, Faculty of Science and Technology, Middlesex University London. Our research focuses extensively on the LEO Computers, through a Master Studentship in Business Computing and currently a PhD Studentship funded by the Association for Information Technology Trust and supported by the Caminer Family. Teaching activities include an optional module for the BSc Computer Science Programme in History and Philosophy of Computing (Module Leader: Giuseppe Primiero).

Follow us on twitter: @leomiddlesex

What Makes a Program Elegant?

R. K. Hill, “What Makes a Program Elegant?”, Blog@CACM, 2016. [Online]. Available: http://cacm.acm.org/blogs/blog-cacm/208547-what-makes-a-program-elegant/fulltext.

HaPoC Symposium at the 25th ICHST

The 25th International Congress of History of Science and Technology will take place in Rio de Janeiro, Brazil, from 23 to 29 July 2017. The HaPoC Commission will be present with a Symposium organised by Fabio Maia Bertato, Henrique Cukierman, Flavia Marcacci and James Sumner. The Symposium is titled “The Ubiquity of Computing: historical and philosophical issues”. Details are available at

http://ichst2017.sbhc.org.br/resources/simposios/S2_The%20Ubiquity%20of%20Computing_historical%20and%20philosophical%20issues.pdf

CfP: Philosophy and Technology’s special issue on The Governance of Algorithms

GUEST EDITORS

Marcello D’Agostino (University of Milan, Italy) and Massimo Durante (University of Turin, Italy)

INTRODUCTION
In our information societies, we increasingly delegate tasks andalgorithms. Their increased intelligence, autonomous behavior and connectivity are changing crucially the life conditions of human beings as well as altering traditional concepts and ways of understanding reality. Algorithms are directed to solve problems that are not always detectable in their own relevance and timeliness. They are also meant to solve those problems through procedures that are not always visible and assessable in their own. In addition, technologies based on algorithmic procedures more and more infer personal information from aggregated data, thus profiling human beings and anticipating their expectations, views and behaviors. This may have normative, if not discriminatory, consequences. While algorithmic procedures and applications are meant to serve human needs, they risk to create an environment in which human beings tend to develop adaptive strategies by conforming their behaviour to the expected output of the procedures, with serious distortive effects. Against this backdrop, little room is often left for a process of rational argumentation able to challenge the results of algorithmic procedures by putting into question some of their hidden assumptions or by taking into account some neglected aspects of the problems under consideration. At the same time, it is widely recognized that scientific and social advances crucially depend on such an open and free critical discussion.

TOPICS
The aim of this special issue of Philosophy & Technology is to explore questions about the governance of algorithms in light of the technological dependence of our information societies. We ask how to face theoretical and practical challenges in order to assure that technological innovations go hand in hand with human needs, beliefs and expectations. We solicit the submission of papers from different disciplines (law, ethics, economics, computer science, social studies, epistemology and philosophy of science) to address questions such as:

· How to deal with the “knowledge problem” (as Franck Pasquale put it), i.e., with the openness, transparency and fairness of algorithmic procedures and applications?
· How to govern those algorithmic procedures and applications once we delegate them the accomplishment of tasks or the solution of problems?
· By which standards the relevance and the timeliness of problems as well as the efficiency and the legitimacy of solutions are measured?
· Is the extensive functioning of automated systems, devices and agents based on algorithms able to impair human freedom and autonomy, free critical discussion and reflexivity?

TIMETABLE
December 19, 2016: Deadline for paper submissions
February 13, 2017: Deadline reviews papers
March 13, 2017: Deadline revised papers
April, 2017: Publication of accepted papers

SUBMISSION DETAILS
To submit a paper for this special issue, authors should go to the journal’s Editorial Manager http://www.editorialmanager.com/phte/
The author (or a corresponding author for each submission in case of co- authored papers) must register into EM.

The author must then select the special article type: ” The Governance of Algorithms” from the selection provided in the submission process. This is needed in order to assign the submissions to the Guest Editors.
Submissions will then be assessed according to the following procedure:
New Submission => Journal Editorial Office => Guest Editor(s) => Reviewers => Reviewers’ Recommendations => Guest Editor(s)’ Recommendation => Editor-in-Chief’s Final Decision => Author Notification of the Decision.
The process will be reiterated in case of requests for revisions.

For any further information please contact:

GUEST EDITOR’S CONTACT DETAILS

Marcello D’Agostino: marcello.dagostino@unimi.it

Massimo Durante: massimo.durante@unito.it