Personal tools
You are here: Home Events Previous

Previous

Past events

Event LFCS Seminar: Marta Kwiatkowska (IF 4.31-33, from Sep 24, 2012 02:00 PM to Sep 24, 2012 03:00 PM)
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event Paul Jackson: Better real arithmetic provers for hybrid systems verification (from Sep 18, 2012 01:00 PM to Sep 18, 2012 02:00 PM)
 
Event LFCS Seminar: Barnaby Martin (IF 2.33 (TBC), from Sep 11, 2012 04:00 PM to Sep 11, 2012 05:00 PM)
A tetrachotomy for positive equality-free logic
Event Subramanian Ramamoorthy: In search of structure (MF 1 on Level 2, from Sep 11, 2012 01:00 PM to Sep 11, 2012 02:00 PM)
 
Event LFCS Seminar: Anindya Banerjee (IF 3.02, from Sep 05, 2012 11:00 AM to Sep 05, 2012 12:00 PM)
Modular Reasoning about Object-based Programs
Event Kyriakos Kalorkoti: The Higman Embedding Theorem (MF2, from Sep 04, 2012 01:00 PM to Sep 04, 2012 02:00 PM)
 
Event LFCS Seminar: Jean-Raymond Abrial (IF 4.31-33, from Aug 21, 2012 04:00 PM to Aug 21, 2012 05:00 PM)
Formalizing Hybrid Systems with Event-B
Event Kousha Etessami: On the complexity of comparing succinctly represented numbers (MF2, from Aug 21, 2012 01:00 PM to Aug 21, 2012 02:00 PM)
 
Event David Aspinall: Give Me Letters 2, 3 and 6! (MF2, from Aug 14, 2012 01:00 PM to Aug 14, 2012 02:00 PM)
 
Event Don Sannella: Contemplate: LFCS -> Wall Street (MF2, from Aug 07, 2012 01:00 PM to Aug 07, 2012 02:00 PM)
 
Event Stratis Viglas: Solid-state and asymmetric I/O (MF2, from Jul 31, 2012 01:00 PM to Jul 31, 2012 02:00 PM)
 
Event Ian Stark: CerCo: Certified Complexity (MF2, from Jul 24, 2012 01:00 PM to Jul 24, 2012 02:00 PM)
 
Event LFCS Seminar: Dana Moshkovitz (IF 4.31-4.33, from Jul 13, 2012 02:00 PM to Jul 13, 2012 03:00 PM)
Projection Games
Event Amelie Gheerbrant: Green Smoothie Tasting and Logics on Trees (MF2, from Jul 10, 2012 01:00 PM to Jul 10, 2012 02:00 PM)
The talk will starts with some green smoothie tasting. The green smoothie (banana, pear, spinash, ginger, lemon, spirulina) will be made on site with the help of my famous Vitamix blender. I will then use the energy boost provided by the beverage in order to expose a model theoretic technique that I developed in my PhD thesis. The technique combines methods from classical and from finite model theory and it can be used in order to show the completeness of axiomatizations of fragments of monadic second-order logic on finite trees. I will mention a recent follow up of that work, as well as some new directions I have in mind. Bring your glass!
Event LFCS Seminar: Navin Goyal (IF 4.31-33, from Jun 28, 2012 04:00 PM to Jun 28, 2012 05:00 PM)
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
Event Laura Meagher: Impact Evaluation: Making Knowledge Exchange Visible (MF2, from Jun 26, 2012 01:00 PM to Jun 26, 2012 02:00 PM)
As increasing attention is paid to influences of research beyond academia, complementary challenges exist: generating impacts and capturing impacts. Impacts can take place over the long-term and can take multiple forms, some of them quite subtle.Insights from across numerous impact evaluations of research initiatives and funding schemes illuminate: 1) ways in which impacts can be articulated and 2) ways in which knowledge exchange can lead to impacts.
Event Guido Sanguinetti: Machine learning for continuous time Markov chains (from Jun 19, 2012 01:00 PM to Jun 19, 2012 02:00 PM)
Continuous Time Markov Chains (CTMCs) play a key role in many areas of the physical and computational sciences. My own interest in CTMCs sparks from their use as models of biochemical reaction systems. Frequently, in biology, we can also obtain time-resolved observations of (some parts) of the system; however, the system is frequently not fully characterised, both in terms of its parametrisation and in terms of the structure of the underlying reaction network. Here, I will give a rather tutorial introduction to how ideas from machine learning could be used to perform statistical inference for CTMC systems. I'm aiming to explain both the fundamental ideas and some key derivations, but I may be overoptimistic and would welcome an interactive approach.
Event LFCS Seminar: Alberto Policriti (IF 4.31-4.33, from Jun 12, 2012 04:00 PM to Jun 12, 2012 05:00 PM)
The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory
Event Rahul Santhanam: The Case of the New Menard (from Jun 12, 2012 01:00 PM to Jun 12, 2012 02:00 PM)
You're called upon to be sleuths and judges in a real-life academic mystery. (Clue: Yong Sun)
Event LFCS Seminar: Valentine Kabanets (IF 4.31-33, from Jun 08, 2012 02:00 PM to Jun 08, 2012 03:00 PM)
Lower bounds against weakly uniform circuits

Also in this section

