9 de Noviembre

9:00 Registration

10:00 Welcome to the Symposium (Francisco)

10:30 Coffee Break

11:00 Towards a Grounded Theory of Intention Revision

José Martín Castro-Manzano. Universidad Veracruzana. (México).

Alejandro Guerra-Hernández. Universidad Veracruzana (México).

Amal El-Fallah-Seghrouchni. Université Pierre et Marie Currie (France)

11:30 A knowledge‐based approach to machine ethics

Gene Rohrbaugh. Messiah College (USA).

12:00 External computation

Axel Barcelo Aspeitia. Universidad Nacional Autónoma de México (México).

12:30 Cofee Break

13:00 Towards a universal logic approach to abduction

Luis Estrada-González. Universidad Autónoma del Estado de Morelos. (México)

13:30 A Computer Model for Plot Generation

Rafael Pérez y Pérez. UAM Cuajimalpa (México).

14:00 Lunch

15:30 Keynote Speaker

Computation and the Physical World: Some Philosophical Views

Víctor Rodríguez. Universidad Nacional de Córdoba (Argentina)

16:30 Coffee Break

17:00 Model generation for persuasion by public announcements

Fabiola López. Universidad Nacional Autónoma de México (México).

17:30 End first day.

21:00 Dinner

10 de Noviembre

10:00 Learner’s creative thinking with constructivist web-based learning

Charuni Samat, Department of Educational Technology, Khonkaen University (Thailand).

Sumalee Chaijaroen, Department of Educational Technology, Khonkaen University (Thailand).

10:30 Computer Models: from a contemporary point of view

Juan M. Durán. Simtech - Universität Stuttgart (Germany).

11:00 Cofee Break

11:30 The algorithmic nature of physical reality

Pablo Padilla Longoria, Institute for applied mathematics and system research, Universidad Nacional Autónoma de México (México).

Francisco Hernández-Quiroz, School of science. Universidad Nacional Autónoma de México (México)

12:00 Semantic computing as a stage in the history of logic

Ken Archer. Telogical Systems (USA).

12:30 Epistemic Dynamics with Asynchronous π-Calculus

Pedro Arturo Gongora, Universidad Nacional Autonoma de México (México)

Francisco Hernández-Quiroz. Universidad Nacional Autonoma de México (México)

13:00 Panel Discussion

Goodbye (Francisco)

14:00 End Symposium and optional final lunch