on 14-09-2012
All-Optical Signal Processing and Quantum Communications in Special Optical Fibers
Instituto de Telecomunicações - Aveiro - Portugal
Scope: This seminar will be devoted to nonlinear and quantum effects in special optical fibers. With the presence of speakers from different Universities and Research Institutes, it aims to provide cutting-edge research presentations for researchers and graduate students.
Registration: This seminar is free, however, registration is required. To register, please, contact Sandra Corujo.
E-Mail: sandra@av.it.pt - Phone: 234 377 900
More Information..
on 14-09-2012
Jean-Yves Béziau, UFRJ - Brazil
September 14, 2012, Friday, 16h15m.
Classical cut-elimination means that a cut-free proof depends only on subformulas. But we also may have cut-free proofs depending on more than subformulas. Moreover cut-elimination does not mean that we have truth-functionality or compositionality. In this talk we will explain these distinctions and give many examples.
Room: 3.10, Mathematics
More Information..