{{menu|Events}} June 20-22 a miniworkshop on set theory is held at the KGRC, supported by Mobility grant CR/Austria MEB601106. Here is the program:
=== Wednesday 20th ===
3.30pm ''Coffee break''
4:00pm '''S.-D.Friedman''' On the consistency strength of PFA ([/2012/Miniworkshop_set_theory_abstract_Friedman.html abstract])
5:00pm '''G.Laguzzi''' Generalised Amoeba forcing and $\Sigma^1_2$ measurability ([/2012/Miniworkshop_set_theory_abstract_Laguzzi.html abstract])
 
=== Thursday 21st ===
9.00am ''Coffee break''
9:30am '''V.Dimonte''' Rank-to-rank hypotheses and the failure of GCH
10:30am '''J.Flaskova''' Summable ideals and ultrafilters
11.10am ''Coffee break''
11:30am '''Y.Khomskii''' Aleph-1 Perfect MAD Families
''Lunch''
2:00pm '''D.Bartosova''' Ultrafilter dynamical system and its applications
3:00pm '''J.Stary''' Coherent Structures on Boolean Algebras
3.40pm ''Coffee break''
4:00pm '''M.Kamensky''' Internality in model theory and category theory ([/2012/Miniworkshop_set_theory_abstract_Kamensky.html abstract])
5:00pm '''D.Chodounsky''' Games for filters and towers
 
=== Friday 22nd ===
9.30am ''Coffee break''
10.00am '''S.Fuchino''' Reflection number of Rado Conjecture and Fodor-type reflection
11.00am '''M.Doucha''' Borel equivalence relations and Laver forcing
''Lunch''