Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

ABCDEFGHIJKLMNOPQRSTUVWXYZ  

 

Persones

M. Baaz 

Participacions a Congressos

4th Barcelona Logic Meeting (BLM98) CRM, Bellaterra (5/2/1998- 7/2/1998)

Altres activitats (conferències, seminaris)

Ponent de congrés - ? - [5/2/1998 - 7/2/1998] On the generalization of proofs and calculations (5/2/1998) Dins el 4th Barcelona Logic Meeting, 5 a 7 febrer 1998. No en consta la data exacta

(desconegut -data aproximada) - ? - [1/1/1998 - ] Perspectives in the development of Gödel logics (1/12/1998) No en consta la data exacta

Ponent de congrés - ? - [16/6/1999 - 19/6/1999] Term induction (16/6/1999) Dins el 5th Barcelona Logic Meeting and 6th Kurt Gödel Colloquium, 16 a 19 juny 1999. No en consta la data exacta. Conjuntament amb G. Moser