News and Events: MoL and PhD defenses

MoL and PhD defenses

• 24 August 2017, Master of Logic defense, Jana Wagemaker

  Title: Gossip in NetKAT
  Date & Time: Thursday 24 August 2017, 11:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jan van Eijck

• (New) 29 August 2017, Master of Logic defense, Jonathan Sippel

  Title: The Good, the Bad, and the Difficult: Complexity in a Monotonicity-Grounded Logic for Reasoning with Generalized Quantifiers
  Date & Time: Tuesday 29 August 2017, 11:15
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jakub Szymanik

• 29 August 2017, Master of Logic defense, Jakob Piribauer

  Title: The Modal Logic of Generic Multiverses
  Date & Time: Tuesday 29 August 2017, 14:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Benedikt Löwe

• 29 August 2017, Master of Logic defense, Zeno de Hoop

  Title: Context-Free Processes and Push-Down Processes
  Date & Time: Tuesday 29 August 2017, 16:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jos Baeten

• 30 August 2017, Master of Logic defense, Bas Cornelissen

  Title: Emerging Languages?
  Date & Time: Wednesday 30 August 2017, 11:15
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jelle Zuidema

• 30 August 2017, Master of Logic defense, Laura Aina

  Title: Not logical: A distributional semantic account of negated adjectives
  Date & Time: Wednesday 30 August 2017, 14:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Raquel Fernández, Raffaella Bernardi

• 30 August 2017, Master of Logic defense, Jotte Kuilder

  Title: On the domain generality of higher-order Theory of Mind: Transfer between the Marble Drop game and the False Belief task
  Date & Time: Wednesday 30 August 2017, 16:00
  Location: Room F3.20, Science Park 107, Amsterdam
  Supervisor: Jakub Szymanik, Gert-Jan Munneke

• (New) 31 August 2017, Master of Logic defense, Shuai Wang

  Title: Turing Learning with Nash Memory
  Date & Time: Thursday 31 August 2017, 09:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Leen Torenvliet, Frans Oliehoek

• 31 August 2017, Master of Logic defense, Michael Repplinger

  Title: Understanding Generalization: Learning Quantifiers and Negation with Neural Tensor Networks
  Date & Time: Thursday 31 August 2017, 11:15
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jelle Zuidema

• 31 August 2017, Master of Logic defense, Bonan Zhao

  Title: Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game
  Date & Time: Thursday 31 August 2017, 14:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Jakub Szymanik, Iris van de Pol

• 28 September 2017, Master of Logic defense, Esteban Landerreche

  Title: Leaning on Impossible to Parallelize Work for Immutability Guarantees in the Blockchain
  Date & Time: Thursday 28 September 2017, 14:00
  Location: Room F1.15, Science Park 107, Amsterdam
  Supervisor: Marc Stevens, Christian Schaffner