CfP: (De)constructing Digital History, MESHS, Lille

Call for Papers
(De)constructing Digital History, MESHS, Lille
27-29 November, 2017
https://dhnord2017.sciencesconf.org/

dhnord2017 is the fourth edition of the annual Digital Humanities conference organized by the Maison européenne des sciences de l’homme et de la société (MESHS). This year’s edition is co-organized with the Luxembourg Centre for Contemporary and Digital History (C2DH) of the University of Luxembourg. The theme is: “(De)constructing Digital History”. The conference will take place in November 27-29, 2017 in Lille, France.

What is digital history? The term has been coined since at least 1999 (Ayers, 1999) and was further generalized by 2005 (Lines Andersen 2002, Lee 2002, Cohen & Rosenzweig 2005). Broadly defined, digital history is “an approach to examining and representing the past that works with the new communication technologies of the computer, the internet network, and software systems” (Seefeldt & Thomas 2009). In other words, it describes historical inquiry that is based on primary sources available as electronic data, whether digitized or born-digital, and the narratives that are constructed through such inquiries (Lee 2002).

The rise of digital history is in general perceived as the phase defined by the democratization of the personal computer technology, network applications and the development of open-source software (Thomas 2004, Cohen & Rosenzweig 2005, Graham, Milligan & Weingart 2015). With slight differences in periodization, medium-centered (e.g. relying on the use of the computer) genealogies see digital history at least partly as a descendant of quantitative and computational history, tracing its beginnings through the end of the 40s to the 60s (Thomas 2004, Graham, Milligan & Weingart 2015). Broader approaches insist instead on the heritage of public and oral history (Noiret 2011, Scheinfeldt 2014). Digital history participated greatly to the rise and development of the field of digital humanities since the mid-2000s (Schreibman et al. 2004, Kirschenbaum 2010, Gold 2012). However, specific disciplinary objects, sources and approaches continue to be present within the connected use of methods and tools that takes place under the digital humanities big tent. A typology of digital history projects identifies three main fields: academic research, public history, and pedagogy projects, of which the last two categories are considered particularly specific to historians within the digital humanities field (Robertson 2016).

We therefore propose to address digital history through this triple spectrum: academic research, public history, and pedagogy, in order to trace continuities and transformations in history as a discipline; and contribute to explore the broader digital humanities field through this case study.

1/ Academic research

It is understood that scholarly research in history has been affected by the digitization of sources, methods and the environment in which research is conducted, produced and disseminated (Clavert & Noiret 2013). Nonetheless, there also seems to be a tension between the potentiality of digital history and the actual delivery of argument-driven scholarship (Blevins 2016). In the last two decades, a significant number of digital history projects have been elaborated and, furthermore, digital history has been institutionalized through the creation of specialized departments in several universities. We should then be able to identify the impact of mutations in the ways historical research is driven and communicated, on the one hand; the novelties in objects, methods and analysis tools, and the eventual issues they raise, on the other.

In this sense, what is called the data revolution (Kitchin 2014) is one important component to take into account and to explore further. The massive production of digitized/born-digital historical data challenges historians’ existent approaches and methods of research and analysis, as recent debates on the longue durée approach have shown (Guldi & Armitage 2014, Annales 70 2/2015) or the transnational turn (Putnam 2016), just to mention a few. Moreover, it raises issues on how historians relate with present time and what their role is in digital preservation matters as showcase social media and other web-based ephemeral data (Webster 2015, Rosenzweig 2003). What is essentially at stake is inter-/transdisciplinary cooperation, even the dependency of history on input from other disciplines, whether from human, social or computer science (computational linguistics, visual analytics…), engineering, library and information science. Indeed, the use of connected methodologies as historians adopt new epistemologies (data mining and visualization, GIS, encoded critical edition), sheds light on the need to adapt historians’ literacy through the development of a shared culture with computer science and mathematics (Genet 1986, Lamassé & Rygiel 2014).

