equal
deleted
inserted
replaced
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
90 <li><A HREF="http://www.lsv.ens-cachan.fr/~arnaud">Mathilde Arnaud</A> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
91 (2007, ENS Cachan, France) Formalization of Generative Unbinding</li> |
92 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li> |
92 <li>Akhil Junghare (2011-2012, King's) Lexing and Parsing using Derivatives</li> |
93 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li> |
93 <li>Darius Hodaei (2011-2012, King's) A Compiler for System F</li> |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li> |
94 <li>Jian Jiang (2011-2012, King's) Suffix Array Sorting</li> |
95 <li>Adnan Noureddine (2011-2012, King's) Equivalence Checking of Regular Expressions</li> |
|
96 </ul> |
95 </ul> |
97 |
96 |
98 </TD> |
97 </TD> |
99 </TR> |
98 </TR> |
100 |
99 |
102 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
101 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
103 <H3>2012-2013</H3> |
102 <H3>2012-2013</H3> |
104 |
103 |
105 <ul> |
104 <ul> |
106 <li>Automata and Formal Languages course |
105 <li>Automata and Formal Languages course |
|
106 <li>Access Control and Privacy Policies |
107 </ul> |
107 </ul> |
108 </TD> |
108 </TD> |
109 </TR> |
109 </TR> |
110 |
110 |
111 <TR> |
111 <TR> |