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:30        venue:Faculty of Arts, Arne Nováka 1, buildin B2, 1st floor, room  B2.23

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

Paolo Pistone. Programming with Russell's Vicious Circles: Polymorphism as a Challenge to the foundations of mathematics

Oron Shagrir. Justifying the Church-Turing Thesis

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

 

14:00-16:00        venue:Faculty of Arts, Arne Nováka 1, buildin 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

Mark Priestley. Understanding Algorithmic Artefacts: the Case of Colossus

16:30-18:00        venue:Faculty of Arts, Arne Nováka 1, buildin 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, buildin 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, buildin B2, 1st floor, room  B2.23

Jozef Kelemen

TBA

10:30-12:00        venue:Faculty of Arts, Arne Nováka 1, buildin 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, buildin 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, buildin 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

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:00        venue:Faculty of Arts, Arne Nováka 1        

Robin Hill. Operating Systems as Possible Worlds

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

 

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

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

Jean-François Blanchette. An Internet at Peace with Itself? Simondon’s Concretization’s Contribution to Modularity Theory

Michael Castelle. Middleware’s Presentism: Asynchrony, Flow, Finance, and the Enterprise

12:00-12:30        closing remarks

Online user: 1