Furthermore, the ecology of scientific data raises some important interdisciplinary issues related to their collection, storage, archiving, dissemination and the correspondent infrastructures. What kind of scientific sovereignty can be exercised once data storage and infrastructures are externalized, and what is its impact on access and sustainability of scientific research and its output? How can disciplinary needs for effective organization and description of historical information be met (e.g. specific ontologies) in a global environment of structured interoperable data? Moreover, old problems of biases concerning the access of primary sources are updated as the result of digitization and its possible impact on availability or, instead, underrepresentation of certain types of archives (Putnam 2016, Milligan 2013). Let’s consider, for example, the impact of institutional decision-making and constraints (such as financial ones) on the digitization of sources, new actors in the web ecosystem such as digitization companies, or even digital fractures and inequalities at national and transnational levels, just to evoke some of the most probable biases. Last but not least, one should not forget the biases that algorithms and software can generate during the collection and analysis of historical data.

2/ Digital history and public history

From a vast literature on the synergies between digital and public history (see Noiret 2011, Cauvin 2016), we chose to focus on topics that shed light on the blurred frontiers between public and scholarly history, especially the osmosis between scholars, cultural heritage institutions, private sector and citizens. From this point of view, we propose to explore three main thematic unites. First, ways in which technology is used in the cultural heritage sector in order to engage the public with history: uses of social media, augmented and virtual reality, development of tools for the public to explore patrimonial data and collections, game industry and history, private sector digitization and engagement with history… Second, historical memory and the way it emerges at individual, collective and institutional levels to show using facts the relation of people to history and the multiple ways the present affects the perception of the past. Finally, the documentation of present-time events that actually builds primary sources and archives for future historians: crowdsourced archives, social and political movements documentation (such as Spanish 15M, Nuit débout, Women’s March), political uses of technology (social media propaganda, institutional use of social media, political use of game industry as in the case of the Israeli-Palestinian conflict etc). How is authority conceived and how does the role of historian persist in such diversified multi-actor contexts?

3/ Pedagogy

During the last few years, several digital history departments have been created in various universities in different countries. Furthermore, even in traditional history departments, teaching now integrates components of digital culture or associated skills. There are specialized tutorial blogs (The Programming Historian, La boîte à outils des historiens) providing for skill transfers between historians; digital transdisciplinary schools (such as the Digital Methods Initiative of the University of Amsterdam); an array of online services or/and software for one to easily explore and analyze data (Düring et al. 2011, Nodegoat, AnalyseSHS…). However, few systematic approaches allow to have an overall view of how historians get on with the digital transformations of their profession (Heimburger & Ruiz 2011) and even less from a transnational perspective. How are historians to teach digital history in these contexts and how are traditional and DH teaching articulated? What skills and methods do teachers need to develop for themselves, in order to teach them, and for their students to acquire them? How to better fit teaching to specific research interests so that students are able to acquire a method than simply become able to manage tools (Mahoney, Pierazzo 2012)? How are modules organized and how do students react to the teaching of digital history? How can a minimum skillset be defined in order to assure research of an acceptable quality and corresponding level publications but also a balance between a historian’s basic training and the acquisition of this skillset? Although there have been works developing the discussion (and solutions) regarding mainly the web resources (Cohen, Rosenzweig 2006), there is less focus on the ways interdisciplinarity is embedded in digital history teaching and even less on how to deal with born-digital data (e.g. social media data) use and analysis as primary sources for historians in specific modules.

Possible areas of interest for proposals include, but are not limited to, the following:

Academic research
Natural language processing and text analytics applied to historical documents
Applications of GIS
Social Network Analysis
Image analysis
Analysis of longitudinal document collections
Entity relationship extraction, detecting and resolving historical references in text
Digitizing and archiving
Applications of Artificial Intelligence techniques to History
Handling uncertain and fragmentary text and image data
OCR and transcription
Epistemologies in the Humanities and Computer Science
Novel techniques for storytelling
Historical ontologies
Historical data management and infrastructures
Software and applications development

