Date & Time  Who  What  Where  Final Report: 
Wed 10 Jan, 18:00  20:00  Yurii Khomskii  Introductory meeting  F1.15 (Seminar room)  
Thu 25 Jan, 15:00  17:00  Ethan Lewis  New Foundations (NF)  F2.19 (SP107)  Ethan's report 
Fri 26 Jan, 11:00  13:00  Robert Passmann  Modal Set Theory  F3.20 (SP107)  
Mon 29 Jan, 11:00  13:00  Davide Quadrellaro  Class Theories (NGB & MK)  F2.19 (SP107)  Davide's report 
Mon 29 Jan, 15:00  17:00  David Santamaria Legarda  Class conceptions of Penelope Maddy  F2.19 (SP107)  David's report 
Tue 30 Jan, 11:00  13:00  Romain Grausi  Nonwellfounded Set Theory (AFA)  F1.15 (Seminar room)  Romain's report 
Tue 30 Jan, 15:00  17:00  Adrien Champougny  KripkePlatek (KP)  F1.15 (Seminar room)  Adrien's report 
Wed 31 Jan, 11:00  13:00  Nuno Filipe  Philosophy of paraconsistent mathematics (G. Priest)  F1.15 (Seminar room)  Nuno's report Handout 
Wed 31 Jan, 15:00  17:00  Hrafn Oddsson  Paraconsistent Set Theory  F1.15 (Seminar room)  Hrafn's report 
Thu 1 Feb, 11:00  13:00  Raja Damanik  Intuitionistic/Constructive Set Theory  F1.15 (Seminar room)  
Thu 1 Feb, 15:00  17:00  Sam AdamDay  Advanced topics in IZF/CZF  F1.15 (Seminar room)  Sam's report 
NGB  Elliott Mendelson, Introduction to Mathematical Logic, Chapter 4  
MK  See above, Chapter 4, Secion 6  John L. Kelley, General Topology, Appendix. Download djvu  Some papers including information on MK:

Interesting online resources (with contributions by Joel David Hamkins and Victoria Gitman) 
KP  Jon Barwise, Admissible Sets and Structures  Keith Devlin, Constructibility, Section I.11. Download djvu  
NF  T. E. Forster, Set Theory with a Universal Set; Exploring an Untyped Universe  Randall Holmes, Elementary Set Theory with a Universal Set  Some papers dealing with NF:

Online resources: 
CZF and IZF  Peter Aczel and Michael Rathjen, CST Book draft (2010)  Peter Aczel and Michael Rathjen, Notes on Constructive Set Theory (2001)  
Antifoundation  Peter Aczel, Nonwellfounded sets  Keith Devlin, The Joy of Sets; Fundamentals of Contemporary Set Theory, Chapter 7 (SpringerVerlag 1994). Download djvu  
Modal, paraconsistent etc.  TBA 