BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/8631/3-- -7-July-2017-9th-International-School-on-Rewriting -ISR-2017-Eindhoven-The-Netherlands DTSTAMP:20170504T150931 SUMMARY:9th International School on Rewriting (ISR 2017), Eindhoven, The Netherlands DTSTART;VALUE=DATE:20170703 DTEND;VALUE=DATE:20170707 LOCATION:Eindhoven, The Netherlands DESCRIPTION:Rewriting is a branch of computer scie nce whose origins go back to the origins of comput er science itself. It has strong links with mathem atics, algebra, and logic, it is used in many area s of software engineering, and it is the basis of well-known programming paradigms like functional a nd equational programming. The 9th International S chool on Rewriting (ISR 2017) is aimed at master a nd PhD students, researchers, and practitioners in terested in the study of rewriting concepts and th eir applications. The school features lectures by renowned researchers in rewriting, and is organiz ed in two parallel tracks. The Basic Track is an i ntroduction to Term Rewriting taught by Aart Midde ldorp and Sarah Winkler from the University of Inn sbruck in Austria. It can be concluded with an exa m for 3 EC. The Advanced Track consists of a varie ty of lectures on advanced topics in rewriting. Th ere will also be the opportunity for participants to present their own research. Deadline for early registration is May 15, 2017. X-ALT-DESC;FMTTYPE=text/html:\n
Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming par adigms like functional and equational programming. The 9th International School on Rewriting (ISR 20 17) is aimed at master and PhD students, researche rs, and practitioners interested in the study of r ewriting concepts and their applications.
\n\nThe school features lectures by renowned resea rchers in rewriting, and is organized in two paral lel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austr ia. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also b e the opportunity for participants to present thei r own research.
\n\nDeadline for early reg istration is May 15, 2017.
URL:http://www.win.tue.nl/~hzantema/isr.html CONTACT:h.zantema at tue.nl END:VEVENT END:VCALENDAR