Complemento a mensagem de Thomas Bolander com uma de Valentin Goranko sobre o mesmo tema.
JM ---------- Forwarded message ---------- From: Valentin Goranko <[email protected]> Date: Mon, Dec 17, 2012 at 7:56 AM Subject: Re: PhD and post.doc. opportunities for Brazilians in DK Dear all, I was planning to send around a similar email, but Thomas was quicker. So, I'd just like to add [...]: 1. To confirm my willingness to host and (co-)supervise PhD students and postdocs from Brazil under this funding opportunity. 2. To update my scope of interests, adding logics for multi-agent systems and game theory, formal verification (esp. of infinite state systems), interval temporal logics, etc. One can check out my website http://www2.imm.dtu.dk/~vfgo/ for more details of my interests. [...] I presume Thomas would not mind if our Brazilian colleagues forward this email to other colleagues and potentially interested candidates in Brazil. I personally would appreciate if they do. Best regards Val _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
