Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones Activitats i publicacions del grup de recerca PR (2009-2011) Infinity Project
On optimal algorithms for SAT ( 17/2/2010) - Moritz Müller
Al International Workshop on Logical Approaches to Barriers in Computing and Complexity, Greifswald -Alemanya-, 17 a 20 febrer 2010. No en consta la data exacta
Absoluteness of categoricity in Abstract Elementary Classes ( 1/3/2010) - Martin Koerwien
Al General Logic Seminar, Univ. Paris 7 -França-, març 2010. No en consta la data exacta
The Infinity Project Theme "Sets and Models" ( 23/9/2010) - Martin Koerwien
Al Infinity Seminar, CRM, 23 setembre 2010. Conjuntament amb J. T. Baldwin
Undefinable Forcing ( 22/10/2010) - Moritz Müller
Al Prague Logic Seminar, Inst. of Mathematics at the Academy of Sciences -Txèquia-, 22 a 26 novembre 2010. No en consta la data exacta
Partially Definable Forcing ( 1/2/2011) - Moritz Müller
Al Annual Meeting on Algorithmic Mode Theory (AlMoTh), Univ. Leipzig -Alemanya-, febrer 2011. No en consta la data exacta
Consistency and Optimality ( 1/6/2011) - Moritz Müller
Al congrés `Computability in Europe´ (CiE), Sofia -Bulgària-, juny 2011. No en consta la data exacta
Partially Definable Forcing and Bounded Arithmetic ( 1/7/2011) - Moritz Müller
Conferència convidada a la Infinity Conference, CRM, Barcelona, juliol 2011. No en consta la data exacta
Absoluteness Considerations in L??1,? ( 18/7/2011) - Martin Koerwien
A la Infinity Conference, CRM, Barcelona, 18 a 22 juliol 2011. No en consta la data exacta