Campus Event Calendar: Yde Venema (08/08/1996 in 46.1 - MPII/609)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

What and Who

Dynamic logic and special derivation rules

Yde Venema

Free University, Amsterdam

Talk

AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS

AG Audience

English

Note: We use this to send email in the morning.

Date, Time and Location

Thursday, 8 August 96

14:00

60 Minutes

46.1 - MPII

609

Saarbrücken

Contact

Miroslava Tzakova

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Login for more details

Tags, Category, Keywords and additional notes

Keywords, Tags:

dynamic logic; derivation rules

Copyright 2024 by Max Planck Institute for Informatics
Imprint / Impressum | Data Protection / Datenschutzhinweis