March 28
Date & Time: Thursday, March 31, 2011 4:30 - 5:30 p.m.
Location: ITB/101A
Speaker: Ariel Fernandez
Title: The Proof Complexity of Lattice-Based Cryptography
Abstract:
We take a proof-complexity approach to study the LLL algorithm for lattice-reductions. The LLL algorithm, while ubiquitous and very well known, is still not completely understood; for example, the relationship between the various constants and the running time.
March 19
The slides from the last week's presentation Ontologies are posted and can be found in the Restricted Archives.
March 10
Please note the changes in the presentation schedule to accommodate Ontologies: Part 2 by Mohammed Alshayeb on March 17, 2011 and The Proof Complexity of Lattice-Based Cryptography by Ariel Fernandez on March 31, 2011. The presentations that were scheduled on these dates have be shuffled back a few weeks.
March 1
Date & Time: Thursday, March 3, 2011 4:30 - 5:30 p.m.
Location: ITB/101A
Speaker: Mohammed Alshayeb
Title: Ontologies
Abstract:
This presentation gives an introduction to ontologies and the domains of ontologies. We give examples of ontology usage and how the software engineering domain relates to ontologies. We look at the structure of ontologies and discuss the main features. We aim at discovering the objective of using ontologies in different domains.