[Logica-l] Workshop on Compositional Meaning in Logic [GeTFun 2.0]

my of Sciences, CZ) Nikolaos Galatos (University of Denver, USA) João Marcos (UFRN, BR) Organization Agata Ciabattoni (TU Wien, AT) Carlos Caleiro (SQIG-IT & U Lisboa, PT) The workshop occurs within the scope of the FP7 Marie Curie IRSES project GeTFun <http://sq

[Logica-l] Fwd: PhD positions at ETH Zurich in concurrency & verification (ERC advanced investigator project)

cover letter describing their view of the CME project and ideas about their possible contribution. -- ++++++++ Carlos Caleiro SQIG - Instituto de Telecomunicações Departamento de Matemática Instituto Superior Técnico Universidade de Lisboa Av. Rovisco Pais, 1049-00

[Logica-l] Fwd: DP-PMI - Second edition of the Doctoral Programme in the Physics and Mathematics of Information

ertise this information through your contacts and to potential candidates. Thank you very much and best wishes, Yasser Doctoral Programme in the Physics and Mathematics of Information (DP-PMI) http://www.dp-pmi.org/ -- ++++++++ Carlos Caleiro SQIG - Instituto

[Logica-l] DP-PMI: applications for Scholarships open until 25 September 2013 at 17h00 (Lisbon time)

n of the DP-PMI, starting in January 2014, are now open! For more information, see: http://www.dp-pmi.org/ Best wishes, The DP-PMI team Doctoral Programme in the Physics and Mathematics of Information (DP-PMI) http://www.dp-pmi.org/ -- ++++++++ Carlos Caleiro SQIG-IT