{{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''