HaPoC programme

Conference Programme 

4th International Conference on  History and Philosophy of Computing

(minor changes are possible) 

Wednesday, 4 October 2017

8:30-10:00           registration, morning coffee

10:00                     opening of HaPoC-4, welcome

10:30-12:00        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Ugo Pagallo and Gregory Chaitin. Leibniz’s Three Roads to Incompleteness

Anna-Sophie Heinemann. Numerically Definite Syllogisms: a Chapter in the Pre-history of Computing?

Mark Priestley. Understanding Algorithmic Artefacts: the Case of Colossus

14:00-15:30        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Edgar Daylight. Category Mistakes in Computer Science at Large

Benjamin Jantzen. A Brief and Whiggish History of Algorithmic Discovery   

Cliff Jones. Programming Language Semantics: Why, What and How

16:00-17:30        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Tomas Petricek. The Inner Life of Programming Concepts

Iñaki San Pedro. Computer Simulations, Emergence and Scientific Representation

Nicolas Fillion. Assessing Inexactly Computed Solutions in Modelling Contexts

18:00 - 19:00        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

(keynote)

Peter J. Denning:

The Future of Computational Thinking

 19:00-20:00        welcome reception

Thursday, 5 October 2017

9:30-10:30     venue: Technical Museum Brno

Guided tour: Technical museum  Brno. Meet in the lobby.

11:00 - 12:00     venue: Technical Museum Brno, lecture hall, 4th floor   

(keynote)

David Gugerli, ETH Zurich:

Mission Control

13:00-14:30    venue: Technical Museum Brno, lecture hall, 4th floor   

Elisabetta Mori. Coping with the “American giants”: Mergers, Relationships and Attempted partnerships in the European Computer Industry in the Early Sixties

Melanie Swalwell and Maria B. Garda. Art, Maths, Electronics and Micros: the Late Work of Stan Ostoja-Kotkowski

Mario Verdicchio. The Freedom (or lack thereof) of Computer Art

15:00- 16:00     venue: Technical Museum Brno, lecture hall, 4th floor   

      (keynote)

Frieder Nake,

rational.radical.emotional –

An algorithmic solution of the problem of Information Aesthetics and its consequences

17:00-18:00     venue: Dům umění města Brna

Openning of the exibition

Computer Graphics Revisited

18:30-21:00      Conference Dinner

Friday, 6 October 2017

9:00-10:00        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Jozef Kelemen

L Systems in science and art

10:30-12:00        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Mikkel Willum Johansen and Henrik Kragh Sørensen. Employing Computers in Posing and Attacking Mathematical Problems: Human Mathematical Practice, Experimental Mathematics, and Proof Assistants

Troy Kaighin Astarte. Towards an Interconnected History of Semantics

Juan Luis Gastaldi. Signs and Calculation: A structuralist approach to language and computing.

13:30-14:30        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Alessio Plebe and Giorgio Mario Grasso. How "Learning" become "Deep"

Juan M Durán. Computer Simulations: the History of a Concept and its Philosophical Footprint

Jabel Alejandro Ramirez Naranjo. The Concept of Numerical Simulation in the Historical Development of Scientific Computing

15:00- 16:00        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

      (keynote)

Wendy Chun, Brown University, USA

Proxy Politics and Algorithms: From Global Climate Change to Racial Profiling

16:30-18:00         Gödel walk:

(From the conference venue to the HaPoC general assembly meeting place. Guided tour through Brno, led by Jan Novotný and Jiří Raclavský.)

18:00-19:00        HaPoC General Assembly

(venue: Faculty of Education, Masaryk University, Poříčí 7, Meeting room, 1st floor, Building A)

Saturday, 7 October 2017

9:00-10:30        venue:Faculty of Arts, Arne Nováka 1, building B2, 1st floor, room  B2.23

Robin Hill. Operating Systems as Possible Worlds

Francisco Hernández-Quiroz. A Quasi-Empirical Development of the Concept of Effective procedure?

Mate Szabo. The First Programming and Computer Science Training in Hungary at the University Level 

10:30-11:00        closing remarks, coffee