Author: Giuseppe Primiero

Posted on

HaPoC Symposium at ICHST2017 — Programme

Symposium 002. The Ubiquity of Computing: historical and philosophical issues  

Monday, 24 July,

9:00-10:30 a.m- Session Chair: Alberto de Lima
9:00 – 9:30 Henrique Cukierman A racing car without tires
9:30 – 10:00 Lucas Pereira Between taxes and innovations: The Role of Federal Data Processing Service (SERPRO) in the growth of Brazilian computer Market (1964-1970)
10:00 – 10:30 Alberto de Lima Control, freedom, informatics and society: a review of informatics histories in Brazil

10:45 a.m.-12:15 p.m. – Session Chair: Marcelo Vianna
10:45 – 11:15 Marcelo Vianna Information Technology in Brazil and the National Information Service (SNI): exploring an ambivalent relationship (1976-1984)
11:15 – 11:45 Márcia Barros The Brazilian computer in the Journal “Dados e Ideéias”: ‘in search of its soul’
11:45 – 12:15 Ivan Marques A new look at an old devil: the computer market reserve in Brazil

3:30-5:00 p.m.  – Session Chair: Fernando Severo
3:30 – 4:00 Fernando Severo Ubiquity so that I want you!
4:00 – 4:30 Luiz Arthur Faria Free software and solidarity economy in Brazil: licenses, practices and worldviews in debate
4:30 – 5:00 All participants Evaluation of the day – Discussion about Proceedings

Tuesday, 25 July,

10:45a.m.- 12:15 p.m. – Session Chair: Fabio Bertato
10:45 – 11:15 Lorenzo Spezia Some philosophical considerations about the possibility of mind uploading
11:15 – 11:45 Giuseppe Primiero Computational Correctness: from type-correctness to error-handling.
11:45 – 12:15 All participants Questions and Discussion

3:30- 5:00 p.m. – Session Chair: Fabio Bertato
3:30 – 4:40 Maria E. Gonzales & Itala D’Ottaviano Complexity, ubiquitous computing and autonomy: An inquiry into the human radical enhancement project
4:40 – 5:00 All participants Questions and Discussion

5:15- 6:45 p.m – Session Chair: Fabio Bertato
5:15 – 5:45 Fabio Bertato Peano, Universal Languages and the “Mechanization” of the Mathematical Thinking
5:45 – 6:15 Christoph Benzmüller Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths and Computer Science
6:15 – 6:45 All participants Questions and Discussion – Closing

Posted on

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

Contributions in the main areas of research of CLE are welcome. Please send one-page abstracts to fmbertato@cle.unicamp.br. Deadline: July, 04.

For more information, please access:
www.cle.unicamp.br/principal/content/2ndcle4science

Posted on

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.

Contact for informations and application : simon.modeste@umontpellier.fr

Posted on

Call for nominations HaPoC council and motions

The current council of the HaPoC commission will end its term at our fourth HaPoC conference and we invite all members of the commission to nominate any other member of the commission which they believe has the right vision, energy and passion to help shape the next four years of HaPoC.

Nominations should be sent to the president (liesbeth.demol@univ-lille3.fr) before June 24, 2017. Please recall that if there are six or fewer valid nominations, the nominees are declared elected unopposed. If there are more than six nominations an election will take place during the General Assembly of HaPoC-4.

We also cordially invite you to suggest possible topics which you think should be discussed during the General Assembly and welcome any thoughts/comments/ ideas you might have on how we can/should shape the future of the commission,