Computing, Logic and Types
A conference on contemporary interactions between philosophy and computing theory.
| When |
Nov 12, 2015 09:30
to
Nov 13, 2015 05:45 |
|---|---|
| Where | Université Lyon 3 - Salle Caillemer, 15 quai Claude Bernard, Lyon 7 |
| Add event to calendar |
|