Digital public history
Museums and exhibiting the past
Oral history and community projects
Digital media, the Internet and participatory knowledge
Moving images and documentaries
Re-enactments and living history
Historic preservation and community cultural heritage
Public archaeology
Social media, mobile app and user-generated contents
Public policies and applied history
Historical memory construction and the Web
Teaching public history

Pedagogy
Introduction of digital research methods in classrooms
Designing digital history curricula
Digital teaching materials
Digital media as alternative to text-based student theses and research papers
Methods for digital student assessment
Teaching digital literacy
Teaching the history of the “Digital Age”
Digital history teaching commons

Proposals (up to 1000 words) can be submitted until May 31, 2017 in English or in French. All proposals will be considered. Travel expenses can receive financial support. For further questions please contact dhnord[at]meshs[dot]fr

Summer School: On Computer Simulation Methods

Summer School: On Computer Simulation Methods
September 25-29, 2017, High Performance Computing Center Stuttgart (HLRS)
Organizers: Michael Resch, Viola Schiaffonati, Giuseppe Primiero, Andreas Kaminski

Call for Applications
Topic
The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

Schedule
The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

Instructors (confirmed and requested)
Nicola Angius (Sassari), Petra Gehring (TU Darmstadt), Andreas Kaminski (Stuttgart), Johannes Lenhard (Bielefeld), Giuseppe Primiero (London), Michael Resch (Stuttgart), Viola Schiaffonati (Milan), Angelo Vermeulen (Delft)

Who is it for?
Researchers (especially but not exclusively postgraduates) from the humanities and social sciences who are interested in learning more about the methodological dimensions of computer simulation;
Computer scientists and practitioners in simulation who are interested in deepening their knowledge on the foundations, methods, and implications of their techniques.

Prerequisites for participation?
Technical skills (knowledge of programming languages, simulation experience) are helpful, but not required. Acquaintance with the literature in contemporary philosophy of science is useful, but will not be assumed.

How to apply?
The number of participants is limited to 20. To apply, email kaminski@hlrs.de.
All proposals must be submitted by May 30, 2017 and include:
(1) short curriculum vitae;
(2) description of your research (max. one page);
(3) questions or topics you are interested in regarding the summer school (just a few lines).
Participants will be notified by June 30, 2017.

What are the costs?
There is no fee, but participants will have to cover their travel and hotel expenses. The organizers will happily help participants organize their journey and hotel stay.
The DHST/DLMPST Interdivision Commission on the History and Philosophy of Computing (www.hapoc.org) will offer two bursaries of $250 each to support travel and accommodation costs of young researchers. To apply for this funding, please forward your application to
Liesbeth de Mol liesbeth.demol@univ-lille3.fr
Giuseppe Primiero G.Primiero@mdx.ac.uk
by May 31, 2017. Applicants will be informed of decisions pertaining to both funding and proposal submission at the same time (June 30, 2017).

Website: https://regi.hlrs.de/2017/summer-school/index.jsp

CiE 2017: call for informal presentations

Call for informal presentations

Computability in Europe 2017, June 12-16, Turku, Finland
http://math.utu.fi/cie2017/

Important dates
• Submission deadline: May 1, 2017
• Notification of acceptance: Within two weeks of submission

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

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

Please submit your abstract electronically, via EasyChair <https://www.easychair.org/conferences/?conf=cie2017>, selecting the category “Informal Presentation”.

You will be notified whether your talk has been accepted for informal presentation within two weeks after your submission.

Jarkko Kari and Ion Petre (PC co-chairs of CiE 2017)

International Day of Women and Girls in Science, 11 february

11 February 2017 is the second celebration of the International Day of Women and Girls in Science.

Enjoy the celebrations and spread the news!

