/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / theory / 2397

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 50 61 74 68 3a 20 73 70 | 61 72 6b 79 21 75 75 6e |Path: sp|arky!uun|
|00000010| 65 74 21 7a 61 70 68 6f | 64 2e 6d 70 73 2e 6f 68 |et!zapho|d.mps.oh|
|00000020| 69 6f 2d 73 74 61 74 65 | 2e 65 64 75 21 64 61 72 |io-state|.edu!dar|
|00000030| 77 69 6e 2e 73 75 72 61 | 2e 6e 65 74 21 6a 76 6e |win.sura|.net!jvn|
|00000040| 63 2e 6e 65 74 21 79 61 | 6c 65 2e 65 64 75 21 69 |c.net!ya|le.edu!i|
|00000050| 72 61 2e 75 6b 61 2e 64 | 65 21 75 6b 61 21 72 65 |ra.uka.d|e!uka!re|
|00000060| 69 6e 65 72 0a 46 72 6f | 6d 3a 20 72 65 69 6e 65 |iner.Fro|m: reine|
|00000070| 72 40 69 72 61 2e 75 6b | 61 2e 64 65 20 28 52 65 |r@ira.uk|a.de (Re|
|00000080| 69 6e 65 72 20 48 61 65 | 68 6e 6c 65 29 0a 4e 65 |iner Hae|hnle).Ne|
|00000090| 77 73 67 72 6f 75 70 73 | 3a 20 63 6f 6d 70 2e 74 |wsgroups|: comp.t|
|000000a0| 68 65 6f 72 79 0a 53 75 | 62 6a 65 63 74 3a 20 43 |heory.Su|bject: C|
|000000b0| 46 50 20 57 6f 72 6b 73 | 68 6f 70 20 6f 6e 20 54 |FP Works|hop on T|
|000000c0| 61 62 6c 65 61 75 2d 62 | 61 73 65 64 20 44 65 64 |ableau-b|ased Ded|
|000000d0| 75 63 74 69 6f 6e 20 28 | 55 64 61 74 65 64 2c 4c |uction (|Udated,L|
|000000e0| 61 54 65 58 29 0a 44 61 | 74 65 3a 20 31 32 20 4e |aTeX).Da|te: 12 N|
|000000f0| 6f 76 20 31 39 39 32 20 | 31 30 3a 30 34 3a 34 38 |ov 1992 |10:04:48|
|00000100| 20 47 4d 54 0a 4f 72 67 | 61 6e 69 7a 61 74 69 6f | GMT.Org|anizatio|
|00000110| 6e 3a 20 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |n: Unive|rsity of|
|00000120| 20 4b 61 72 6c 73 72 75 | 68 65 2c 20 43 6f 6d 70 | Karlsru|he, Comp|
|00000130| 2e 20 53 63 2e 20 44 65 | 70 74 2e 2c 20 46 52 47 |. Sc. De|pt., FRG|
|00000140| 0a 4c 69 6e 65 73 3a 20 | 31 38 35 0a 4d 65 73 73 |.Lines: |185.Mess|
|00000150| 61 67 65 2d 49 44 3a 20 | 3c 31 64 74 61 38 30 49 |age-ID: |<1dta80I|
|00000160| 4e 4e 61 73 36 40 69 72 | 61 75 6c 31 2e 69 72 61 |NNas6@ir|aul1.ira|
|00000170| 2e 75 6b 61 2e 64 65 3e | 0a 4e 4e 54 50 2d 50 6f |.uka.de>|.NNTP-Po|
|00000180| 73 74 69 6e 67 2d 48 6f | 73 74 3a 20 69 31 32 73 |sting-Ho|st: i12s|
|00000190| 31 2e 69 72 61 2e 75 6b | 61 2e 64 65 0a 0a 0a 25 |1.ira.uk|a.de...%|
|000001a0| 44 65 61 72 20 43 6f 6c | 6c 65 61 67 75 65 2c 0a |Dear Col|league,.|
|000001b0| 25 0a 25 70 6c 65 61 73 | 65 20 64 69 73 74 72 69 |%.%pleas|e distri|
|000001c0| 62 75 74 65 20 74 68 65 | 20 66 6f 6c 6c 77 6f 69 |bute the| follwoi|
|000001d0| 6e 67 20 43 46 50 20 61 | 73 20 77 69 64 65 6c 79 |ng CFP a|s widely|
|000001e0| 20 61 73 20 70 6f 73 73 | 69 62 6c 65 2e 0a 25 0a | as poss|ible..%.|
|000001f0| 0a 5c 64 6f 63 75 6d 65 | 6e 74 73 74 79 6c 65 5b |.\docume|ntstyle[|
|00000200| 31 31 70 74 5d 7b 61 72 | 74 69 63 6c 65 7d 0a 0a |11pt]{ar|ticle}..|
|00000210| 25 25 20 46 61 6c 6c 73 | 20 77 61 73 79 66 6f 6e |%% Falls| wasyfon|
|00000220| 74 2e 74 65 78 20 76 6f | 72 68 61 6e 64 65 6e 3a |t.tex vo|rhanden:|
|00000230| 0a 25 0a 25 5c 64 65 66 | 5c 73 65 63 6d 61 72 6b |.%.%\def|\secmark|
|00000240| 65 72 7b 5c 63 65 6e 74 | 65 72 6c 69 6e 65 7b 7b |er{\cent|erline{{|
|00000250| 5c 72 61 69 73 65 62 6f | 78 7b 2d 30 2e 36 70 74 |\raisebo|x{-0.6pt|
|00000260| 7d 7b 5c 62 66 20 2d 2d | 2d 7d 5c 68 73 70 61 63 |}{\bf --|-}\hspac|
|00000270| 65 7b 2d 30 2e 32 70 74 | 7d 5c 67 6c 75 6f 6e 5c |e{-0.2pt|}\gluon\|
|00000280| 72 61 69 73 65 62 6f 78 | 7b 2d 30 2e 36 70 74 7d |raisebox|{-0.6pt}|
|00000290| 7b 5c 62 66 20 2d 2d 2d | 7d 7d 7d 7d 0a 25 5c 69 |{\bf ---|}}}}.%\i|
|000002a0| 6e 70 75 74 20 77 61 73 | 79 66 6f 6e 74 0a 25 0a |nput was|yfont.%.|
|000002b0| 25 25 20 41 6e 73 6f 6e | 73 74 65 6e 20 6f 62 69 |%% Anson|sten obi|
|000002c0| 67 65 73 20 61 75 73 6b | 6f 6d 6d 65 6e 74 69 65 |ges ausk|ommentie|
|000002d0| 72 65 6e 20 75 6e 64 20 | 66 6f 6c 67 65 6e 64 65 |ren und |folgende|
|000002e0| 20 5a 65 69 6c 65 20 65 | 69 6e 73 65 74 7a 65 6e | Zeile e|insetzen|
|000002f0| 0a 20 5c 64 65 66 5c 73 | 65 63 6d 61 72 6b 65 72 |. \def\s|ecmarker|
|00000300| 7b 5c 72 65 6c 61 78 7d | 0a 0a 0a 5c 70 61 67 65 |{\relax}|...\page|
|00000310| 73 74 79 6c 65 7b 65 6d | 70 74 79 7d 0a 5c 6e 6f |style{em|pty}.\no|
|00000320| 6e 73 74 6f 70 6d 6f 64 | 65 0a 5c 70 61 72 69 6e |nstopmod|e.\parin|
|00000330| 64 65 6e 74 3d 30 70 74 | 0a 5c 70 61 72 73 6b 69 |dent=0pt|.\parski|
|00000340| 70 3d 35 70 74 5c 74 6f | 70 73 65 70 3d 30 70 74 |p=5pt\to|psep=0pt|
|00000350| 5c 69 74 65 6d 73 65 70 | 3d 30 70 74 0a 0a 5c 74 |\itemsep|=0pt..\t|
|00000360| 65 78 74 68 65 69 67 68 | 74 3d 36 34 30 70 74 0a |extheigh|t=640pt.|
|00000370| 5c 74 65 78 74 77 69 64 | 74 68 3d 34 37 30 70 74 |\textwid|th=470pt|
|00000380| 0a 5c 74 6f 70 6d 61 72 | 67 69 6e 3d 30 70 74 0a |.\topmar|gin=0pt.|
|00000390| 5c 6f 64 64 73 69 64 65 | 6d 61 72 67 69 6e 3d 30 |\oddside|margin=0|
|000003a0| 70 74 0a 5c 65 76 65 6e | 73 69 64 65 6d 61 72 67 |pt.\even|sidemarg|
|000003b0| 69 6e 3d 30 70 74 0a 5c | 61 62 6f 76 65 64 69 73 |in=0pt.\|abovedis|
|000003c0| 70 6c 61 79 73 6b 69 70 | 3d 30 70 74 0a 5c 62 65 |playskip|=0pt.\be|
|000003d0| 6c 6f 77 64 69 73 70 6c | 61 79 73 6b 69 70 3d 30 |lowdispl|ayskip=0|
|000003e0| 70 74 0a 5c 6c 65 66 74 | 6d 61 72 67 69 6e 3d 2e |pt.\left|margin=.|
|000003f0| 34 63 6d 0a 0a 5c 62 65 | 67 69 6e 7b 64 6f 63 75 |4cm..\be|gin{docu|
|00000400| 6d 65 6e 74 7d 0a 0a 5c | 62 69 67 73 6b 69 70 0a |ment}..\|bigskip.|
|00000410| 5c 62 65 67 69 6e 7b 63 | 65 6e 74 65 72 7d 0a 0a |\begin{c|enter}..|
|00000420| 20 7b 5c 6c 61 72 67 65 | 5c 62 66 20 43 61 6c 6c | {\large|\bf Call|
|00000430| 20 66 6f 72 20 53 75 62 | 6d 69 73 73 69 6f 6e 73 | for Sub|missions|
|00000440| 7d 5c 5c 5b 35 6d 6d 5d | 0a 0a 20 7b 5c 4c 61 72 |}\\[5mm]|.. {\Lar|
|00000450| 67 65 5c 62 66 20 57 6f | 72 6b 73 68 6f 70 20 6f |ge\bf Wo|rkshop o|
|00000460| 6e 5c 5c 5b 32 6d 6d 5d | 0a 0a 20 5c 4c 61 72 67 |n\\[2mm]|.. \Larg|
|00000470| 65 5c 62 66 20 54 68 65 | 6f 72 65 6d 20 50 72 6f |e\bf The|orem Pro|
|00000480| 76 69 6e 67 20 0a 20 77 | 69 74 68 20 41 6e 61 6c |ving . w|ith Anal|
|00000490| 79 74 69 63 20 54 61 62 | 6c 65 61 75 78 20 5c 5c |ytic Tab|leaux \\|
|000004a0| 5b 32 6d 6d 5d 0a 0a 20 | 5c 4c 61 72 67 65 5c 62 |[2mm].. |\Large\b|
|000004b0| 66 20 61 6e 64 20 52 65 | 6c 61 74 65 64 20 4d 65 |f and Re|lated Me|
|000004c0| 74 68 6f 64 73 7d 5c 5c | 5b 35 6d 6d 5d 0a 0a 20 |thods}\\|[5mm].. |
|000004d0| 4d 61 72 73 65 69 6c 6c | 65 2c 20 46 72 61 6e 63 |Marseill|e, Franc|
|000004e0| 65 2c 20 20 41 70 72 69 | 6c 20 32 38 2d 2d 33 30 |e,  Apri|l 28--30|
|000004f0| 2c 20 31 39 39 33 20 5c | 76 73 70 61 63 65 7b 34 |, 1993 \|vspace{4|
|00000500| 70 74 7d 0a 5c 65 6e 64 | 7b 63 65 6e 74 65 72 7d |pt}.\end|{center}|
|00000510| 0a 0a 0a 54 68 69 73 20 | 77 6f 72 6b 73 68 6f 70 |...This |workshop|
|00000520| 20 69 73 20 61 20 63 6f | 6e 74 69 6e 75 61 74 69 | is a co|ntinuati|
|00000530| 6f 6e 20 6f 66 20 61 20 | 77 6f 72 6b 73 68 6f 70 |on of a |workshop|
|00000540| 20 6f 6e 20 74 68 65 20 | 73 61 6d 65 20 74 6f 70 | on the |same top|
|00000550| 69 63 20 0a 68 65 6c 64 | 20 69 6e 20 4c 61 75 74 |ic .held| in Laut|
|00000560| 65 6e 62 61 63 68 20 6e | 65 61 72 20 4b 61 72 6c |enbach n|ear Karl|
|00000570| 73 72 75 68 65 20 28 47 | 65 72 6d 61 6e 79 29 20 |sruhe (G|ermany) |
|00000580| 69 6e 20 4d 61 72 63 68 | 20 31 39 39 32 20 74 68 |in March| 1992 th|
|00000590| 61 74 20 68 61 64 0a 72 | 65 6d 61 72 6b 61 62 6c |at had.r|emarkabl|
|000005a0| 65 20 69 6e 74 65 72 6e | 61 74 69 6f 6e 61 6c 20 |e intern|ational |
|000005b0| 70 61 72 74 69 63 69 70 | 61 74 69 6f 6e 5c 66 6f |particip|ation\fo|
|000005c0| 6f 74 6e 6f 74 65 7b 41 | 20 74 65 63 68 6e 69 63 |otnote{A| technic|
|000005d0| 61 6c 20 72 65 70 6f 72 | 74 20 63 6f 6e 74 61 69 |al repor|t contai|
|000005e0| 6e 69 6e 67 20 74 68 65 | 0a 65 78 74 65 6e 64 65 |ning the|.extende|
|000005f0| 64 20 61 62 73 74 72 61 | 63 74 73 20 6f 66 20 74 |d abstra|cts of t|
|00000600| 68 69 73 20 77 6f 72 6b | 73 68 6f 70 20 69 73 20 |his work|shop is |
|00000610| 61 76 61 69 6c 61 62 6c | 65 20 66 72 6f 6d 20 54 |availabl|e from T|
|00000620| 68 6f 6d 61 73 20 4b 5c | 22 61 75 66 6c 2c 20 0a |homas K\|"aufl, .|
|00000630| 49 6e 73 74 2e 7e 66 5c | 22 75 72 20 4c 6f 67 69 |Inst.~f\|"ur Logi|
|00000640| 6b 2c 20 4b 6f 6d 70 6c | 65 78 69 74 5c 22 61 74 |k, Kompl|exit\"at|
|00000650| 20 75 6e 64 20 44 65 64 | 75 6b 74 69 6f 6e 73 73 | und Ded|uktionss|
|00000660| 79 73 74 65 6d 65 2c 20 | 55 6e 69 76 65 72 73 69 |ysteme, |Universi|
|00000670| 74 5c 22 61 74 0a 4b 61 | 72 6c 73 72 75 68 65 2c |t\"at.Ka|rlsruhe,|
|00000680| 20 41 6d 20 46 61 73 61 | 6e 65 6e 67 61 72 74 65 | Am Fasa|nengarte|
|00000690| 6e 20 35 2c 20 37 35 30 | 30 20 4b 61 72 6c 73 72 |n 5, 750|0 Karlsr|
|000006a0| 75 68 65 20 31 2c 20 47 | 65 72 6d 61 6e 79 2c 20 |uhe 1, G|ermany, |
|000006b0| 65 2d 2d 6d 61 69 6c 3a | 20 7b 5c 74 74 20 6b 61 |e--mail:| {\tt ka|
|000006c0| 65 75 66 6c 40 69 72 61 | 2e 75 6b 61 2e 64 65 7d |eufl@ira|.uka.de}|
|000006d0| 2e 7d 2e 0a 0a 5c 73 65 | 63 6d 61 72 6b 65 72 0a |.}...\se|cmarker.|
|000006e0| 5c 73 75 62 73 65 63 74 | 69 6f 6e 2a 7b 54 6f 70 |\subsect|ion*{Top|
|000006f0| 69 63 73 20 6f 66 20 49 | 6e 74 65 72 65 73 74 7d |ics of I|nterest}|
|00000700| 0a 0a 0a 47 69 76 65 6e | 20 74 68 65 20 69 6e 63 |...Given| the inc|
|00000710| 72 65 61 73 65 64 20 69 | 6e 74 65 72 65 73 74 20 |reased i|nterest |
|00000720| 69 6e 20 74 61 62 6c 65 | 61 75 78 2d 62 61 73 65 |in table|aux-base|
|00000730| 64 20 74 68 65 6f 72 65 | 6d 20 70 72 6f 76 69 6e |d theore|m provin|
|00000740| 67 2c 20 74 68 69 73 0a | 77 6f 72 6b 73 68 6f 70 |g, this.|workshop|
|00000750| 20 69 6e 74 65 6e 64 73 | 20 74 6f 20 62 72 69 6e | intends| to brin|
|00000760| 67 20 74 6f 67 65 74 68 | 65 72 20 72 65 73 65 61 |g togeth|er resea|
|00000770| 72 63 68 65 72 73 20 69 | 6e 74 65 72 65 73 74 65 |rchers i|ntereste|
|00000780| 64 0a 69 6e 20 74 68 65 | 20 6d 65 63 68 61 6e 69 |d.in the| mechani|
|00000790| 73 61 74 69 6f 6e 20 6f | 66 20 72 65 61 73 6f 6e |sation o|f reason|
|000007a0| 69 6e 67 20 77 69 74 68 | 20 74 61 62 6c 65 61 75 |ing with| tableau|
|000007b0| 78 20 61 6e 64 20 72 65 | 6c 61 74 65 64 20 73 79 |x and re|lated sy|
|000007c0| 73 74 65 6d 73 2e 0a 42 | 79 20 74 68 69 73 20 77 |stems..B|y this w|
|000007d0| 65 20 69 6e 63 6c 75 64 | 65 20 28 6e 6f 74 20 65 |e includ|e (not e|
|000007e0| 78 63 6c 75 73 69 76 65 | 6c 79 29 3a 0a 0a 5c 62 |xclusive|ly):..\b|
|000007f0| 65 67 69 6e 7b 63 65 6e | 74 65 72 7d 5c 68 73 70 |egin{cen|ter}\hsp|
|00000800| 61 63 65 2a 7b 32 63 6d | 7d 0a 20 20 5c 62 65 67 |ace*{2cm|}.  \beg|
|00000810| 69 6e 7b 74 61 62 75 6c | 61 72 7d 7b 70 7b 36 63 |in{tabul|ar}{p{6c|
|00000820| 6d 7d 70 7b 36 63 6d 7d | 7d 0a 24 5c 62 75 6c 6c |m}p{6cm}|}.$\bull|
|00000830| 65 74 24 20 20 61 6e 61 | 6c 79 74 69 63 20 74 61 |et$  ana|lytic ta|
|00000840| 62 6c 65 61 75 78 0a 26 | 20 24 5c 62 75 6c 6c 65 |bleaux.&| $\bulle|
|00000850| 74 24 20 20 6d 6f 64 65 | 6c 20 65 6c 69 6d 69 6e |t$  mode|l elimin|
|00000860| 61 74 69 6f 6e 5c 5c 0a | 24 5c 62 75 6c 6c 65 74 |ation\\.|$\bullet|
|00000870| 24 20 63 6f 6e 6e 65 63 | 74 69 6f 6e 20 6d 65 74 |$ connec|tion met|
|00000880| 68 6f 64 0a 26 20 24 5c | 62 75 6c 6c 65 74 24 20 |hod.& $\|bullet$ |
|00000890| 6d 61 74 69 6e 67 73 0a | 5c 65 6e 64 7b 74 61 62 |matings.|\end{tab|
|000008a0| 75 6c 61 72 7d 0a 5c 65 | 6e 64 7b 63 65 6e 74 65 |ular}.\e|nd{cente|
|000008b0| 72 7d 5c 6d 65 64 73 6b | 69 70 0a 0a 7b 5c 70 61 |r}\medsk|ip..{\pa|
|000008c0| 72 73 6b 69 70 3d 30 70 | 74 5c 74 6f 70 73 65 70 |rskip=0p|t\topsep|
|000008d0| 3d 30 70 74 5c 69 74 65 | 6d 73 65 70 3d 30 70 74 |=0pt\ite|msep=0pt|
|000008e0| 0a 54 68 65 20 77 6f 72 | 6b 73 68 6f 70 20 68 61 |.The wor|kshop ha|
|000008f0| 73 20 61 20 64 75 61 6c | 20 66 6f 63 75 73 2c 20 |s a dual| focus, |
|00000900| 62 72 69 6e 67 69 6e 67 | 20 74 6f 67 65 74 68 65 |bringing| togethe|
|00000910| 72 0a 5c 62 65 67 69 6e | 7b 69 74 65 6d 69 7a 65 |r.\begin|{itemize|
|00000920| 7d 0a 5c 70 61 72 73 6b | 69 70 3d 30 70 74 5c 74 |}.\parsk|ip=0pt\t|
|00000930| 6f 70 73 65 70 3d 30 70 | 74 5c 69 74 65 6d 73 65 |opsep=0p|t\itemse|
|00000940| 70 3d 30 70 74 0a 5c 69 | 74 65 6d 20 70 65 6f 70 |p=0pt.\i|tem peop|
|00000950| 6c 65 20 77 68 6f 20 64 | 65 76 65 6c 6f 70 20 74 |le who d|evelop t|
|00000960| 61 62 6c 65 61 75 78 2d | 6c 69 6b 65 20 63 61 6c |ableaux-|like cal|
|00000970| 63 75 6c 69 20 66 6f 72 | 0a 20 20 65 76 65 6e 74 |culi for|.  event|
|00000980| 75 61 6c 20 69 6d 70 6c | 65 6d 65 6e 74 61 74 69 |ual impl|ementati|
|00000990| 6f 6e 20 6f 6e 20 63 6f | 6d 70 75 74 65 72 73 20 |on on co|mputers |
|000009a0| 61 6e 64 0a 5c 69 74 65 | 6d 20 70 65 6f 70 6c 65 |and.\ite|m people|
|000009b0| 20 77 68 6f 20 61 6c 72 | 65 61 64 79 20 61 72 65 | who alr|eady are|
|000009c0| 20 69 6e 76 6f 6c 76 65 | 64 20 69 6e 20 74 68 65 | involve|d in the|
|000009d0| 20 70 72 61 63 74 69 63 | 61 6c 20 69 6d 70 6c 65 | practic|al imple|
|000009e0| 6d 65 6e 74 61 74 69 6f | 6e 20 6f 66 0a 20 20 20 |mentatio|n of.   |
|000009f0| 74 61 62 6c 65 61 75 78 | 2d 6c 69 6b 65 20 63 61 |tableaux|-like ca|
|00000a00| 6c 63 75 6c 69 2e 20 0a | 5c 65 6e 64 7b 69 74 65 |lculi. .|\end{ite|
|00000a10| 6d 69 7a 65 7d 0a 48 65 | 6e 63 65 2c 20 74 68 65 |mize}.He|nce, the|
|00000a20| 20 66 6f 63 75 73 20 69 | 6e 63 6c 75 64 65 73 20 | focus i|ncludes |
|00000a30| 62 6f 74 68 20 74 68 65 | 6f 72 65 74 69 63 61 6c |both the|oretical|
|00000a40| 20 77 6f 72 6b 20 61 6e | 64 0a 74 68 65 20 70 72 | work an|d.the pr|
|00000a50| 65 73 65 6e 74 61 74 69 | 6f 6e 20 6f 66 20 69 6d |esentati|on of im|
|00000a60| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 20 74 65 63 |plementa|tion tec|
|00000a70| 68 6e 69 71 75 65 73 20 | 61 6e 64 20 72 65 6c 61 |hniques |and rela|
|00000a80| 74 65 64 0a 70 72 61 63 | 74 69 63 61 6c 20 65 78 |ted.prac|tical ex|
|00000a90| 70 65 72 69 65 6e 63 65 | 2e 7d 0a 57 65 20 61 72 |perience|.}.We ar|
|00000aa0| 65 20 70 61 72 74 69 63 | 75 6c 61 72 6c 79 20 69 |e partic|ularly i|
|00000ab0| 6e 74 65 72 65 73 74 65 | 64 20 69 6e 20 70 72 65 |ntereste|d in pre|
|00000ac0| 73 65 6e 74 61 74 69 6f | 6e 73 20 6f 66 20 70 72 |sentatio|ns of pr|
|00000ad0| 6f 76 65 72 73 20 61 6c | 72 65 61 64 79 0a 75 73 |overs al|ready.us|
|00000ae0| 65 64 20 69 6e 20 61 70 | 70 6c 69 63 61 74 69 6f |ed in ap|plicatio|
|00000af0| 6e 73 20 6f 72 20 64 65 | 76 65 6c 6f 70 65 64 20 |ns or de|veloped |
|00000b00| 77 69 74 68 20 61 70 70 | 6c 69 63 61 74 69 6f 6e |with app|lication|
|00000b10| 73 20 69 6e 20 6d 69 6e | 64 2e 20 0a 54 61 6c 6b |s in min|d. .Talk|
|00000b20| 73 20 61 62 6f 75 74 20 | 74 68 65 6f 72 65 6d 20 |s about |theorem |
|00000b30| 70 72 6f 76 69 6e 67 20 | 69 6e 20 6e 6f 6e 2d 63 |proving |in non-c|
|00000b40| 6c 61 73 73 69 63 61 6c | 20 6c 6f 67 69 63 73 20 |lassical| logics |
|00000b50| 61 72 65 20 61 6c 73 6f | 20 77 65 6c 63 6f 6d 65 |are also| welcome|
|00000b60| 2e 0a 0a 0a 5c 73 65 63 | 6d 61 72 6b 65 72 0a 0a |....\sec|marker..|
|00000b70| 5c 73 75 62 73 65 63 74 | 69 6f 6e 2a 7b 53 75 62 |\subsect|ion*{Sub|
|00000b80| 6d 69 73 73 69 6f 6e 20 | 6f 66 20 50 61 70 65 72 |mission |of Paper|
|00000b90| 73 7d 0a 0a 0a 41 75 74 | 68 6f 72 73 20 61 72 65 |s}...Aut|hors are|
|00000ba0| 20 69 6e 76 69 74 65 64 | 20 74 6f 20 73 75 62 6d | invited| to subm|
|00000bb0| 69 74 20 34 20 63 6f 70 | 69 65 73 20 6f 66 20 61 |it 4 cop|ies of a|
|00000bc0| 6e 20 65 78 74 65 6e 64 | 65 64 20 61 62 73 74 72 |n extend|ed abstr|
|00000bd0| 61 63 74 20 6f 66 20 0a | 61 62 6f 75 74 20 74 68 |act of .|about th|
|00000be0| 72 65 65 20 70 61 67 65 | 73 20 6f 72 20 61 20 66 |ree page|s or a f|
|00000bf0| 75 6c 6c 20 70 61 70 65 | 72 20 28 61 62 6f 75 74 |ull pape|r (about|
|00000c00| 20 35 30 30 30 20 77 6f | 72 64 73 29 20 69 6e 20 | 5000 wo|rds) in |
|00000c10| 45 6e 67 6c 69 73 68 20 | 62 65 66 6f 72 65 5c 5c |English |before\\|
|00000c20| 0a 5c 63 65 6e 74 65 72 | 6c 69 6e 65 7b 7b 5c 62 |.\center|line{{\b|
|00000c30| 66 20 4e 6f 76 65 6d 62 | 65 72 20 33 30 2c 20 31 |f Novemb|er 30, 1|
|00000c40| 39 39 32 7d 7d 5c 5c 5b | 31 65 78 5d 0a 74 6f 20 |992}}\\[|1ex].to |
|00000c50| 20 52 65 69 6e 65 72 20 | 48 5c 22 61 68 6e 6c 65 | Reiner |H\"ahnle|
|00000c60| 2e 0a 54 68 65 20 73 75 | 62 6d 69 74 74 65 64 20 |..The su|bmitted |
|00000c70| 70 61 70 65 72 73 20 6e | 65 65 64 20 6e 6f 74 20 |papers n|eed not |
|00000c80| 74 6f 20 62 65 20 6f 72 | 69 67 69 6e 61 6c 3b 20 |to be or|iginal; |
|00000c90| 70 6c 65 61 73 65 20 69 | 6e 64 69 63 61 74 65 0a |please i|ndicate.|
|00000ca0| 69 66 20 79 6f 75 72 20 | 73 75 62 6d 69 73 73 69 |if your |submissi|
|00000cb0| 6f 6e 20 69 73 20 61 6c | 72 65 61 64 79 20 70 75 |on is al|ready pu|
|00000cc0| 62 6c 69 73 68 65 64 20 | 6f 72 20 73 75 62 6d 69 |blished |or submi|
|00000cd0| 74 74 65 64 20 65 6c 73 | 65 77 68 65 72 65 2e 20 |tted els|ewhere. |
|00000ce0| 41 6c 6c 0a 70 61 70 65 | 72 73 20 77 69 6c 6c 20 |All.pape|rs will |
|00000cf0| 62 65 20 72 65 66 65 72 | 65 65 64 20 62 79 0a 74 |be refer|eed by.t|
|00000d00| 68 65 20 70 72 6f 67 72 | 61 6d 20 63 6f 6d 6d 69 |he progr|am commi|
|00000d10| 74 74 65 65 20 61 6e 64 | 20 61 6c 6c 20 73 65 6c |ttee and| all sel|
|00000d20| 65 63 74 65 64 20 61 62 | 73 74 72 61 63 74 73 2f |ected ab|stracts/|
|00000d30| 70 61 70 65 72 73 20 77 | 69 6c 6c 20 62 65 0a 70 |papers w|ill be.p|
|00000d40| 75 62 6c 69 73 68 65 64 | 20 61 73 20 61 20 74 65 |ublished| as a te|
|00000d50| 63 68 6e 69 63 61 6c 20 | 72 65 70 6f 72 74 2e 0a |chnical |report..|
|00000d60| 0a 7b 5c 65 6d 20 20 54 | 68 65 20 70 72 6f 67 72 |.{\em  T|he progr|
|00000d70| 61 6d 20 63 6f 6d 6d 69 | 74 74 65 65 20 77 69 6c |am commi|ttee wil|
|00000d80| 6c 20 70 72 6f 70 6f 73 | 65 0a 73 65 6c 65 63 74 |l propos|e.select|
|00000d90| 65 64 20 70 61 70 65 72 | 73 20 66 6f 72 20 70 75 |ed paper|s for pu|
|00000da0| 62 6c 69 63 61 74 69 6f | 6e 20 69 6e 20 61 20 73 |blicatio|n in a s|
|00000db0| 70 65 63 69 61 6c 0a 65 | 64 69 74 69 6f 6e 20 6f |pecial.e|dition o|
|00000dc0| 66 20 74 68 65 20 4a 6f | 75 72 6e 61 6c 20 6f 66 |f the Jo|urnal of|
|00000dd0| 20 41 75 74 6f 6d 61 74 | 65 64 20 52 65 61 73 6f | Automat|ed Reaso|
|00000de0| 6e 69 6e 67 2e 7d 0a 0a | 5c 73 65 63 6d 61 72 6b |ning.}..|\secmark|
|00000df0| 65 72 5c 76 66 69 6c 6c | 0a 0a 5c 73 75 62 73 65 |er\vfill|..\subse|
|00000e00| 63 74 69 6f 6e 2a 7b 46 | 75 72 74 68 65 72 20 49 |ction*{F|urther I|
|00000e10| 6e 66 6f 72 6d 61 74 69 | 6f 6e 7d 0a 0a 0a 54 68 |nformati|on}...Th|
|00000e20| 65 20 63 6f 6e 66 65 72 | 65 6e 63 65 20 6c 61 6e |e confer|ence lan|
|00000e30| 67 75 61 67 65 20 69 73 | 20 45 6e 67 6c 69 73 68 |guage is| English|
|00000e40| 20 61 6e 64 20 70 72 65 | 73 65 6e 74 61 74 69 6f | and pre|sentatio|
|00000e50| 6e 73 20 73 68 6f 75 6c | 64 20 6e 6f 74 20 65 78 |ns shoul|d not ex|
|00000e60| 63 65 65 64 0a 32 35 20 | 6d 69 6e 75 74 65 73 2e |ceed.25 |minutes.|
|00000e70| 20 20 45 61 63 68 20 74 | 61 6c 6b 20 77 69 6c 6c |  Each t|alk will|
|00000e80| 20 62 65 20 66 6f 6c 6c | 6f 77 65 64 20 62 79 20 | be foll|owed by |
|00000e90| 61 20 64 69 73 63 75 73 | 73 69 6f 6e 20 6f 66 20 |a discus|sion of |
|00000ea0| 31 30 20 6d 69 6e 75 74 | 65 73 2e 0a 54 68 65 20 |10 minut|es..The |
|00000eb0| 77 6f 72 6b 73 68 6f 70 | 20 69 73 20 70 6c 61 6e |workshop| is plan|
|00000ec0| 6e 65 64 20 66 6f 72 20 | 61 74 20 6d 6f 73 74 20 |ned for |at most |
|00000ed0| 33 30 20 74 61 6c 6b 73 | 2e 20 20 4e 6f 74 69 66 |30 talks|.  Notif|
|00000ee0| 69 63 61 74 69 6f 6e 20 | 6f 66 0a 61 63 63 65 70 |ication |of.accep|
|00000ef0| 74 61 6e 63 65 20 77 69 | 6c 6c 20 62 65 20 73 65 |tance wi|ll be se|
|00000f00| 6e 74 20 62 79 20 74 68 | 65 20 6d 69 64 64 6c 65 |nt by th|e middle|
|00000f10| 20 6f 66 20 46 65 62 72 | 75 61 72 79 20 31 39 39 | of Febr|uary 199|
|00000f20| 33 2e 20 43 6f 6d 70 75 | 74 65 72 73 20 77 69 6c |3. Compu|ters wil|
|00000f30| 6c 0a 62 65 20 61 76 61 | 69 6c 61 62 6c 65 20 61 |l.be ava|ilable a|
|00000f40| 74 20 74 68 65 20 77 6f | 72 6b 73 68 6f 70 20 73 |t the wo|rkshop s|
|00000f50| 69 74 65 2e 20 43 6f 6e | 74 61 63 74 20 43 61 6d |ite. Con|tact Cam|
|00000f60| 69 6c 6c 61 20 53 63 68 | 77 69 6e 64 20 20 66 6f |illa Sch|wind  fo|
|00000f70| 72 20 64 65 74 61 69 6c | 73 2e 5c 62 69 67 73 6b |r detail|s.\bigsk|
|00000f80| 69 70 0a 0a 0a 5c 73 65 | 63 6d 61 72 6b 65 72 0a |ip...\se|cmarker.|
|00000f90| 0a 25 0a 7b 5c 62 66 20 | 57 6f 72 6b 73 68 6f 70 |.%.{\bf |Workshop|
|00000fa0| 20 66 65 65 73 3a 7d 20 | 46 46 20 36 30 30 20 28 | fees:} |FF 600 (|
|00000fb0| 61 70 70 72 6f 78 69 6d | 61 74 65 6c 79 20 55 53 |approxim|ately US|
|00000fc0| 20 5c 24 20 31 32 30 29 | 5c 5c 5b 32 65 78 5d 0a | \$ 120)|\\[2ex].|
|00000fd0| 5c 70 61 72 62 6f 78 5b | 74 5d 7b 38 63 6d 7d 7b |\parbox[|t]{8cm}{|
|00000fe0| 0a 7b 5c 62 66 20 50 72 | 6f 67 72 61 6d 20 43 6f |.{\bf Pr|ogram Co|
|00000ff0| 6d 6d 69 74 74 65 65 7d | 20 5c 6d 65 64 73 6b 69 |mmittee}| \medski|
|00001000| 70 5c 5c 0a 44 61 76 69 | 64 20 42 61 73 69 6e 2c |p\\.Davi|d Basin,|
|00001010| 20 4d 50 49 20 53 61 61 | 72 62 72 5c 22 75 63 6b | MPI Saa|rbr\"uck|
|00001020| 65 6e 5c 5c 0a 42 65 72 | 74 72 61 6d 20 46 72 6f |en\\.Ber|tram Fro|
|00001030| 6e 68 5c 22 6f 66 65 72 | 2c 20 54 55 20 4d 75 6e |nh\"ofer|, TU Mun|
|00001040| 69 63 68 5c 5c 0a 4d 61 | 73 61 79 75 6b 69 20 46 |ich\\.Ma|sayuki F|
|00001050| 75 6a 69 74 61 2c 20 4d | 69 74 73 75 62 69 73 68 |ujita, M|itsubish|
|00001060| 69 20 49 6e 63 2e 5c 5c | 0a 52 65 69 6e 65 72 20 |i Inc.\\|.Reiner |
|00001070| 48 5c 22 61 68 6e 6c 65 | 2c 20 55 6e 69 76 65 72 |H\"ahnle|, Univer|
|00001080| 73 69 74 79 20 4b 61 72 | 6c 73 72 75 68 65 5c 5c |sity Kar|lsruhe\\|
|00001090| 0a 54 68 6f 6d 61 73 20 | 4b 5c 22 61 75 66 6c 2c |.Thomas |K\"aufl,|
|000010a0| 20 55 6e 69 76 65 72 73 | 69 74 79 20 4b 61 72 6c | Univers|ity Karl|
|000010b0| 73 72 75 68 65 5c 5c 0a | 44 6f 6e 20 4c 6f 76 65 |sruhe\\.|Don Love|
|000010c0| 6c 61 6e 64 2c 20 44 75 | 6b 65 20 55 6e 69 76 65 |land, Du|ke Unive|
|000010d0| 72 73 69 74 79 5c 5c 0a | 4e 65 69 6c 20 4d 75 72 |rsity\\.|Neil Mur|
|000010e0| 72 61 79 2c 20 55 6e 69 | 76 65 72 73 69 74 79 20 |ray, Uni|versity |
|000010f0| 61 74 20 41 6c 62 61 6e | 79 20 5c 5c 0a 4a 6f 61 |at Alban|y \\.Joa|
|00001100| 63 68 69 6d 20 50 6f 73 | 65 67 67 61 2c 20 55 6e |chim Pos|egga, Un|
|00001110| 69 76 65 72 73 69 74 79 | 20 4b 61 72 6c 73 72 75 |iversity| Karlsru|
|00001120| 68 65 5c 5c 0a 50 65 74 | 65 72 20 53 63 68 6d 69 |he\\.Pet|er Schmi|
|00001130| 74 74 2c 20 55 6e 69 76 | 65 72 73 69 74 79 20 4b |tt, Univ|ersity K|
|00001140| 61 72 6c 73 72 75 68 65 | 5c 5c 0a 43 61 6d 69 6c |arlsruhe|\\.Camil|
|00001150| 6c 61 20 53 63 68 77 69 | 6e 64 2c 20 43 4e 52 53 |la Schwi|nd, CNRS|
|00001160| 20 2d 2d 20 47 49 41 2c | 20 4d 61 72 73 65 69 6c | -- GIA,| Marseil|
|00001170| 6c 65 5c 5c 0a 47 72 61 | 68 61 6d 20 57 72 69 67 |le\\.Gra|ham Wrig|
|00001180| 68 74 73 6f 6e 2c 20 4e | 65 77 63 61 73 74 6c 65 |htson, N|ewcastle|
|00001190| 20 55 6e 69 76 65 72 73 | 69 74 79 7d 5c 68 66 69 | Univers|ity}\hfi|
|000011a0| 6c 6c 0a 5c 70 61 72 62 | 6f 78 5b 74 5d 7b 38 63 |ll.\parb|ox[t]{8c|
|000011b0| 6d 7d 7b 0a 7b 5c 62 66 | 20 49 6e 76 69 74 65 64 |m}{.{\bf| Invited|
|000011c0| 20 73 70 65 61 6b 65 72 | 73 3a 20 7d 5c 6d 65 64 | speaker|s: }\med|
|000011d0| 73 6b 69 70 5c 5c 0a 4d | 65 6c 76 69 6e 20 46 69 |skip\\.M|elvin Fi|
|000011e0| 74 74 69 6e 67 2c 20 43 | 55 4e 59 5c 5c 0a 4d 61 |tting, C|UNY\\.Ma|
|000011f0| 72 6b 20 53 74 69 63 6b | 65 6c 2c 20 53 52 49 20 |rk Stick|el, SRI |
|00001200| 49 6e 74 65 72 6e 61 74 | 69 6f 6e 61 6c 5c 76 73 |Internat|ional\vs|
|00001210| 70 61 63 65 7b 37 2e 34 | 65 78 7d 5c 5c 0a 7b 5c |pace{7.4|ex}\\.{\|
|00001220| 62 66 20 4f 72 67 61 6e | 69 73 69 6e 67 20 43 6f |bf Organ|ising Co|
|00001230| 6d 6d 69 74 74 65 65 7d | 5c 6d 65 64 73 6b 69 70 |mmittee}|\medskip|
|00001240| 5c 5c 0a 43 61 6d 69 6c | 6c 61 20 53 63 68 77 69 |\\.Camil|la Schwi|
|00001250| 6e 64 2c 20 43 4e 52 53 | 20 2d 2d 20 47 49 41 2c |nd, CNRS| -- GIA,|
|00001260| 20 4d 61 72 73 65 69 6c | 6c 65 5c 5c 0a 42 65 72 | Marseil|le\\.Ber|
|00001270| 74 72 61 6d 20 46 72 6f | 6e 68 5c 22 6f 66 65 72 |tram Fro|nh\"ofer|
|00001280| 2c 20 54 55 20 4d 75 6e | 69 63 68 5c 5c 0a 52 65 |, TU Mun|ich\\.Re|
|00001290| 69 6e 65 72 20 48 5c 22 | 61 68 6e 6c 65 2c 20 55 |iner H\"|ahnle, U|
|000012a0| 6e 69 76 65 72 73 69 74 | 79 20 4b 61 72 6c 73 72 |niversit|y Karlsr|
|000012b0| 75 68 65 5c 5c 0a 4a 6f | 61 63 68 69 6d 20 50 6f |uhe\\.Jo|achim Po|
|000012c0| 73 65 67 67 61 2c 20 55 | 6e 69 76 65 72 73 69 74 |segga, U|niversit|
|000012d0| 79 20 4b 61 72 6c 73 72 | 75 68 65 5c 5c 0a 44 61 |y Karlsr|uhe\\.Da|
|000012e0| 76 69 64 20 42 61 73 69 | 6e 2c 20 4d 50 49 20 53 |vid Basi|n, MPI S|
|000012f0| 61 61 72 62 72 5c 22 75 | 63 6b 65 6e 7d 5c 62 69 |aarbr\"u|cken}\bi|
|00001300| 67 73 6b 69 70 0a 0a 0a | 5c 73 65 63 6d 61 72 6b |gskip...|\secmark|
|00001310| 65 72 0a 0a 5c 73 75 62 | 73 65 63 74 69 6f 6e 2a |er..\sub|section*|
|00001320| 7b 57 6f 72 6b 73 68 6f | 70 20 41 64 64 72 65 73 |{Worksho|p Addres|
|00001330| 73 65 73 7d 0a 0a 5c 70 | 61 72 62 6f 78 5b 74 5d |ses}..\p|arbox[t]|
|00001340| 7b 38 63 6d 7d 7b 25 0a | 7b 5c 65 6d 20 53 75 62 |{8cm}{%.|{\em Sub|
|00001350| 6d 69 73 73 69 6f 6e 73 | 2c 20 63 6f 6e 66 65 72 |missions|, confer|
|00001360| 65 6e 63 65 20 64 65 74 | 61 69 6c 73 3a 7d 5c 5c |ence det|ails:}\\|
|00001370| 5b 32 6d 6d 5d 0a 25 0a | 7b 5c 62 66 20 52 65 69 |[2mm].%.|{\bf Rei|
|00001380| 6e 65 72 20 48 5c 22 61 | 68 6e 6c 65 7d 5c 5c 0a |ner H\"a|hnle}\\.|
|00001390| 49 6e 73 74 69 74 75 74 | 20 66 5c 22 75 72 20 4c |Institut| f\"ur L|
|000013a0| 6f 67 69 6b 2c 20 4b 6f | 6d 70 6c 65 78 69 74 5c |ogik, Ko|mplexit\|
|000013b0| 22 61 74 5c 5c 20 0a 75 | 6e 64 20 44 65 64 75 6b |"at\\ .u|nd Deduk|
|000013c0| 74 69 6f 6e 73 73 79 73 | 74 65 6d 65 5c 5c 20 20 |tionssys|teme\\  |
|000013d0| 0a 55 6e 69 76 65 72 73 | 69 74 5c 22 61 74 20 4b |.Univers|it\"at K|
|000013e0| 61 72 6c 73 72 75 68 65 | 5c 5c 20 0a 41 6d 20 46 |arlsruhe|\\ .Am F|
|000013f0| 61 73 61 6e 65 6e 67 61 | 72 74 65 6e 20 35 5c 5c |asanenga|rten 5\\|
|00001400| 20 20 0a 37 35 30 30 20 | 4b 61 72 6c 73 72 75 68 |  .7500 |Karlsruh|
|00001410| 65 20 31 2c 20 0a 47 65 | 72 6d 61 6e 79 5c 5c 5b |e 1, .Ge|rmany\\[|
|00001420| 31 6d 6d 5d 0a 46 61 78 | 3a 20 24 7b 5c 73 63 72 |1mm].Fax|: ${\scr|
|00001430| 69 70 74 73 74 79 6c 65 | 20 2b 2b 7d 34 39 2d 37 |iptstyle| ++}49-7|
|00001440| 32 31 2d 36 39 7e 37 37 | 7e 36 30 24 5c 5c 0a 50 |21-69~77|~60$\\.P|
|00001450| 68 6f 6e 65 3a 5c 2c 20 | 24 7b 5c 73 63 72 69 70 |hone:\, |${\scrip|
|00001460| 74 73 74 79 6c 65 20 2b | 2b 7d 34 39 2d 37 32 31 |tstyle +|+}49-721|
|00001470| 2d 36 30 38 2d 34 33 7e | 32 39 24 5c 5c 0a 45 6d |-608-43~|29$\\.Em|
|00001480| 61 69 6c 3a 20 7b 5c 74 | 74 20 72 65 69 6e 65 72 |ail: {\t|t reiner|
|00001490| 7d 40 7b 5c 74 74 20 69 | 72 61 2e 75 6b 61 2e 64 |}@{\tt i|ra.uka.d|
|000014a0| 65 7d 7d 0a 5c 68 66 69 | 6c 6c 0a 5c 70 61 72 62 |e}}.\hfi|ll.\parb|
|000014b0| 6f 78 5b 74 5d 7b 38 63 | 6d 7d 7b 25 0a 7b 5c 65 |ox[t]{8c|m}{%.{\e|
|000014c0| 6d 20 4c 6f 63 61 6c 20 | 61 72 72 61 6e 67 65 6d |m Local |arrangem|
|000014d0| 65 6e 74 73 3a 7d 5c 5c | 5b 32 6d 6d 5d 20 0a 25 |ents:}\\|[2mm] .%|
|000014e0| 0a 7b 5c 62 66 20 43 61 | 6d 69 6c 6c 61 20 53 63 |.{\bf Ca|milla Sc|
|000014f0| 68 77 69 6e 64 7d 20 5c | 5c 0a 44 5c 27 65 70 2e |hwind} \|\.D\'ep.|
|00001500| 20 64 27 49 6e 66 6f 72 | 6d 61 74 69 71 75 65 5c | d'Infor|matique\|
|00001510| 5c 0a 46 61 63 2e 20 64 | 65 73 20 53 63 69 65 6e |\.Fac. d|es Scien|
|00001520| 63 65 73 20 64 65 20 4c | 75 6d 69 6e 79 5c 5c 0a |ces de L|uminy\\.|
|00001530| 31 36 33 2c 20 61 76 2e | 7e 64 65 20 4c 75 6d 69 |163, av.|~de Lumi|
|00001540| 6e 79 20 2d 2d 20 43 61 | 73 65 20 39 30 31 5c 5c |ny -- Ca|se 901\\|
|00001550| 0a 31 33 32 38 38 20 4d | 61 72 73 65 69 6c 6c 65 |.13288 M|arseille|
|00001560| 20 43 65 64 65 78 20 39 | 2c 0a 46 72 61 6e 63 65 | Cedex 9|,.France|
|00001570| 20 5c 5c 5b 31 6d 6d 5d | 0a 46 61 78 3a 20 24 7b | \\[1mm]|.Fax: ${|
|00001580| 5c 73 63 72 69 70 74 73 | 74 79 6c 65 20 2b 2b 7d |\scripts|tyle ++}|
|00001590| 33 33 2d 39 31 7e 32 36 | 7e 39 32 7e 37 35 24 5c |33-91~26|~92~75$\|
|000015a0| 5c 0a 50 68 6f 6e 65 3a | 5c 2c 24 7b 5c 73 63 72 |\.Phone:|\,${\scr|
|000015b0| 69 70 74 73 74 79 6c 65 | 20 2b 2b 7d 33 33 2d 39 |iptstyle| ++}33-9|
|000015c0| 31 7e 32 36 7e 39 30 7e | 37 30 24 5c 5c 0a 45 6d |1~26~90~|70$\\.Em|
|000015d0| 61 69 6c 3a 20 7b 5c 74 | 74 20 73 63 68 77 69 6e |ail: {\t|t schwin|
|000015e0| 64 7d 40 7b 5c 74 74 20 | 67 69 61 2e 75 6e 69 76 |d}@{\tt |gia.univ|
|000015f0| 2d 6d 72 73 2e 66 72 7d | 7d 0a 0a 5c 65 6e 64 7b |-mrs.fr}|}..\end{|
|00001600| 64 6f 63 75 6d 65 6e 74 | 7d 0a 0a 0a             |document|}...    |
+--------+-------------------------+-------------------------+--------+--------+