Seminars

Links' Seminars and Public Events Add to google calendar
2018
Fri 27th Apr
10:30 am
12:30 pm
Add event to google
Yann Strozecki in Links' Seminar: Methods in enumeration
In enumeration we are interested in generating a set of solutions, while bounding the time needed to generate one solution. We will first present the complexity measures used in this context, simple theoritical results and a few open questions.
We then introduce classical problems in this area such as the enumeration of: trees, models of a DNF, model of a FO or MSO formula, the maximal cliques of a graph, circuits of a matroid ...
We use them to illustrate the algorithmic toolbox of enumeration (Gray Code, backtrack search, reverse search, saturation...).
Show in Google map
Lille B21
Wed 25th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 20th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 13th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 13th Apr
10:00 am
12:00 pm
Add event to google
Iovka Boneva and Jérémie Dusart in Links' Seminar: Shape Expressions Schemas 2.0 : Semantics and Implementation
We will present the semantics of the ShEx language, its implementation
in java, and future directions of research.
Show in Google map
Salle B21
Fri 6th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office

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