United Nations website http://www.un.org/en/events/women-and-girls-in-science-day/ Science and gender equality are both vital for the achievement of the internationally agreed development goals, including the 2030 Agenda for Sustainable Development. Over the past 15 years, the global community has made a lot of effort in inspiring and engaging women and girls in science. Unfortunately, women and girls continued to be excluded from participating fully in science. According to a study conducted in 14 countries, the probability for female students of graduating with a Bachelor’s degree, Master’s degree and Doctor’s degree in science-related field are 18%, 8% and 2% respectively, while the percentages of male students are 37%, 18% and 6%.

In order to achieve full and equal access to and participation in science for women and girls, and further achieve gender equality and the empowerment of women and girls, the United Nations General Assembly adopted resolution A/RES/70/212 (draft A/70/474/Add.2) declaring 11 February as the International Day of Women and Girls in Science.

UNESCO website

http://www.unesco.org/new/en/unesco/events/prizes-and-celebrations/celebrations/international-days/int-day-of-women-and-girls-in-science/international-day-of-women-and-girls-in-science-2017#.WJrEEWeKw8o

2017 Covey Award goes to Ray Turner

We are happy to announce that the IACAP 2017 Covey Award will go to Ray Turner, one of the HAPOC council members and we congratulate Ray with this well-deserved recognition of his work on the philosophy of computer science. See the announcement below for more details.

The International Association for Computing and Philosophy’s Covey Award
recognizes senior scholars with a substantial record of innovative
research in the field of computing and philosophy broadly conceived.

IACAP’s Executive Board is delighted to announce that Professor Raymond
Turner will be presented with the Covey Award at IACAP 2017, June 26-28,
Stanford University, where he will present the Covey Award Keynote
Address.

Professor Turner is Professor Emeritus of Logic and Computation in the
School of Computer Science and Electrical Engineering at the University
of Essex, where he has served since 1985. Holding doctorates in
Mathematical Logic and Theoretical Computer Science (Queen Mary College,
London, 1973) and Philosophy (Bedford College, London, 1981). Professor
Turner has also been a Sloan Research Fellow at the University of
Massachusetts-Amherst (1982) and CSLI, Stanford University (1984). He
was Visiting Professor and Research Fellow at the University of
Texas-Austin (1984 and 1987) and Senior Research Fellow at the
University of Massachusetts-Amherst (1984 and 1986). Currently he serves
on the editorial board of the Journal of Logic and Computation and, for
the Stanford Encyclopaedia of Philosophy, as Editor of Logic and
Computation.

Professor Turner’s work in Theoretical Computing Science and the
Philosophy of Computer Science has been field-defining and
ground-breaking. His books include Computable Models (Springer 2010),
Constructive Foundations for Functional Languages (McGraw Hill 1991),
Truth and Modality for Knowledge Representation (MIT Press 1990), and
Logics for Artificial Intelligence (Pitman, 1984). His publications
include “A Theory of Properties”, (Journal of Symbolic Logic, 1987),
“The Foundations of Specification” (Journal of Logic and Computation,
2005), “Type Inference for Set Theory” (Theoretical Computer Science,
2001), “Specification”, (Minds and Machines, 2011), “Programming
Languages as Technical Artefacts”, (Philosophy and Technology, 2014),
“Logics of Truth” (Notre Dame Journal of Formal Logic, 1990), and “The
Philosophy of Computer Science”, (Stanford Encyclopaedia of Philosophy,
2013).

As Professor Turner describes his research,

The philosophy of computer science is concerned with those
philosophical issues that arise from within the academic
discipline of computer science. It is intended to be the
philosophical endeavour that stands to computer science as
philosophy of mathematics does to mathematics and philosophy of
technology does to technology. Indeed, the abstract nature of
computer science, coupled with its technological ambitions,
ensures that many of the conceptual questions that arise in the
philosophies of mathematics and technology have computational
analogues. In addition, the subject will draw in variants of
some of the central questions in the philosophies of mind,
language and science.

