[Om-announce] WST 2018 - Call for Participation (July 18-19, 2018)

Christian Sternagel. TTT2 with Termination Templates for Teaching Cristina David, Daniel Kroening and Peter Schrammel. Procedure-Modular Termination Analysis Salvador Lucas. Well-founded models in proofs of termination Aalok Thakkar, Balaji Krishnamurthy and Piyush Gupta. Verification of R

[Om-announce] WST 2018 - Last Call for Papers (deadline: April 30, 2018)

- U. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fre

[Om-announce] WST 2018 - 1st Call for Papers (submission: April 15, 2018)

. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred

[Om-announce] WST 2018 - 2nd Call for Papers (submission: April 15, 2018)

. degli Studi di Bologna     Carsten Fuhs - Birkbeck, U. of London     Samir Genaim - U. Complutense de Madrid     Juergen Giesl - RWTH Aachen     Raul Gutiérrez - U. Politecnica de València     Keiichirou Kusakari - Gifu University     Salvador Lucas (chair) - U. Politecnica de Valencia     Fred