Previous talks

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…

10 May

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

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