News

2nd CLE Colloquium for Philosophy and History of Formal Sciences "Logic and Computing"

2nd CLE Colloquium for Philosophy and History of Formal Sciences
"Logic and Computing"
"CLE4Science-Colloquia"
JULY 19-21, 2017

At Centre for Logic, Epistemology and the History of Science (CLE-Unicamp)

Invited Speakers: Christoph BENZMÜLLER (Freie Universität Berlin, Dep. of Mathematics and Computer Science), Giuseppe PRIMIERO (Middlesex University, Computer Science), Gianfranco BASTI (Pontifical Lateran University, Faculty
of Philosophy).

CLE Speakers: Marcelo CONIGLIO, Itala D'OTTAVIANO and Maria Eunice GONZALEZ

PhD offer (3 years, funded) in epistemology and didactics of mathematics, computer science and their interactions

The project DEMaIn (funded by ANR) hires a doctoral student for a PhD in Didactics of Mathematics and interactions with Informatics, at University of Montpellier (France). The student will develop a work of didactical engineering in the fields of the project. The grant is for 3 years, starting in autumn 2017.
Details (in French) are in the attached file.
Applications will be examined as soon as they are received.

Feel free to distribute this announcement around you, to your networks and to students who could be interested in this topic.

Call for Papers: Unix in Europe: between innovation, diffusion and heritage, October 19, CNAM, Paris

Call for contributions
International symposium
Unix in Europe: between innovation, diffusion and heritage
Conservatoire National des Arts et Métiers, Paris, France – October 19 2017
http://technique-societe.cnam.fr/international-symposium-unix-in-europe-...

2nd Call for Applications: Summer School on Computer Simulation Methods

Summer School: On Computer Simulation Methods
September 25-29, 2017, High Performance Computing Center Stuttgart (HLRS)
Website: https://regi.hlrs.de/2017/summer-school/index.jsp

Organizers: Michael Resch, Viola Schiaffonati, Giuseppe Primiero, Andreas Kaminski

Second Call for Applications

Topic

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

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

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

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

HaPoC-4 new website

For updates and more information on the 4th international conference on history and philosophy of computing, please, consult the conference website:
https://hapoc2017.sciencesconf.org/

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!

Salon des refugés. Dialectics for new computer science

On April 4 2017, Tomas Petricek and several others are organizing a workshop which seeks to provide a space for programming research that is less mainstream. For more information, see: https://refuses.github.io/

Pages

Subscribe to News