De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen

De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen
Nl En

The VvL Logic at Large Lectures are annual, public lectures organised for a general audience. Upcoming Logic at Large Lecture:

 

 

Past Logic at Large Lectures

 

Tuesday 31 May 2022
Joel David Hamkins (University of Notre Dame)
Infinite games, frivolities of the gods

Many familiar finite games admit natural infinitary analogues, which often highlight intriguing issues in infinite game theory. Shall we have a game of infinite chess? Or how about infinite draughts, infinite Hex, infinite Go, infinite Wordle, or infinite Sudoku? Let me introduce these games and use them to illustrate various fascinating concepts in the theory of infinite games.		  
Friday 28 May 2021
Moshe Y. Vardi (Rice University)
And Logic Begat Computer Science

During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science". The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. [Read more ...]