Differences

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

--- en:seminaires:semverif:index [23/11/2017 16:07] – created guiraud
+++ en:seminaires:semverif:index [Unknown date] (current) – removed - external edit (Unknown date) 127.0.0.1
@@ Line 1: / Line 1: @@
----- datatemplateentry ----
-template     : en:templates:seminaire
-type         : Former working group
-nom          : Semantics and verification
-nomcourt     : semverif
-jour         : Thursday
-heure        : 4pm
-lieu         : room 3052
-responsables : cgrelloi, mellies, serre
-equipes      : automates, pps
-----
-\\ === Web page ===
-http://research.grellois.fr/gdt.htm