Seminars

Links' Seminars and Public Events Add to google calendar
2016
Fri 25th Mar
 all day
Add event to google
Datacert ANR project: general meeting
Show in Google map
Lyon
Fri 18th Mar
10:30 am
12:00 pm
Add event to google
Charles Paperman: "Streaming and circuit complexity"
Abstract:
In this talk, I will present a connection between the streaming complexity and the circuit complexity of regular languages through a notion of streaming by block . This result provides tight constructions of boolean circuits computing an automaton, thanks to some classical and recent results on the circuit complexity of regular languages. I will apply this framework to the schema validation in streaming of XML-documents.
Show in Google map
Inria Lille
Fri 18th Mar
 all day
Add event to google
Visit of Charles Paperman, Université Paris 7
Show in Google map
Inria Lille
Fri 11th Mar
10:30 am
12:00 pm
Add event to google
Seminar Links by Sylvain Salvati: Behavioral verification of higher-order programs
Abstract: Higher-order constructions make their way into main stream
programming languages like Java, C++, python, rust... These
constructions bring new challenges to the verification of programs as
they make their control flow more complex.

In this talk, I will present how methods coming from denotational
semantics can prove decidable the verification of certain properties of
higher-order programs. These properties are expressed by means of finite
state automata of the possibly infinite execution trees generated by the
programs and can capture safety properties but also liveness and
fairness properties.
Fri 11th Mar
 all day
Add event to google
Sylvain Salvati: visit and Talk
Université Bordeaux 1

www.labri.fr/perso/salvati
Wed 9th Mar
1:30 pm
2:00 pm
Add event to google
cristan duriez 30 minutes de science inria lille
Fri 4th Mar
 all day
Add event to google
Colis ANR project: general meeting
Show in Google map
Inria Lille, Salle B21
Thu 3rd Mar
 all day
Add event to google
Kim Nguyen: visit for discussion with Links' members (no talk)
Université Paris Sud
www.lri.fr/~kn/
Show in Google map
B218
Fri 19th Feb
11:00 am
3:00 pm
Add event to google
CNRS, Université Lens

Permanent link to this article: https://team.inria.fr/links/seminars/