| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Sat, 29 Nov 2014 14:55:50 +0000 | |
| changeset 85 | 2312c316736d |
| parent 84 | 2e2e4680a9d2 |
| child 86 | 99f336f35f87 |
| cfp.pdf | file | annotate | diff | comparison | revisions | |
| cfp.tex | file | annotate | diff | comparison | revisions |
--- a/cfp.tex Sat Nov 29 14:35:55 2014 +0000 +++ b/cfp.tex Sat Nov 29 14:55:50 2014 +0000 @@ -47,7 +47,7 @@ Tobias Nipkow, \emph{TU M\"unchen}\\ Michael Norrish, \emph{NICTA}\\ Scott Owens, \emph{University of Kent}\\ -Randy Pollack, \emph{Edinburgh University}\\ +Randy Pollack, \emph{Havard University}\\ Carsten Sch\"urmann, \emph{IT University of Copenhagen}\\ Konrad Slind, \emph{Rockwell Collins}\\ Alwen Tiu, \emph{Nanyang Technological University}\\