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.
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