[TYPES/announce] Postdoc in Proof Theory - University of Birmingham, UK.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Fellow in Proof Theory - School of Computer Science, University of Birmingham, UK. The School of Computer Science at the University of Birmingham is seeking to appoint up to 2 Resea

[TYPES/announce] TEASE-LP - Workshop on Logic Programming: Trends, Extensions, Applications, 28-29 May 2020

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite participants to the on-line workshop TEASE-LP on Trends, Extensions, Applications and Semantics of Logic Programming Logic programming is a framework for expressing programs, pro