Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: efdc416e65
Fetching contributors…

Cannot retrieve contributors at this time

345 lines (338 sloc) 9.277 kb
<?xml version="1.0" encoding="ISO-8859-1"?>
<!DOCTYPE papers [
<!ELEMENT talks (group*)>
<!ELEMENT group (talk*)>
<!ATTLIST group id CDATA #REQUIRED>
<!ELEMENT talk (title, pres*, download*)>
<!ELEMENT pres (date, event, url?, location)>
<!ELEMENT download (text, url)>
]>
<talks>
<group id="2010">
<talk>
<title>TRX: A Formally Verified Parser Interpreter</title>
<pres>
<date>22.03.2010</date>
<event>ESOP '10</event>
<url>http://www.etaps10.cs.ucy.ac.cy/Venue/program.html#MonElevESOP</url>
<location>Paphos, Cyprus</location>
</pres>
<download>
<text>PDF</text>
<url>trx-esop-10.pdf</url>
</download>
</talk>
</group>
<group id="2008">
<talk>
<title>Certification of Termination Proofs for Term Rewriting</title>
<pres>
<date>16.12.2008</date>
<event>The Foundations Group Seminar</event>
<url>http://www.fnds.cs.ru.nl/fndswiki/Seminars?action=show</url>
<location>Nijmegen, The Netherlands</location>
</pres>
<download>
<text>PDF</text>
<url>color-icis-08.pdf</url>
</download>
</talk>
<talk>
<title>Termination of Rewriting and Its Certification</title>
<pres>
<date>25.09.2008</date>
<event>PhD defence ceremony</event>
<location>Eidhoven University of Technology, Eindhoven, The Netherlands</location>
</pres>
<download>
<text>PDF</text>
<url>phd-08.pdf</url>
</download>
</talk>
<talk>
<title>Arctic Termination ... Below Zero</title>
<pres>
<date>15.07.2008</date>
<event>RTA '08</event>
<url>http://www.risc.uni-linz.ac.at/about/conferences/rta2008/index.html</url>
<location>Hagenberg, Austria</location>
</pres>
<download>
<text>PDF</text>
<url>arctic-int-rta-08.pdf</url>
</download>
</talk>
<talk>
<title>Certification of Arctic Termination</title>
<pres>
<date>07.03.2008</date>
<event>TCS seminar</event>
<url>http://www.cs.vu.nl/~tcs/seminar</url>
<location>Free University, Amsterdam, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>cert-tcs-vu-08.txt</url>
</download>
<download>
<text>PDF</text>
<url>cert-tcs-vu-08.pdf</url>
</download>
</talk>
<talk>
<title>Certification of proving termination of term rewriting by matrix interpretations</title>
<pres>
<date>21.01.2008</date>
<event>SOFSEM '08</event>
<url>http://ics.upjs.sk/sofsem08</url>
<location>Nový Smokovec, High Tatras, Slovakia</location>
</pres>
<download>
<text>PDF</text>
<url>mint-cert-sofsem-08.pdf</url>
</download>
</talk>
</group>
<group id="2007">
<talk>
<title>Semantic labeling for proving termination of term rewriting</title>
<pres>
<date>17.12.2007</date>
<event>Protheo seminar</event>
<location>Loria, Nancy, France</location>
</pres>
<download>
<text>Abstract</text>
<url>sl-protheo-loria-07.txt</url>
</download>
<download>
<text>PDF</text>
<url>sl-protheo-loria-07.pdf</url>
</download>
</talk>
<talk>
<title>Predictive Labeling with Dependency Pairs using SAT</title>
<pres>
<date>20.07.2007</date>
<event>CADE '07</event>
<url>http://www.cadeconference.org/meetings/cade21</url>
<location>Bremen, Germany</location>
</pres>
<download>
<text>PDF</text>
<url>predlab-cade-07.pdf</url>
</download>
</talk>
<talk>
<title>Certification of Matrix Interpretations in Coq</title>
<pres>
<date>29.06.2007</date>
<event>WST '07</event>
<url>http://www.lsv.ens-cachan.fr/rdp07/wst.html</url>
<location>Paris, France</location>
</pres>
<download>
<text>PDF</text>
<url>mint-cert-wst-07.pdf</url>
</download>
</talk>
<talk>
<title>Termination of Term Rewriting Meets Theorem Proving</title>
<pres>
<date>31.05.2007</date>
<event>Prose (Process seminar)</event>
<url>http://www.win.tue.nl/prose</url>
<location>Eidhoven University of Technology, Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>cert-term-prose-tue-07.txt</url>
</download>
<download>
<text>PDF</text>
<url>cert-term-prose-tue-07.pdf</url>
</download>
</talk>
<talk>
<title>Certification of Termination</title>
<pres>
<date>24.05.2007</date>
<event>TeReSe meeting</event>
<url>http://www.win.tue.nl/~hzantema/terese.html</url>
<location>Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>cert-term-terese-07.txt</url>
</download>
<download>
<text>PDF [handout]</text>
<url>cert-term-terese-07-handout.pdf</url>
</download>
<download>
<text>PDF [talk]</text>
<url>cert-term-terese-07-talk.pdf</url>
</download>
</talk>
<talk>
<title>Certification of Matrix Interpretations in Coq</title>
<pres>
<date>11.05.2007</date>
<event>CoLoR workshop</event>
<url>http://color.loria.fr/workshop.html</url>
<location>Nancy, France</location>
</pres>
<download>
<text>PDF</text>
<url>mint-cert-color-07.pdf</url>
</download>
</talk>
<talk>
<title>Poster: TPA - Termination Proved Automatically (revised version)</title>
<pres>
<date>22.03.2007</date>
<event>NIRICT kick-off event</event>
<location>Utrecht, The Netherlands</location>
</pres>
<download>
<text>PDF [poster]</text>
<url>tpa-poster-nirict-07.pdf</url>
</download>
</talk>
</group>
<group id="2006">
<talk>
<title>Certified Higher-Order Recursive Path Ordering</title>
<pres>
<date>13.08.2006</date>
<event>RTA '06</event>
<url>http://www.easychair.org/FLoC-06/RTA.html</url>
<location>Seattle, USA</location>
</pres>
<download>
<text>PDF</text>
<url>horpo-rta-06.pdf</url>
</download>
</talk>
<talk>
<title>TPA: Termination Proved Automatically</title>
<pres>
<date>13.08.2006</date>
<event>RTA '06</event>
<url>http://www.easychair.org/FLoC-06/RTA.html</url>
<location>Seattle, USA</location>
</pres>
<download>
<text>PDF</text>
<url>tpa-rta-06.pdf</url>
</download>
</talk>
<talk>
<title>Topics in Termination of Term Rewriting</title>
<pres>
<date>16.03.2006</date>
<event>Prose (Process seminar)</event>
<url>http://www.win.tue.nl/prose</url>
<location>Eidhoven University of Technology, Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>term-prose-tue-06.txt</url>
</download>
<download>
<text>PDF</text>
<url>term-prose-tue-06.pdf</url>
</download>
</talk>
<talk>
<title>Certified Higher-Order Recursive Path Ordering</title>
<pres>
<date>16.02.2006</date>
<event>OAS colloqium</event>
<url>http://www.win.tue.nl/oas/main_colloquium.html</url>
<location>Eidhoven University of Technology, Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>horpo-oas-tue-06.txt</url>
</download>
<download>
<text>PDF</text>
<url>horpo-oas-tue-06.pdf</url>
</download>
</talk>
</group>
<group id="2005">
<talk>
<title>Application of Rewriting Techniques to Verification Problems</title>
<pres>
<date>29.11.2005</date>
<event>5th Int. Conf. on Integrated Formal Methods (Doctoral Symposium)</event>
<url>http://www.win.tue.nl/ifm</url>
<location>Eindhoven, The Netherlands</location>
</pres>
<download>
<text>PPT</text>
<url>app-rew-ifm-05.ppt</url>
</download>
</talk>
<talk>
<title>Proving Liveness with Fairness using Rewriting</title>
<pres>
<date>20.09.2005</date>
<event>FroCoS 2005</event>
<url>http://www.logic.at/frocos05</url>
<location>Vienna, Austria</location>
</pres>
<pres>
<date>27.05.2005</date>
<event>TCS seminar</event>
<url>http://www.cs.vu.nl/~tcs/seminar</url>
<location>Free University, Amsterdam, The Netherlands</location>
</pres>
<pres>
<date>07.04.2005</date>
<event>OAS colloqium</event>
<url>http://www.win.tue.nl/oas/main_colloquium.html</url>
<location>Eidhoven University of Technology, Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>liv-frocos-05.txt</url>
</download>
<download>
<text>PPT</text>
<url>liv-frocos-05.ppt</url>
</download>
</talk>
<talk>
<title>Using semantic labelling with natural numbers for proving termination automatically</title>
<pres>
<date>30.06.2005</date>
<event>TeReSe meeting</event>
<url>http://www.win.tue.nl/~hzantema/terese.html</url>
<location>Eindhoven, The Netherlands</location>
</pres>
<download>
<text>Abstract</text>
<url>sl-terese-05.txt</url>
</download>
<download>
<text>PDF</text>
<url>sl-terese-05.pdf</url>
</download>
</talk>
<talk>
<title>Poster: TPA - Termination Proved Automatically</title>
<pres>
<date>24.06.2005</date>
<event>Embedded Systems Symposium</event>
<location>Eindhoven, The Netherlands</location>
</pres>
<download>
<text>PDF [poster]</text>
<url>tpa-poster.pdf</url>
</download>
</talk>
</group>
</talks>
Jump to Line
Something went wrong with that request. Please try again.