Formal methods research seminar 2020
24 Monday Feb 2020
Posted in Formal Methods, Research
24 Monday Feb 2020
Posted in Formal Methods, Research
10 Thursday Jan 2019
Posted in Formal Methods, Rationality, Research
The Rationality and Formal Methods Group run guest speakers series at the same time slot. The guest speakers for winter and spring 2019 are as follows. (“FM” and “R” indicate talks organised by the formal methods and rationality groups, respectively.)
Fri Jan 18th Georgi Gardiner (Oxford) (R)
Fri Feb 1st Johannes Stern (Bristol) (FM)
Fri March 1st Corinne Besson (Sussex) (FM)
Fri March 8th Lavinia Picollo (UCL) (FM)
Fri March 15th Michael Hannon (Nottingham) (R)
Fri March 22st Nick Hughes (Durham / Oxford) (R)
Fri March 29th Louise Hanson (Durham) (R)
Fri May 17th James Studd (Oxford) (FM)
Fri May 24th Balthasar Grabmayr (Jerusalem) (FM)
The talks take place on Fridays 3:00-5:00, in room 508, Philosophy Building, KCL Strand Campus. Everyone is welcome, but if you come from outside King’s you need to email Julien Dutant at julien.dutant@kcl.ac.uk in advance to be included in the visitor list.
15 Monday Jan 2018
Posted in Events, Formal Methods, Research, Seminars
The Formal Methods Group runs a guest speaker series. The guest speakers for 2017-18 are as follows:
Thu 26 Oct – Davide Fassio (KCL / Zhejiang )
Thu 23 Nov – Peter Brössel (Rhur-University Bochum)
Thu 25 Jan – Paul Egré (Jean Nicod, Paris)
Thu 8 Feb – Sven Rosencranz (LOGOS, Barcelona)
Thu 1 Mar – Julien Dutant (KCL)
Thu 1 Mar – Tim Smartt (Sydney)
Thu 24 May – Corine Besson (Sussex, Royal Institute of Philosophy)
The seminar takes place on Thursdays 2-4, in room 508, Philosophy Building. It is open to students and researchers from outside KCL. Please contact Julien Dutant for directions and to make sure you are granted access to the building.