Étiqueté : informatique

Séminaire « Interactions entre informatique, logique et langage »

Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie » Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)   Prochaine séance : mercredi 17 Juin, 2015, 14h-17h...

Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »

Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)   Prochaine séance : vendredi 15 mai, 2015, 14h-18h Göran Sundholm (Universiteit Leiden), « Ontological descriptivism » Per Martin-Löf (Stockholm Univiversity),...

Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »

Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)   Prochaine séance : lundi 9 Mars, 2015, 14h-17h Jean-Baptiste Joinet (Université Jean Moulin Lyon 3) : [à déterminer] Baptiste Mélès...

Séminaire « Interactions entre informatique, logique et langage : histoire et philosophie »

Responsables : Liesbeth De Mol (STL,CNRS / Université Lille 3), Alberto Naibo (IHPST, Université Paris 1 Panthéon-Sorbonne, ENS), Shahid Rahman (STL, Université Lille 3) et Mark van Atten (CNRS/SND, Université Paris-Sorbonne)   Prochaine séance : mercredi 25 févier 2015 , 14h-17h Pierre Mounier-Kuhn (CNRS, Paris 1 et Centre Koyré) : « Logique et...

Rechercher dans OpenEdition Search

Vous allez être redirigé vers OpenEdition Search