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