[TYPES/announce] PhD positions from October 2016 at the University of Bath

are outstanding and the city is so beautiful that UNESCO recognises it as a World Heritage Site. To obtain more information and to apply, please follow the link above. Feel free to contact Alessio Guglielmi (A.Guglielmi AT Bath.Ac.UK).

[TYPES/announce] PhD position EFFICIENT AND NATURAL PROOFS AND ALGORITHMS at the University of Bath

that UNESCO recognises it as a World Heritage Site. *** Contact For questions about the project or the application process, please contact us: Alessio Guglielmi a.guglie...@bath.ac.uk Willem Heijltjesw.b.heijlt...@bath.ac.uk *** How to apply Applicants should hold, or expect to gain, a First C

[TYPES/announce] University of Bath Prize Fellow

´. Ciao, -Alessio Software verification and correctness We aim to build on the existing strengths within the Mathematical Foundations group in the Department of Computer Science. The group comprises Prof Guy McCusker and Dr Jim Laird (semantics), Dr Alessio Guglielmi (proof theory), Dr John Power

[TYPES/announce] University of Bath Prize Fellow - 21/5 deadline approaching

´. Ciao, -Alessio Software verification and correctness We aim to build on the existing strengths within the Mathematical Foundations group in the Department of Computer Science. The group comprises Prof Guy McCusker and Dr Jim Laird (semantics), Dr Alessio Guglielmi (proof theory), Dr John Power

[TYPES/announce] Post-doc in Bath on the semantics of a bureaucracy-free formalism

, working mainly with Guy McCusker, Alessio Guglielmi and Paola Bruscoli. The post will be available for up to 3 years, with effect from 1st February 2013. Web site of the project: <http://www.cs.bath.ac.uk/ag/ENPS/> This is our group: Paola Bruscoli <http://cs.bath

[TYPES/announce] PhD Research Project: Efficient and Natural Proof Systems

ttp://www.cs.bath.ac.uk/ag/ENPS/> Institution: University of Bath - Department of Computer Science PhD Supervisors: Alessio Guglielmi and/or Guy McCusker <http://alessio.guglielmi.name> <http://www.cs.bath.ac.uk/~gam23/> Application Deadline: 17 April 2013 Math is growing more complex each day,

[TYPES/announce] PhD Studentships at the University of Bath

Bradford http://is.gd/Y5XgCG Paola Bruscoli http://cs.bath.ac.uk/pb James Davenporthttp://staff.bath.ac.uk/masjhd Alessio Guglielmi http://alessio.guglielmi.name Willem Heijltjes http://cs.bath.ac.uk/~wbh22 Jim Laird http://cs.bath.ac.uk/~jl317 Guy McCusker

[TYPES/announce] PhD Studentships at the University of Bath - Mathematical Foundations of Computation

-foundations Institution: University of Bath Potential supervisors: Russell Bradford http://is.gd/Y5XgCG Paola Bruscoli http://cs.bath.ac.uk/pb James Davenporthttp://staff.bath.ac.uk/masjhd Alessio Guglielmi http://alessio.guglielmi.name Willem Heijltjes http

[TYPES/announce] PhD Studentships from October 2014 at the University of Bath

Bath Potential supervisors: Russell Bradford http://is.gd/Y5XgCG Paola Bruscoli http://cs.bath.ac.uk/pb James Davenporthttp://staff.bath.ac.uk/masjhd Alessio Guglielmi http://alessio.guglielmi.name Willem Heijltjes http://cs.bath.ac.uk/~wbh22 Jim Laird

[TYPES/announce] 3.5-year PhD positions from October 2015 at the University of Bath

World Heritage Site. To obtain more information and to apply, please follow the link above. Feel free to contact Alessio Guglielmi (A.Guglielmi AT Bath.Ac.UK) for any questions about a PhD in Proofs, Categories and Semantics, or contact James Davenport (J.H.Davenport AT Bath.Ac.UK) for a PhD in

[TYPES/announce] PhD position in proof theory at the University of Bath

t PhDs, Anupam Das, has won a prestigious UKRI Future Leaders Fellowship in 2019, worth £1.5M. The facilities at the University of Bath are outstanding and the city is so beautiful that UNESCO recognises it as a World Heritage Site. ** Supervisors and research team Alessio Guglielmi

[TYPES/announce] Undone Computer Science — Call for contributions

aurence Favier (Univ. Lille) Jean-Daniel Fekete (Inria) Karën Fort (Sorbonne Université & LORIA) Alessio Guglielmi (University of Bath) Guillaume Munch-Maccagnoni, Chair (Inria) Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) Norberto Patrignani (Politecnico Di Torino) Maël Pégny (Freelance

[TYPES/announce] Normalisation Control in Deep Inference Via Atomic Flows

g/p/NormContrDIAtFl.pdf>. Comments are very welcome. Cheers, -Alessio Guglielmi Normalisation Control in Deep Inference Via Atomic Flows We introduce diagrams, called 'atomic flows', that forget much of the syntactic structure of derivations and only retain causal relations betw

Re: [TYPES/announce] Two phase reviewing for POPL; a response

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, At 09:18 -0500 12/1/10, Prakash Panangaden wrote: >It is indeed hard to change the culture, but >conferences are where we should get the chance to throw out ideas rather >than partic

Re: [TYPES/announce] Two phase reviewing for POPL; a response

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, At 11:55 +0100 13/1/2010, Derek Dreyer wrote: >>And the conferences should serve the purpose of disseminating new >>ideas, not of distributing medals. > >Given that there have been

Re: [TYPES/announce] Two phase reviewing for POPL; a response

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, At 17:20 -0500 16/1/10, Michael Hicks wrote: >>It happened to me to review a short and very well written paper >>(for a journal) whose claims looked to me absolutely impossible, >>