Event LFCS Seminar: Marta Kwiatkowska (IF 4.31-33, from Sep 24, 2012 02:00 PM to Sep 24, 2012 03:00 PM)
Design and Analysis of DNA Strand Displacement Devices using Probabilistic Model Checking
Event Paul Jackson: Better real arithmetic provers for hybrid systems verification (from Sep 18, 2012 01:00 PM to Sep 18, 2012 02:00 PM)
 
Event LFCS Seminar: Barnaby Martin (IF 2.33 (TBC), from Sep 11, 2012 04:00 PM to Sep 11, 2012 05:00 PM)
A tetrachotomy for positive equality-free logic
Event Subramanian Ramamoorthy: In search of structure (MF 1 on Level 2, from Sep 11, 2012 01:00 PM to Sep 11, 2012 02:00 PM)
 
Event LFCS Seminar: Anindya Banerjee (IF 3.02, from Sep 05, 2012 11:00 AM to Sep 05, 2012 12:00 PM)
Modular Reasoning about Object-based Programs
Event Kyriakos Kalorkoti: The Higman Embedding Theorem (MF2, from Sep 04, 2012 01:00 PM to Sep 04, 2012 02:00 PM)
 
Event LFCS Seminar: Jean-Raymond Abrial (IF 4.31-33, from Aug 21, 2012 04:00 PM to Aug 21, 2012 05:00 PM)
Formalizing Hybrid Systems with Event-B
Event Kousha Etessami: On the complexity of comparing succinctly represented numbers (MF2, from Aug 21, 2012 01:00 PM to Aug 21, 2012 02:00 PM)
 
Event David Aspinall: Give Me Letters 2, 3 and 6! (MF2, from Aug 14, 2012 01:00 PM to Aug 14, 2012 02:00 PM)
 
Event Don Sannella: Contemplate: LFCS -> Wall Street (MF2, from Aug 07, 2012 01:00 PM to Aug 07, 2012 02:00 PM)
 
Event Stratis Viglas: Solid-state and asymmetric I/O (MF2, from Jul 31, 2012 01:00 PM to Jul 31, 2012 02:00 PM)
 
Event Ian Stark: CerCo: Certified Complexity (MF2, from Jul 24, 2012 01:00 PM to Jul 24, 2012 02:00 PM)
 
Event LFCS Seminar: Dana Moshkovitz (IF 4.31-4.33, from Jul 13, 2012 02:00 PM to Jul 13, 2012 03:00 PM)
Projection Games
Event Amelie Gheerbrant: Green Smoothie Tasting and Logics on Trees (MF2, from Jul 10, 2012 01:00 PM to Jul 10, 2012 02:00 PM)
The talk will starts with some green smoothie tasting. The green smoothie (banana, pear, spinash, ginger, lemon, spirulina) will be made on site with the help of my famous Vitamix blender. I will then use the energy boost provided by the beverage in order to expose a model theoretic technique that I developed in my PhD thesis. The technique combines methods from classical and from finite model theory and it can be used in order to show the completeness of axiomatizations of fragments of monadic second-order logic on finite trees. I will mention a recent follow up of that work, as well as some new directions I have in mind. Bring your glass!
Event LFCS Seminar: Navin Goyal (IF 4.31-33, from Jun 28, 2012 04:00 PM to Jun 28, 2012 05:00 PM)
Analysis of Thompson Sampling for the Multi-armed Bandit Problem
Event Laura Meagher: Impact Evaluation: Making Knowledge Exchange Visible (MF2, from Jun 26, 2012 01:00 PM to Jun 26, 2012 02:00 PM)
As increasing attention is paid to influences of research beyond academia, complementary challenges exist: generating impacts and capturing impacts. Impacts can take place over the long-term and can take multiple forms, some of them quite subtle.Insights from across numerous impact evaluations of research initiatives and funding schemes illuminate: 1) ways in which impacts can be articulated and 2) ways in which knowledge exchange can lead to impacts.
Event Guido Sanguinetti: Machine learning for continuous time Markov chains (from Jun 19, 2012 01:00 PM to Jun 19, 2012 02:00 PM)
Continuous Time Markov Chains (CTMCs) play a key role in many areas of the physical and computational sciences. My own interest in CTMCs sparks from their use as models of biochemical reaction systems. Frequently, in biology, we can also obtain time-resolved observations of (some parts) of the system; however, the system is frequently not fully characterised, both in terms of its parametrisation and in terms of the structure of the underlying reaction network. Here, I will give a rather tutorial introduction to how ideas from machine learning could be used to perform statistical inference for CTMC systems. I'm aiming to explain both the fundamental ideas and some key derivations, but I may be overoptimistic and would welcome an interactive approach.
Event LFCS Seminar: Alberto Policriti (IF 4.31-4.33, from Jun 12, 2012 04:00 PM to Jun 12, 2012 05:00 PM)
The decidability of the Bernays-Schoenfinkel-Ramsey class in Set Theory
Event Rahul Santhanam: The Case of the New Menard (from Jun 12, 2012 01:00 PM to Jun 12, 2012 02:00 PM)
You're called upon to be sleuths and judges in a real-life academic mystery. (Clue: Yong Sun)
Event LFCS Seminar: Valentine Kabanets (IF 4.31-33, from Jun 08, 2012 02:00 PM to Jun 08, 2012 03:00 PM)
Lower bounds against weakly uniform circuits
Document Actions