INI : LAAw04 : Nordstrom, 2006-04-11 : Narrow proofs may be spacious: separating space and width in resolution : index

<a href="/" target="_top">Newton Institute</a> > <a href="/webseminars/" target="_top">Web Seminars</a> > <a href="/webseminars/pg+ws/" target="_top">Programmes & Workshops</a> > <a href="/webseminars/pg+ws/2006/" target="_top">2006</a> > <a href="/webseminars/pg+ws/2006/laa/" target="_top">LAA</a> > <a href="/webseminars/pg+ws/2006/laa/laaw04/" target="_top">LAAw04</a> > Nordstrom, 2006-04-11 <CENTER> <HR class="noncss"> <div class="header"> <B>12 Apr 2006</B> <H1>Narrow proofs may be spacious: separating space and width in resolution</H1> <H2>J. Nordstrom (Royal Institute of Technology, Stockholm)</H2> </div> [<a href="/programmes/LAA/Abstract4/nordstrom.html">abstract for this talk</a>] [<a href="frames.html">use frames</a>] [<a href="/webseminars/help.html">help</a>] [<a href="/cgi/search-webseminars" target="_top">search</a>] [<a href="001.html">first section</a>] <BR> <BR> presentation as: [<A HREF="all.pdf">Adobe PDF</A> <font size="-1">1MB</font>] <BR> <BR> sound for entire talk as: [<a href="all.rm">RealAudio</a> <font size="-1">11MB</font>] [<a href="all.mp3">MP3</a> <font size="-1">7MB</font>] </CENTER> <P> <H3>Thumbnails</H3> <a href="001.html"><img src="001_auto.gif" alt="section 1"></a> <a href="002.html"><img src="002_auto.gif" alt="section 2"></a> <a href="003.html"><img src="003_auto.gif" alt="section 3"></a> <a href="004.html"><img src="004_auto.gif" alt="section 4"></a> <a href="005.html"><img src="005_auto.gif" alt="section 5"></a> <a href="006.html"><img src="006_auto.gif" alt="section 6"></a> <a href="007.html"><img src="007_auto.gif" alt="section 7"></a> <a href="008.html"><img src="008_auto.gif" alt="section 8"></a> <a href="009.html"><img src="009_auto.gif" alt="section 9"></a> <a href="010.html"><img src="010_auto.gif" alt="section 10"></a> <a href="011.html"><img src="011_auto.gif" alt="section 11"></a> <a href="012.html"><img src="012_auto.gif" alt="section 12"></a> <a href="013.html"><img src="013_auto.gif" alt="section 13"></a> <a href="014.html"><img src="014_auto.gif" alt="section 14"></a> <a href="015.html"><img src="015_auto.gif" alt="section 15"></a> <a href="016.html"><img src="016_auto.gif" alt="section 16"></a> <a href="017.html"><img src="017_auto.gif" alt="section 17"></a> <a href="018.html"><img src="018_auto.gif" alt="section 18"></a> <a href="019.html"><img src="019_auto.gif" alt="section 19"></a> <a href="020.html"><img src="020_auto.gif" alt="section 20"></a> <a href="021.html"><img src="021_auto.gif" alt="section 21"></a> <a href="022.html"><img src="022_auto.gif" alt="section 22"></a> <a href="023.html"><img src="023_auto.gif" alt="section 23"></a> <a href="024.html"><img src="024_auto.gif" alt="section 24"></a> <a href="025.html"><img src="025_auto.gif" alt="section 25"></a> <a href="026.html"><img src="026_auto.gif" alt="section 26"></a> <a href="027.html"><img src="027_auto.gif" alt="section 27"></a> <a href="028.html"><img src="028_auto.gif" alt="section 28"></a> <a href="029.html"><img src="029_auto.gif" alt="section 29"></a> <a href="030.html"><img src="030_auto.gif" alt="section 30"></a> <a href="031.html"><img src="031_auto.gif" alt="section 31"></a> <a href="032.html"><img src="032_auto.gif" alt="section 32"></a> <a href="033.html"><img src="033_auto.gif" alt="section 33"></a> <a href="034.html"><img src="034_auto.gif" alt="section 34"></a> <a href="035.html"><img src="035_auto.gif" alt="section 35"></a> <a href="036.html"><img src="036_auto.gif" alt="section 36"></a> <a href="037.html"><img src="037_auto.gif" alt="section 37"></a> <a href="038.html"><img src="038_auto.gif" alt="section 38"></a> <a href="039.html"><img src="039_auto.gif" alt="section 39"></a> <a href="040.html"><img src="040_auto.gif" alt="section 40"></a> <a href="041.html"><img src="041_auto.gif" alt="section 41"></a> <a href="042.html"><img src="042_auto.gif" alt="section 42"></a> <a href="043.html"><img src="043_auto.gif" alt="section 43"></a> <a href="044.html"><img src="044_auto.gif" alt="section 44"></a> <a href="045.html"><img src="045_auto.gif" alt="section 45"></a> <a href="046.html"><img src="046_auto.gif" alt="section 46"></a> <a href="047.html"><img src="047_auto.gif" alt="section 47"></a> <a href="048.html"><img src="048_auto.gif" alt="section 48"></a> <a href="049.html"><img src="049_auto.gif" alt="section 49"></a> <a href="050.html"><img src="050_auto.gif" alt="section 50"></a> <a href="051.html"><img src="051_auto.gif" alt="section 51"></a> <a href="052.html"><img src="052_auto.gif" alt="section 52"></a> <a href="053.html"><img src="053_auto.gif" alt="section 53"></a> <a href="054.html"><img src="054_auto.gif" alt="section 54"></a> <a href="055.html"><img src="055_auto.gif" alt="section 55"></a> <a href="056.html"><img src="056_auto.gif" alt="section 56"></a> <a href="057.html"><img src="057_auto.gif" alt="section 57"></a> <a href="058.html"><img src="058_auto.gif" alt="section 58"></a> <a href="059.html"><img src="059_auto.gif" alt="section 59"></a> <a href="060.html"><img src="060_auto.gif" alt="section 60"></a> <a href="061.html"><img src="061_auto.gif" alt="section 61"></a> <a href="062.html"><img src="062_auto.gif" alt="section 62"></a> <a href="063.html"><img src="063_auto.gif" alt="section 63"></a> <a href="064.html"><img src="064_auto.gif" alt="section 64"></a> <a href="065.html"><img src="065_auto.gif" alt="section 65"></a> <a href="066.html"><img src="066_auto.gif" alt="section 66"></a> <a href="067.html"><img src="067_auto.gif" alt="section 67"></a> <a href="068.html"><img src="068_auto.gif" alt="section 68"></a> <a href="069.html"><img src="069_auto.gif" alt="section 69"></a> <a href="070.html"><img src="070_auto.gif" alt="section 70"></a> <a href="071.html"><img src="071_auto.gif" alt="section 71"></a> <a href="072.html"><img src="072_auto.gif" alt="section 72"></a> <a href="073.html"><img src="073_auto.gif" alt="section 73"></a> <a href="074.html"><img src="074_auto.gif" alt="section 74"></a> <a href="075.html"><img src="075_auto.gif" alt="section 75"></a> <a href="076.html"><img src="076_auto.gif" alt="section 76"></a> <a href="077.html"><img src="077_auto.gif" alt="section 77"></a> <a href="078.html"><img src="078_auto.gif" alt="section 78"></a> <a href="079.html"><img src="079_auto.gif" alt="section 79"></a> <a href="080.html"><img src="080_auto.gif" alt="section 80"></a> <a href="081.html"><img src="081_auto.gif" alt="section 81"></a> <a href="082.html"><img src="082_auto.gif" alt="section 82"></a> <a href="083.html"><img src="083_auto.gif" alt="section 83"></a> <a href="084.html"><img src="084_auto.gif" alt="section 84"></a> <a href="085.html"><img src="085_auto.gif" alt="section 85"></a> <a href="086.html"><img src="086_auto.gif" alt="section 86"></a> <a href="087.html"><img src="087_auto.gif" alt="section 87"></a> <a href="088.html"><img src="088_auto.gif" alt="section 88"></a> <a href="089.html"><img src="089_auto.gif" alt="section 89"></a> <a href="090.html"><img src="090_auto.gif" alt="section 90"></a> <a href="091.html"><img src="091_auto.gif" alt="section 91"></a> <a href="092.html"><img src="092_auto.gif" alt="section 92"></a> <a href="093.html"><img src="093_auto.gif" alt="section 93"></a> <a href="094.html"><img src="094_auto.gif" alt="section 94"></a> <a href="095.html"><img src="095_auto.gif" alt="section 95"></a> <a href="096.html"><img src="096_auto.gif" alt="section 96"></a> <a href="097.html"><img src="097_auto.gif" alt="section 97"></a> <a href="098.html"><img src="098_auto.gif" alt="section 98"></a> <a href="099.html"><img src="099_auto.gif" alt="section 99"></a> <a href="100.html"><img src="100_auto.gif" alt="section 100"></a> <a href="101.html"><img src="101_auto.gif" alt="section 101"></a> <a href="102.html"><img src="102_auto.gif" alt="section 102"></a> <a href="103.html"><img src="103_auto.gif" alt="section 103"></a> <a href="104.html"><img src="104_auto.gif" alt="section 104"></a> <a href="105.html"><img src="105_auto.gif" alt="section 105"></a> <a href="106.html"><img src="106_auto.gif" alt="section 106"></a> <a href="107.html"><img src="107_auto.gif" alt="section 107"></a> <a href="108.html"><img src="108_auto.gif" alt="section 108"></a> <a href="109.html"><img src="109_auto.gif" alt="section 109"></a> <a href="110.html"><img src="110_auto.gif" alt="section 110"></a> <a href="111.html"><img src="111_auto.gif" alt="section 111"></a> <a href="112.html"><img src="112_auto.gif" alt="section 112"></a> <a href="113.html"><img src="113_auto.gif" alt="section 113"></a> <a href="114.html"><img src="114_auto.gif" alt="section 114"></a> <a href="115.html"><img src="115_auto.gif" alt="section 115"></a> <a href="116.html"><img src="116_auto.gif" alt="section 116"></a> <a href="117.html"><img src="117_auto.gif" alt="section 117"></a> <a href="118.html"><img src="118_auto.gif" alt="section 118"></a> <a href="119.html"><img src="119_auto.gif" alt="section 119"></a> <a href="120.html"><img src="120_auto.gif" alt="section 120"></a> <a href="121.html"><img src="121_auto.gif" alt="section 121"></a> <a href="122.html"><img src="122_auto.gif" alt="section 122"></a> <a href="123.html"><img src="123_auto.gif" alt="section 123"></a> <a href="124.html"><img src="124_auto.gif" alt="section 124"></a> <a href="125.html"><img src="125_auto.gif" alt="section 125"></a> <a href="126.html"><img src="126_auto.gif" alt="section 126"></a> <a href="127.html"><img src="127_auto.gif" alt="section 127"></a> <a href="128.html"><img src="128_auto.gif" alt="section 128"></a> <a href="129.html"><img src="129_auto.gif" alt="section 129"></a> <a href="130.html"><img src="130_auto.gif" alt="section 130"></a> <a href="131.html"><img src="131_auto.gif" alt="section 131"></a> <a href="132.html"><img src="132_auto.gif" alt="section 132"></a> <a href="133.html"><img src="133_auto.gif" alt="section 133"></a> <a href="134.html"><img src="134_auto.gif" alt="section 134"></a> <a href="135.html"><img src="135_auto.gif" alt="section 135"></a> <a href="136.html"><img src="136_auto.gif" alt="section 136"></a> <a href="137.html"><img src="137_auto.gif" alt="section 137"></a> <a href="138.html"><img src="138_auto.gif" alt="section 138"></a> <a href="139.html"><img src="139_auto.gif" alt="section 139"></a> <a href="140.html"><img src="140_auto.gif" alt="section 140"></a> <a href="141.html"><img src="141_auto.gif" alt="section 141"></a> <a href="142.html"><img src="142_auto.gif" alt="section 142"></a> <a href="143.html"><img src="143_auto.gif" alt="section 143"></a> <a href="144.html"><img src="144_auto.gif" alt="section 144"></a> <a href="145.html"><img src="145_auto.gif" alt="section 145"></a> <a href="146.html"><img src="146_auto.gif" alt="section 146"></a> <a href="147.html"><img src="147_auto.gif" alt="section 147"></a> <a href="148.html"><img src="148_auto.gif" alt="section 148"></a> <a href="149.html"><img src="149_auto.gif" alt="section 149"></a> <a href="150.html"><img src="150_auto.gif" alt="section 150"></a> <a href="151.html"><img src="151_auto.gif" alt="section 151"></a> <a href="152.html"><img src="152_auto.gif" alt="section 152"></a> <a href="153.html"><img src="153_auto.gif" alt="section 153"></a> <a href="154.html"><img src="154_auto.gif" alt="section 154"></a> <a href="155.html"><img src="155_auto.gif" alt="section 155"></a> <a href="156.html"><img src="156_auto.gif" alt="section 156"></a> <a href="157.html"><img src="157_auto.gif" alt="section 157"></a> <a href="158.html"><img src="158_auto.gif" alt="section 158"></a> <a href="159.html"><img src="159_auto.gif" alt="section 159"></a> <a href="160.html"><img src="160_auto.gif" alt="section 160"></a> <a href="161.html"><img src="161_auto.gif" alt="section 161"></a> <a href="162.html"><img src="162_auto.gif" alt="section 162"></a> <a href="163.html"><img src="163_auto.gif" alt="section 163"></a> <a href="164.html"><img src="164_auto.gif" alt="section 164"></a> <a href="165.html"><img src="165_auto.gif" alt="section 165"></a> <a href="166.html"><img src="166_auto.gif" alt="section 166"></a> <a href="167.html"><img src="167_auto.gif" alt="section 167"></a> <a href="168.html"><img src="168_auto.gif" alt="section 168"></a> <a href="169.html"><img src="169_auto.gif" alt="section 169"></a> <a href="170.html"><img src="170_auto.gif" alt="section 170"></a> </P> <HR> <a href="/" target="_top">Newton Institute</a> > <a href="/webseminars/" target="_top">Web Seminars</a> > <a href="/webseminars/pg+ws/" target="_top">Programmes & Workshops</a> > <a href="/webseminars/pg+ws/2006/" target="_top">2006</a> > <a href="/webseminars/pg+ws/2006/laa/" target="_top">LAA</a> > <a href="/webseminars/pg+ws/2006/laa/laaw04/" target="_top">LAAw04</a> > Nordstrom, 2006-04-11 <BR><BR> Comments or suggestions? <a href="/cgi/feedback?webseminars">Send feedback!</a>