Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
2009-2010:colloquia [2009/10/26 22:17]
karst
2009-2010:colloquia [2010/02/25 14:11]
karst
Line 30: Line 30:
 ==== October 7, Licensing ==== ==== October 7, Licensing ====
 Freek Dijkstra'​s {{2009-2010:​courses:​colloquia:​licenses_2009.pdf|slides}} Freek Dijkstra'​s {{2009-2010:​courses:​colloquia:​licenses_2009.pdf|slides}}
 +
  
 ==== October 27, Logic ==== ==== October 27, Logic ====
-{{2009-2010:​courses:​colloquia:​logic.pdf|Logic for SNE}} by Karst Koymans+{{2009-2010:​courses:​colloquia:​logic.pdf|Logic for SNE}} ({{2009-2010:​courses:​colloquia:​logic_notes.pdf|notes}}) ​by Karst Koymans

This topic does not exist yet

You've followed a link to a topic that doesn't exist yet. If permissions allow, you may create it by clicking on “Create this page”.