Home  \  External Talks & Seminars

Login

CITI Welcome Research Areas Organization Executive Board Advisory Board Contacts Useful Information People CITI Members Visitors Activities Research Projects Publications Seminars @ CITI External Talks & Seminars Graduation Activities Organization of Events Editorial Committees Prototypes Visits & Missions Activity Reports Search & Query Search BibTeX Generator

---

page 1 of 18 - listing talks 1 to 10 of a total of 178

order:  by datealphabeticallyby type

Empirical Software Engineering: a short course (2 full days)
   Fernando Brito e Abreu
   [ 5 Feb 2013 ] - Invited Lecture

Neural net bio-optical algorithms for the generation of regional data products in the Black Sea
   Tamito Kajiyama
   [ 3 Dec 2012 ] - Research Talk

Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 29 Oct 2012 ] - Departmental Seminar

Bio-optical algorithms for the generation of regional MERIS (and OLCI) data products
   Tamito Kajiyama
   [ 15 Oct 2012 ] - Research Talk

OCPortugal consortium: Activities and Challenges
   Tamito Kajiyama
   [ 15 Oct 2012 ] - Research Talk

Debugging Highly-Parallel Programs
   João Lourenço
   [ 24 Sep 2012 ] - Invited Lecture

Evaluating DSLs
   Miguel Goulão
   [ 14 Sep 2012 ] - Summer School Course

Pattern-based Abstractions for Dynamic Service Composition and Access
   Maria Cecília Gomes
   [ 13 Sep 2012 ] - Project Meeting Talk

Formal Models of Concurrency: Languages and Expressiveness
   Jorge A. Pérez
   [ 23 Jul 2012 ] - Summer School Course

Linear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Jorge A. Pérez
   [ 21 Jun 2012 ] - Departmental Seminar