Samson Abramsky, Luke Ong, Tom Melham and myself have just founded the "Centre for Metacomputation" at Oxford. We are looking for a 4-year senior postdoc to help coordinate the activities:
http://web.comlab.ox.ac.uk/oucl/jobs/platform.html Topics of interest include types for quotation, termination analysis, model checking of higher-order programs, and games semantics for aspect-orientation. Please bring this to the attention of anyone who might be interested; naturally I'd be delighted to discuss the particulars on an informal basis, especially with members of this list. Many thanks, -Oege Oege de Moor, DPhil Professor of Computer Science Fellow of Magdalen College University of Oxford http://progtools.comlab.ox.ac.uk _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
