Previous talks

Thursday 23 September 2021, at 14:30 InCuba Lille Auditorium

Short bio:

Aurore Guillevic is researcher at Inria Nancy (a French research institute in computer science) and works on the implementation aspects…

7 May

Friday 7 May 2021, at 14:00 Online Zoom

Title:
Topics in Computational Social Choice: Voting, Stable Matchings, and Fair Division

Abstract:
Computational social choice is a field at the…

9 Apr

Friday 9 April 2021, at 14:00 On zoom

Title:
Formal reasoning about programs and programming languages

Abstract:
It is well known that it is important to ensure that programs, especially…

31 Jan

Friday 31 January 2020, at 14:15 Building 5335-016 (Peter Bøgh Andersen Auditoriet)

Abstract:

How can we assess a network's ability to maintain its functionality under attacks? While network robustness has been studied extensively in…

17 Jan

Friday 17 January 2020, at 15:15 Building 5510-104 (INCUBA lille Aud.)

Abstract: The talk will discuss possible relationships between Visual Analytics and cyber security, listing hot application fields and tickling the…

22 Nov

Friday 22 November 2019, at 15:15 Building 5510-104 (INCUBA Lille Aud.)

Inaugural lecture

1 Nov

Friday 1 November 2019, at 15:15 Building 5510-104 (INCUBA Lille Aud.)

Inaugural lecture

4 Oct

Friday 4 October 2019, at 15:15 Building 5510-104 (INCUBA lille Aud.)

Is my program bug-free? Can it leak sensitive information? Can it take forever to run?

6 Sep

Friday 6 September 2019, at 15:15 Building 5510-104 (INCUBA lille Aud.)

24 May

Friday 24 May 2019, at 14:15 5335-016 (Peter Bøgh Andersen Aud)

10 minutes to introduce your research. This is the concept of The Computer Science Day which takes place in 5335-016 Peter Bøgh Auditorium, on Friday…

Department of Computer Science

CS Colloquium: Aurore Guillevic - "The knapsack algorithm in analytical chemistry"

Inaugural lecture by Ioannis Caragiannis

Inaugural lecture by Amin Timany

CS Colloquium - Panagiotis Karras: Robustness in Probabilistic Networks

CS Colloquium - Prof. Giuseppe Santucci: Visual Analytics and CyberSecurity

CS Colloquium - Peter Scholl: Computing blindfolded: How can you compute on data, without seeing it?

CS Colloquium - Magnus Madsen: What you should know about declarative programming

CS Colloquium - Andreas Pavlogiannis:The challenge of program verification (and a bit of biology)

CS Colloquium - Kristoffer Arnsfelt Hansen

Computer Science Day 2019