ESSLLI2002

[gusl]

This was a really tough decision for me. So, basically, I plan to leave my job at the end of July, go to this thing, and bum around Europe for 4 months, before starting school at Tufts.


Foi uma decisão difícil, que eu tomei ontem, já que o deadline era hoje.
Depois de muito me balançar pra lá e pra cá nesse assunto, o fator decisivo
foi: quando as pessoas ficam perto da morte e analisam suas vidas, é muito
mais comum elas se arrependerem do que não fizeram do que as coisas fizeram
por erro. Eu sou jovem e solteiro, então na dúvida eu arrisco.
Eu não estou satisfeito com a caminho que a minha vida estava apontando,
então eu quero passar alguns meses de choque. Quero subsistir num país
estranho, entre pessoas estranhas, desprotegido. Quero conhecer pessoas
diferentes, maneiras diferentes. Se isso for perda de tempo e dinheiro, pelo
menos ou vou ficar sabendo. Como mamãe diz, é tempo de plantar.
Sou romântico sim.



This is my choice of courses to take.

1st week
9-10:30 Model checking and its complexities
11-12:30 Situation Theory and the Flow of Information
14-15:30 Dynamics Semantics, Games and Optimality
17-18:30 The Formal Foundation of Event Semantics


2nd Week
9-10:30 Semantics and Cognition: Semantic Insights into the Psychology of Reasoning
11-12:30 Formal Language Theory: Classical and Nonclassical Machineries
14-15:30 Recent Advances in Speech Translation Systems
17-18:30 Modal and Epistemic Logic in Computer Science


Lecture Notes
Situation Theory and the Flow of Information
The Formal Foundation of Event Semantics
Semantics and Cognition: Semantic Insights into the Psychology of Reasoning
Modal and Epistemic Logic in Computer Science