|
About
Conferences
Colloquium
Workshops
Practical
|
UNIF 2007 Programme
Friday, June 29
| 8:15 - 9:00 |
|
Arrival of participants and registration |
SecReT/UNIF joint invited talk (Room 35-3-26)
| 9:30 - 10:30 |
|
Thomas Genet. Rewriting and Reachability for Software Security. |
| 10:30 - 11:00 |
|
Coffee Break |
UNIF Session 2 (Room 35-3-35)
| 11:00 - 11:30 |
|
Benjamin Carle, Paliath Narendran and Colin Sheriff. On extended regular expressions. |
| 11:30 - 12:00 |
|
Sylvain Conchon, Évelyne Contejean and Johannes Kanig. Combining Equality and Solvable Theories. |
| 12:00 - 12:30 |
|
Sylvain Conchon, Évelyne Contejean and Johannes Kanig. Demo Ergo. |
UNIF Session 3 (Room 35-3-35)
| 14:00 - 14:30 |
|
Viorica Sofronie-Stokkermans. On unification in certain finitely generated varieties of algebras. |
| 14:30 - 15:00 |
|
Ginés Moreno and Vicente Pascual. Similarity-based Unification Embedded into Narrowing. |
| 15:00 - 15:30 |
|
Martin Plümicke. Java type unification with wildcards. |
| 15:30 - 16:00 |
|
Coffee Break |
UNIF Session 4 (Room 35-3-35)
| 16:00 - 16:30 |
|
Claude Kirchner, Radu Kopetz and Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. |
| 16:30 - 17:00 |
|
Discussion and Business Meeting. |
webmaster at rdp07 dot org
|