June 26, 2019 - Dortmund, Germany

Date

The date for the annunal meeting WG 1.6 is Wednesday, June 26, 2019. The WG 1.6 is part of FSCD and will take place mid-conference.

Aims

Invited Speakers

Program

- 8:30-9:00 welcome/coffee break

9:00 - 10:00 - session 1

- 09:00-10:00  Cynthia Kop
  	       Cons-Free Rewriting 

10:00 - 10:30 - coffee break

10:30 - 13:00 - session 2

- 10:30-11:30  Rene Thiemann
  	       Improved Certification of Complexity Proofs for Term Rewrite Systems
   
- 11:30-11:45  Herman Geuvers
  	       Informal Report on FSCD
	       
- 11:45-12:30  Report on IFIP (Martin Avanzini)
	       
12:30 - 14:00 - lunch

14:00 - 15:30 - session

- 14:00-15:00  Silvia Ghilezan
  	       Denotational and Operational Preciseness of Subtyping
	       
- 15:00-15:30  Report ISR (Hans Zantema)
	      
- 15:30 - 16:00 - coffee break

- 16:00-17:30 Business Meeting
      

Participation

The meetings of the working group are public, with the single exception of the business meeting.

Chair and Secretary

Georg Moser and Martin Avanzini