ÿþ<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html><head> <meta http-equiv="content-type" content="text/html; charset=UTF-16"> </head><body> <div align="center"> <a href="https://www.math-inf.uni-greifswald.de/mathe/index.php/mitarbeiter/128-dr-christine-gassner-homepage">back</a> (Hompage - Dr. Christine Gaßner)</div> <hr> <h1></h1> <h2 align="center"><span style="font-size: 14pt;">Meeting</span> <br> <span style="font-size: 18pt;">Different models of computation</span> <br> <span style="font-size: 14pt;"><br>18 - 22 July 2011 Greifswald</span></h2> <p></p><hr> <table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1077.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1077.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2706.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2706.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1072.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1072.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1020.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1020.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2711.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2711.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1014.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1014.jpg" height=130 ></a> </td><td width=20> </td> </table> <hr> <p></p> <p>Monday, July 18, 2011 </p> <p style="padding-left: 30px;"> 9.30 am (R114, Jahnstr.) </p><p style="padding-left: 60px;"> <strong>Welcome and introduction</strong></p> <p style="padding-left: 30px;"> 10.00 am (R114, Jahnstr.) </p><p style="padding-left: 60px;"> </p><p style="padding-left: 60px;"> <a href="https://www.math.uni-bonn.de/people/schlicht/"> <strong>Philipp Schlicht</strong></a> (Bonn): Automata on ordinals and linear orders. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/PhilippSchlichtAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/PhilippSchlichtSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 2.00 pm (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <a href="http://www.mathematik.tu-darmstadt.de/%7Eroesnick/"> <strong>Carsten Rösnick</strong></a> (Darmstadt): Complexity theory for operators in analysis. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/CarstenRoesnickAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/CarstenRoesnickSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 3.00 pm (Walther-Rathenau-Straße 47) </p> <p style="padding-left: 60px;"><strong>Coffee and discussion </strong></p> <p style="padding-left: 30px;"> 7.00 pm </p> <p style="padding-left: 60px;"> <strong>Dinner</strong></p> <p></p> <hr> <table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2701.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2701.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2703.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2703.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2696.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2696.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2695.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2695.jpg" height=130 ></a> </td><td width=20> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2673.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2673.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2682.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2682.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2691.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2691.jpg" height=130 ></a> </td><td width=20> </td> </td> </table><hr> <p></p> <p>Tuesday, July 19, 2011 </p> <p style="padding-left: 30px;"> 9.30 am (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <a href="http://www.uni-siegen.de/fb6/tcs/team/diener/"> <strong>Hannes Diener</strong></a> (Siegen): Computable analysis without computability. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/HannesDienerAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/HannesDienerSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 11.00 am (R114, Jahnstr.) </p><p style="padding-left: 60px;"> <strong>Discussion about new projects</strong></p> <p style="padding-left: 30px;"> 2.00 pm (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <strong>Isabel Schwende</strong> (Greifswald): A short review on the history of register machines. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/IsabelSchwendeAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/IsabelSchwendeSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 3.30 pm (Walther-Rathenau-Straße 47) </p> <p style="padding-left: 60px;"> <strong>Coffee and discussion</strong></p> <p></p><hr> <table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2690.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2690.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2683.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2683.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2684.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2684.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1065.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1065.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1067.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1067.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1071.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1071.jpg" height=130 ></a> </td><td width=20> </td> </table><hr> <p></p> Wednesday, July 20, 2011 <p style="padding-left: 30px;"> 9.30 am (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <a href="https://www.cl.cam.ac.uk/%7Eamp66/"> <strong>Arno Pauly</strong></a> (Cambridge): Non-determinism in TTE. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/ArnoPaulyAbstract.pdf">Abstract</a>.</p> <p style="padding-left: 30px;"> 11.00 am (R114, Jahnstr.) </p><p style="padding-left: 60px;"> </p><p style="padding-left: 60px;"> <strong>Paul Grieger</strong> (Greifswald): On algebraic decision trees and the generic path method. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/PaulGriegerAbstract2011.pdf">Abstract</a>.</p> <p style="padding-left: 30px;"> 1.00 pm </p> <p style="padding-left: 60px;"> <strong>Excursion</strong> to Peenemünde (Usedom).</p> <p></p><hr><table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1026.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1026.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1029.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1029.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1036.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1036.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1049.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1049.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1055.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1055.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1050.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1050.jpg" height=130 ></a> </td><td width=20> </td> </table> <hr> <p></p> Thursday, July 21, 2011 <p style="padding-left: 30px;"> 9.30 am (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <a href="https://www.math.purdue.edu/%7Epscheibl/"> <strong>Peter Scheiblechner</strong></a> (Bonn): On lower bounds for algebraic decision trees. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/PeterScheiblechnerAbstract2011.pdf">Abstract</a>.</p> <p style="padding-left: 30px;"> 11.00 am (R114, Jahnstr.) </p><p style="padding-left: 60px;"> <strong>Discussion</strong> about the linear BSS model</p> <p style="padding-left: 30px;"> 2.00 pm (R114, Jahnstr.) </p> <p style="padding-left: 60px;"> <a href="http://www.mathematik.tu-darmstadt.de/%7Eziegler/"> <strong>Martin Ziegler</strong></a> (Darmstadt): Computational complexity of quantum satisfiability. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/MartinZieglerAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/MartinZieglerSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 3.30 pm (Walther-Rathenau-Straße 47) </p> <p style="padding-left: 60px;"> <strong>Coffee and discussion</strong></p> <p></p><hr> <table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2679.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2679.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2681.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2681.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2692.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinDSCF2692.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1068.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1068.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1021.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1021.jpg" height=130 ></a> </td><td width=20> </td> </table> <hr> <p></p> Friday, July 22, 2011 <p style="padding-left: 30px;"> 9.30 am (R114, Jahnstr.) </p> <p style="padding-left: 60px;"><a href="https://www.math-inf.uni-greifswald.de/mathe/index.php/mitarbeiter/128-dr-christine-gassner-homepage"> <strong>Christine Gaßner</strong></a> (Greifswald): Comparison of models of computation over the reals. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/ChristineGassnerAbstract2011.pdf">Abstract</a>. <a href="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/ChristineGassnerSlides2011.pdf">Slides</a>.</p> <p style="padding-left: 30px;"> 11.00 am (Walther-Rathenau-Straße 47) </p> <p style="padding-left: 60px;"><strong>Coffee and closing discussions</strong></p> <p></p><hr><table border = 0> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1015.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1015.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1017.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1017.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1075.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1075.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1061.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1061.jpg" height=130 ></a> </td><td width=20> </td> <td><a href = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1083.jpg"> <img alt="" src = "http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/Bilder2011/KleinIMG_1083.jpg" height=130 ></a> </td><td width=20> </td> </table><hr> <img src="http://pinguin4.math-inf.uni-greifswald.de/mathe/images/Gassner/Arbeitstreffen/ZahlenreiheUndPi.jpg" alt="" border="0" width="100%"> </body></html>