Formal methods in the humanities and their teaching

Proposer and chair:

Tito Orlandi
CISADU - Fac. di Lettere
P.zale Aldo Moro, 5
00185 Roma
Tel. 39+6.4991-3936
Fax  39+6.4991-3945

The goals of the workshop are the following:

  1. to define and explore some of the problems raised by the use of formal methods in the humanities;
  2. to discuss the academic perspectives of future humanities;
  3. to discuss the role of the working group (see below).
See the memorandum written by Tito Orlandi ( for more background and discussion themes.

The workshop is linked to the ACO*HUM working group on formal methods in the humanities ( The stated goal of this working group is to explore the following distinct themes:

  1. How does the very nature of humanities scholarship change due to the incorporation of formal and computational methods? How does the adoption of such methods (e.g. the digitalization of language and art, the application of artificial intelligence, the use of computer simulation methods) have an impact on the humanities, from a philosophy of science viewpoint?
  2. What are the theoretical and practical problems involved in the integration of advanced computing in humanities curricula, across the various disciplines involved? Can common modules be identified offering formal and computational methods for all humanities students? In which respects must humanities computing be taught differently than other computing?
Core participants: Lou Burnard, Tito Orlandi, Harold Short, Jacques Souillot, Manfred Thaller.

Read the minutes of this workshop

Ingo Kropac
Finn Bostad
Allen Renear
Elisabeth Burr
Lou Burnard
Sergey Yablonsky
Manfred Thaller
Jaques Souillot
Harold Short
Dag Tjemsland
Tito Orlandi
Espen Ore
Joseph Bell
Jon Gunnar Jørgensen
Hilde Bøe