Previous talks

7 May

1 day, 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

1 day, 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

1 day, 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

1 day, 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

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

Inaugural lecture

1 Nov

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

Inaugural lecture

4 Oct

1 day, 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

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

24 May

1 day, 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…

10 May

1 day, Friday 10 May 2019, at 15:15 Building 5510, room 104 (Incuba Lille Aud)

Types help programmers to write clear and correct programs. I will present recent developments in type theory which will allow us to write bigger…

Department of Computer Science

Previous talks

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

CS Colloquium - Bas Spitters: Modern Type Theory and Secure Blockchains