In contrast, I take the central task of Theoretical Computing
Science to be the construction of mathematical models of
computational phenomena. Such models provide us with a deeper
understanding of the nature of computation and representation.
For example, the early work on computability theory provided a
mathematical model of computation itself. Turing’s work is of
fundamental importance here. Adapting Gödel’s diagonalization
argument, he demonstrated that there are problems that do not
admit of an algorithmic solution. He thus provided a
mathematical model of computation that displayed its
limitations. Later work on the semantics of programming
languages enabled a precise articulation of the underlying
differences between programming languages and led to a clearer
understanding of the distinction between semantic representation
and implementation. Early work in complexity theory supplied us
with abstract notions which formally articulated informal ideas
about the resources used during computation. I take this model
building endeavour to be the central and fundamental role of
theoretical computer science.

Please join us at IACAP 2017, June 26-28, Stanford University to
congratulate Professor Turner on this well-deserved award.

http://www.iacap.org/iacap-2017/

Best,

Don Berkich
IACAP President

SIGCIS@CHM: Command Lines: Software, Power and Performance: Deadline December 30th, 2016

Command Lines: Software, Power and Performance

March 18-19, 2017
Computer History Museum
Mountain View, CA
Call for Papers Deadline: Dec 30 2016

What is Command Lines?

Command Lines: Software, Power, and Performance is a meeting that will draw together scholars from a variety of fields that study software. These fields include: the history of computing; science and technology studies; software studies; code studies; game studies; media studies; the study of women, gender and sexuality; studies of race, ethnicity and postcoloniality; network and internet histories; and computer science and engineering. Command Lines is collaboratively organized by SIGCIS (Special Interest Group for Computing, Information and Society) and the Computer History Museum.

The meeting will explore how software relates to social and technical constructs of power and performance. Attendees will discuss why connections between the creation and use of software are integral to understanding social and technical power in multiple senses.

Purpose and Theme
The purpose of the meeting, Command Lines: Software, Power, and Performance, is to draw together scholars from a variety of fields that study software: the history of computing; science and technology studies; software studies; code studies; game studies; media studies; the study of women, gender and sexuality; studies of race, ethnicity and postcoloniality; network and internet histories; and computer science and engineering. The meeting hopes to explore the connections between the creation and use of software and “power” in multiple senses, and the connection between software and conceptions of technical and cultural “performance.”

The SIGCIS organizing committee now seeks proposals for short papers (15-20 min.) to present new work at the conference. We welcome work that hinges on, links to, or reacts against the themes of the meeting. We also welcome submissions that may not connect specifically with the themes but have bearing on the larger project of SIGCIS–the study of computing and sociotechnical change. We especially encourage submissions from graduate students and early career scholars.

Deadlines and Submission Protocol
Proposals for papers are due by December 30th, 2016. Decisions will be made by January 16th, 2017. Proposals should include:

a one-page abstract (maximum 400 words) addressing the paper’s topic, approach, sources, and relationship to existing literatures
a one-page CV

Please email your proposal to SIGCIS organizing committee by midnight (Pacific time) on December 30th to Conference Assistant kera.allen@gatech.edu.

​Financial Support
SIGCIS and the Museum will be able to provide partial financial support to graduate students to present at the meeting. Please note in your proposal if you would like to be considered for a travel award.

Location and Logistics
The meeting events will be held at CHM at 1401 North Shoreline Boulevard, Mountain View, CA 94043. During the event, attendees will have access to CHM’s most recent major exhibit on software and its implications, Make Software: Change the World!

There will be no official meeting hotel or transportation. The meeting has a $40 registration fee, waived for graduate and undergraduate students as well as independent scholars. Presenters and attendees may register here. We encourage early registration, as attendance will be limited.

And the website for the meeting is http://meetings.sigcis.org/

Thanks in advance for your kind help.

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)
Cliff Jones (Newcastle University)
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

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