Creating and sharing knowledge for telecommunications

Importing logics: Soundness and completeness preservation.


on 20-01-2012

... January 20, 2012, Friday, 16h15m.

Abstract: Importing subsumes several asymmetric ways of combining logics, including modalization and temporalization. A calculus is provided for importing, inheriting the axioms and rules from the given logics and including additional rules for lifting derivations from the imported logic. The calculus is shown to be sound and concretely complete with respect to the semantics of importing. Joint work with Amílcar Sernadas and Cristina Sernadas.

Room: 3.10, Mathematics

Support: SQIG/Instituto de Telecomunicações with support from FCT and FEDER namely by the FCT project PEst-OE/EEI/LA0008/2011.
More Information..

Seminar - Organic photonics for life enhancing technology: application to artificial retina


on 16-01-2012

... Prof. Guglielmo Lanzani
Istituto Italiano di Tecnologia (Director) and Politecnico di Milano

Organic photonics for life enhancing technology: application to artificial retina

After a broad introduction on organic photonics, including materials concepts and application, I will focus on the solid liquid interface and the opto neural interface. Light stimulation of neuron cells will be reported and the potential for artificial retina discussed.

16th Janueary - 11:00H Room QA1.1
More Information..