/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1719

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 58 72 65 66 3a 20 73 70 | 61 72 6b 79 20 73 63 69 |Xref: sp|arky sci|
|00000010| 2e 6c 6f 67 69 63 3a 31 | 37 31 39 20 73 63 69 2e |.logic:1|719 sci.|
|00000020| 6d 61 74 68 3a 31 33 32 | 35 30 20 63 6f 6d 70 2e |math:132|50 comp.|
|00000030| 74 68 65 6f 72 79 3a 32 | 31 39 34 20 73 63 69 2e |theory:2|194 sci.|
|00000040| 70 68 69 6c 6f 73 6f 70 | 68 79 2e 6d 65 74 61 3a |philosop|hy.meta:|
|00000050| 32 31 34 36 20 63 6f 6d | 70 2e 61 69 2e 70 68 69 |2146 com|p.ai.phi|
|00000060| 6c 6f 73 6f 70 68 79 3a | 36 34 35 34 0a 4e 65 77 |losophy:|6454.New|
|00000070| 73 67 72 6f 75 70 73 3a | 20 73 63 69 2e 6c 6f 67 |sgroups:| sci.log|
|00000080| 69 63 2c 73 63 69 2e 6d | 61 74 68 2c 63 6f 6d 70 |ic,sci.m|ath,comp|
|00000090| 2e 74 68 65 6f 72 79 2c | 73 63 69 2e 70 68 69 6c |.theory,|sci.phil|
|000000a0| 6f 73 6f 70 68 79 2c 73 | 63 69 2e 70 68 69 6c 6f |osophy,s|ci.philo|
|000000b0| 73 6f 70 68 79 2e 6d 65 | 74 61 2c 63 6f 6d 70 2e |sophy.me|ta,comp.|
|000000c0| 61 69 2e 70 68 69 6c 6f | 73 6f 70 68 79 0a 50 61 |ai.philo|sophy.Pa|
|000000d0| 74 68 3a 20 73 70 61 72 | 6b 79 21 75 75 6e 65 74 |th: spar|ky!uunet|
|000000e0| 21 65 6d 61 69 6c 21 6d | 69 70 73 2e 63 6f 6d 70 |!email!m|ips.comp|
|000000f0| 6c 61 6e 67 2e 74 75 77 | 69 65 6e 2e 61 63 2e 61 |lang.tuw|ien.ac.a|
|00000100| 74 21 72 7a 0a 46 72 6f | 6d 3a 20 72 7a 40 6d 69 |t!rz.Fro|m: rz@mi|
|00000110| 70 73 2e 63 6f 6d 70 6c | 61 6e 67 2e 74 75 77 69 |ps.compl|ang.tuwi|
|00000120| 65 6e 2e 61 63 2e 61 74 | 20 28 52 69 63 68 61 72 |en.ac.at| (Richar|
|00000130| 64 20 5a 61 63 68 29 0a | 53 75 62 6a 65 63 74 3a |d Zach).|Subject:|
|00000140| 20 43 66 50 3a 20 43 6f | 6d 70 75 74 61 74 69 6f | CfP: Co|mputatio|
|00000150| 6e 61 6c 20 4c 6f 67 69 | 63 20 61 6e 64 20 50 72 |nal Logi|c and Pr|
|00000160| 6f 6f 66 20 54 68 65 6f | 72 79 20 28 4c 61 54 65 |oof Theo|ry (LaTe|
|00000170| 58 29 0a 4d 65 73 73 61 | 67 65 2d 49 44 3a 20 3c |X).Messa|ge-ID: <|
|00000180| 31 39 39 32 4f 63 74 31 | 35 2e 31 36 31 33 34 30 |1992Oct1|5.161340|
|00000190| 2e 36 31 35 35 40 65 6d | 61 69 6c 2e 74 75 77 69 |.6155@em|ail.tuwi|
|000001a0| 65 6e 2e 61 63 2e 61 74 | 3e 0a 46 6f 6c 6c 6f 77 |en.ac.at|>.Follow|
|000001b0| 75 70 2d 54 6f 3a 20 70 | 6f 73 74 65 72 0a 53 65 |up-To: p|oster.Se|
|000001c0| 6e 64 65 72 3a 20 6e 65 | 77 73 40 65 6d 61 69 6c |nder: ne|ws@email|
|000001d0| 2e 74 75 77 69 65 6e 2e | 61 63 2e 61 74 0a 4e 6e |.tuwien.|ac.at.Nn|
|000001e0| 74 70 2d 50 6f 73 74 69 | 6e 67 2d 48 6f 73 74 3a |tp-Posti|ng-Host:|
|000001f0| 20 6d 69 70 73 2e 63 6f | 6d 70 6c 61 6e 67 2e 74 | mips.co|mplang.t|
|00000200| 75 77 69 65 6e 2e 61 63 | 2e 61 74 0a 52 65 70 6c |uwien.ac|.at.Repl|
|00000210| 79 2d 54 6f 3a 20 6b 67 | 73 40 63 73 64 65 63 31 |y-To: kg|s@csdec1|
|00000220| 2e 74 75 77 69 65 6e 2e | 61 63 2e 61 74 0a 4f 72 |.tuwien.|ac.at.Or|
|00000230| 67 61 6e 69 7a 61 74 69 | 6f 6e 3a 20 54 65 63 68 |ganizati|on: Tech|
|00000240| 6e 69 73 63 68 65 20 55 | 6e 69 76 65 72 73 69 74 |nische U|niversit|
|00000250| 22 61 74 20 57 69 65 6e | 0a 44 61 74 65 3a 20 54 |"at Wien|.Date: T|
|00000260| 68 75 2c 20 31 35 20 4f | 63 74 20 31 39 39 32 20 |hu, 15 O|ct 1992 |
|00000270| 31 36 3a 31 33 3a 34 30 | 20 47 4d 54 0a 4c 69 6e |16:13:40| GMT.Lin|
|00000280| 65 73 3a 20 31 31 37 0a | 0a 25 20 54 68 69 73 20 |es: 117.|.% This |
|00000290| 69 73 20 74 68 65 20 43 | 61 6c 6c 20 66 6f 72 20 |is the C|all for |
|000002a0| 50 61 70 65 72 73 20 66 | 6f 72 20 74 68 65 20 33 |Papers f|or the 3|
|000002b0| 72 64 0a 25 20 4b 75 72 | 74 20 47 22 6f 64 65 6c |rd.% Kur|t G"odel|
|000002c0| 20 43 6f 6c 6c 6f 71 75 | 69 75 6d 3a 20 43 6f 6d | Colloqu|ium: Com|
|000002d0| 70 75 74 61 74 69 6f 6e | 61 6c 20 4c 6f 67 69 63 |putation|al Logic|
|000002e0| 20 61 6e 64 20 50 72 6f | 6f 66 20 54 68 65 6f 72 | and Pro|of Theor|
|000002f0| 79 0a 25 20 69 6e 20 4c | 61 54 65 58 20 66 6f 72 |y.% in L|aTeX for|
|00000300| 6d 61 74 2e 0a 0a 25 20 | 50 6c 65 61 73 65 20 70 |mat...% |Please p|
|00000310| 6f 73 74 20 61 6e 64 20 | 64 69 73 74 72 69 62 75 |ost and |distribu|
|00000320| 74 65 20 77 69 64 65 6c | 79 0a 0a 0a 5c 64 6f 63 |te widel|y...\doc|
|00000330| 75 6d 65 6e 74 73 74 79 | 6c 65 5b 31 31 70 74 2c |umentsty|le[11pt,|
|00000340| 66 75 6c 6c 70 61 67 65 | 5d 7b 61 72 74 69 63 6c |fullpage|]{articl|
|00000350| 65 7d 0a 5c 70 61 67 65 | 73 74 79 6c 65 7b 65 6d |e}.\page|style{em|
|00000360| 70 74 79 7d 0a 5c 62 65 | 67 69 6e 7b 64 6f 63 75 |pty}.\be|gin{docu|
|00000370| 6d 65 6e 74 7d 0a 0a 5c | 62 65 67 69 6e 7b 63 65 |ment}..\|begin{ce|
|00000380| 6e 74 65 72 7d 0a 7b 5c | 4c 61 72 67 65 20 7b 33 |nter}.{\|Large {3|
|00000390| 72 64 20 4b 75 72 74 20 | 47 5c 22 6f 64 65 6c 20 |rd Kurt |G\"odel |
|000003a0| 43 6f 6c 6c 6f 71 75 69 | 75 6d 20 4b 47 43 27 39 |Colloqui|um KGC'9|
|000003b0| 33 7d 7d 5c 5c 5b 33 65 | 78 5d 0a 7b 5c 68 75 67 |3}}\\[3e|x].{\hug|
|000003c0| 65 20 7b 5c 62 66 20 43 | 6f 6d 70 75 74 61 74 69 |e {\bf C|omputati|
|000003d0| 6f 6e 61 6c 20 4c 6f 67 | 69 63 20 61 6e 64 20 50 |onal Log|ic and P|
|000003e0| 72 6f 6f 66 20 54 68 65 | 6f 72 79 7d 7d 5c 5c 5b |roof The|ory}}\\[|
|000003f0| 34 65 78 5d 0a 7b 41 75 | 67 75 73 74 20 32 34 2d |4ex].{Au|gust 24-|
|00000400| 2d 32 37 2c 20 31 39 39 | 33 5c 71 71 75 61 64 0a |-27, 199|3\qquad.|
|00000410| 42 72 6e 6f 2c 20 43 7a | 65 63 68 20 52 65 70 75 |Brno, Cz|ech Repu|
|00000420| 62 6c 69 63 5c 5c 5b 34 | 65 78 5d 0a 46 69 72 73 |blic\\[4|ex].Firs|
|00000430| 74 20 41 6e 6e 6f 75 6e | 63 65 6d 65 6e 74 7d 5c |t Announ|cement}\|
|00000440| 5c 5b 30 2e 35 65 78 5d | 0a 61 6e 64 5c 5c 5b 31 |\[0.5ex]|.and\\[1|
|00000450| 2e 35 65 78 5d 0a 7b 5c | 4c 61 72 67 65 0a 7b 5c |.5ex].{\|Large.{\|
|00000460| 62 66 20 43 41 4c 4c 20 | 46 4f 52 20 50 41 50 45 |bf CALL |FOR PAPE|
|00000470| 52 53 7d 7d 0a 5c 65 6e | 64 7b 63 65 6e 74 65 72 |RS}}.\en|d{center|
|00000480| 7d 0a 0a 5c 62 69 67 73 | 6b 69 70 0a 0a 5c 6d 65 |}..\bigs|kip..\me|
|00000490| 64 73 6b 69 70 0a 0a 5c | 62 65 67 69 6e 7b 63 65 |dskip..\|begin{ce|
|000004a0| 6e 74 65 72 7d 0a 5c 62 | 65 67 69 6e 7b 74 61 62 |nter}.\b|egin{tab|
|000004b0| 75 6c 61 72 7d 7b 40 7b | 7d 70 7b 2e 32 39 5c 74 |ular}{@{|}p{.29\t|
|000004c0| 65 78 74 77 69 64 74 68 | 7d 7c 70 7b 2e 36 37 5c |extwidth|}|p{.67\|
|000004d0| 74 65 78 74 77 69 64 74 | 68 7d 40 7b 7d 7d 0a 25 |textwidt|h}@{}}.%|
|000004e0| 5c 73 6d 61 6c 6c 5c 69 | 78 70 74 5c 73 65 74 6c |\small\i|xpt\setl|
|000004f0| 65 6e 67 74 68 7b 5c 62 | 61 73 65 6c 69 6e 65 73 |ength{\b|aselines|
|00000500| 6b 69 70 7d 7b 39 70 74 | 7d 0a 5c 66 6f 6f 74 6e |kip}{9pt|}.\footn|
|00000510| 6f 74 65 73 69 7a 65 0a | 0a 7b 5c 62 66 20 50 72 |otesize.|.{\bf Pr|
|00000520| 6f 67 72 61 6d 20 43 6f | 6d 6d 69 74 74 65 65 7d |ogram Co|mmittee}|
|00000530| 0a 0a 5c 73 6d 61 6c 6c | 73 6b 69 70 0a 5c 62 65 |..\small|skip.\be|
|00000540| 67 69 6e 7b 74 61 62 75 | 6c 61 72 7d 7b 6c 40 7b |gin{tabu|lar}{l@{|
|00000550| 7d 7d 0a 4b 2e 20 41 6d | 62 6f 73 2d 53 70 69 65 |}}.K. Am|bos-Spie|
|00000560| 73 2c 20 48 65 69 64 65 | 6c 62 65 72 67 5c 5c 0a |s, Heide|lberg\\.|
|00000570| 4d 2e 20 42 61 61 7a 2c | 20 56 69 65 6e 6e 61 5c |M. Baaz,| Vienna\|
|00000580| 5c 0a 57 2e 20 42 69 62 | 65 6c 2c 20 44 61 72 6d |\.W. Bib|el, Darm|
|00000590| 73 74 61 64 74 5c 5c 0a | 4e 2e 20 42 72 75 6e 6e |stadt\\.|N. Brunn|
|000005a0| 65 72 2c 20 56 69 65 6e | 6e 61 5c 5c 0a 47 2e 20 |er, Vien|na\\.G. |
|000005b0| 47 6f 74 74 6c 6f 62 2c | 20 56 69 65 6e 6e 61 5c |Gottlob,| Vienna\|
|000005c0| 5c 0a 59 2e 20 47 75 72 | 65 76 69 63 68 2c 20 41 |\.Y. Gur|evich, A|
|000005d0| 6e 6e 20 41 72 62 6f 72 | 5c 5c 0a 48 2e 20 4b 6c |nn Arbor|\\.H. Kl|
|000005e0| 65 69 6e 65 20 42 5c 22 | 75 6e 69 6e 67 2c 20 50 |eine B\"|uning, P|
|000005f0| 61 64 65 72 62 6f 72 6e | 5c 5c 0a 4a 2e 20 4b 72 |aderborn|\\.J. Kr|
|00000600| 61 6a 5c 27 5c 69 7b 5c | 76 20 63 7d 65 6b 2c 20 |aj\'\i{\|v c}ek, |
|00000610| 50 72 61 67 75 65 5c 5c | 0a 41 2e 20 4c 65 69 74 |Prague\\|.A. Leit|
|00000620| 73 63 68 20 28 63 68 61 | 69 72 29 2c 20 56 69 65 |sch (cha|ir), Vie|
|00000630| 6e 6e 61 5c 5c 0a 50 2e | 20 4d 61 74 65 72 6e 61 |nna\\.P.| Materna|
|00000640| 2c 20 42 72 61 74 69 73 | 6c 61 76 61 5c 5c 0a 44 |, Bratis|lava\\.D|
|00000650| 2e 20 4d 75 6e 64 69 63 | 69 2c 20 4d 69 6c 61 6e |. Mundic|i, Milan|
|00000660| 5c 5c 0a 50 2e 20 50 75 | 64 6c 5c 27 61 6b 2c 20 |\\.P. Pu|dl\'ak, |
|00000670| 50 72 61 67 75 65 5c 5c | 0a 44 2e 20 53 63 6f 74 |Prague\\|.D. Scot|
|00000680| 74 2c 20 4c 69 6e 7a 0a | 5c 65 6e 64 7b 74 61 62 |t, Linz.|\end{tab|
|00000690| 75 6c 61 72 7d 0a 0a 5c | 6d 65 64 73 6b 69 70 0a |ular}..\|medskip.|
|000006a0| 7b 5c 62 66 20 4f 72 67 | 61 6e 69 7a 69 6e 67 20 |{\bf Org|anizing |
|000006b0| 43 6f 6d 6d 69 74 74 65 | 65 7d 0a 0a 5c 73 6d 61 |Committe|e}..\sma|
|000006c0| 6c 6c 73 6b 69 70 0a 5c | 62 65 67 69 6e 7b 74 61 |llskip.\|begin{ta|
|000006d0| 62 75 6c 61 72 7d 7b 6c | 40 7b 7d 7d 0a 45 2e 20 |bular}{l|@{}}.E. |
|000006e0| 46 75 63 68 73 2c 20 42 | 72 6e 6f 5c 5c 0a 4b 2e |Fuchs, B|rno\\.K.|
|000006f0| 20 48 5c 22 6f 72 77 65 | 69 6e 2c 20 56 69 65 6e | H\"orwe|in, Vien|
|00000700| 6e 61 5c 5c 0a 45 2e 20 | 4b 5c 22 6f 68 6c 65 72 |na\\.E. |K\"ohler|
|00000710| 20 28 63 68 61 69 72 29 | 2c 20 56 69 65 6e 6e 61 | (chair)|, Vienna|
|00000720| 5c 5c 0a 50 2e 20 4d 61 | 74 65 72 6e 61 2c 20 42 |\\.P. Ma|terna, B|
|00000730| 72 61 74 69 73 6c 61 76 | 61 5c 5c 0a 48 2e 2d 44 |ratislav|a\\.H.-D|
|00000740| 2e 20 53 63 68 77 61 62 | 6c 2c 20 56 69 65 6e 6e |. Schwab|l, Vienn|
|00000750| 61 5c 5c 0a 4a 2e 20 53 | 74 61 72 65 6b 2c 20 42 |a\\.J. S|tarek, B|
|00000760| 72 6e 6f 5c 5c 0a 52 2e | 20 5a 61 63 68 2c 20 56 |rno\\.R.| Zach, V|
|00000770| 69 65 6e 6e 61 5c 5c 0a | 4a 2e 20 5a 6c 61 74 75 |ienna\\.|J. Zlatu|
|00000780| 5c 76 7b 73 7d 6b 61 2c | 20 42 72 6e 6f 0a 5c 65 |\v{s}ka,| Brno.\e|
|00000790| 6e 64 7b 74 61 62 75 6c | 61 72 7d 0a 0a 5c 6d 65 |nd{tabul|ar}..\me|
|000007a0| 64 73 6b 69 70 0a 7b 5c | 62 66 20 43 6f 72 72 65 |dskip.{\|bf Corre|
|000007b0| 73 70 6f 6e 64 65 6e 63 | 65 20 61 6e 64 5c 70 61 |spondenc|e and\pa|
|000007c0| 72 20 50 61 70 65 72 20 | 53 75 62 6d 69 73 73 69 |r Paper |Submissi|
|000007d0| 6f 6e 7d 0a 0a 5c 73 6d | 61 6c 6c 73 6b 69 70 0a |on}..\sm|allskip.|
|000007e0| 0a 5c 62 65 67 69 6e 7b | 74 61 62 75 6c 61 72 7d |.\begin{|tabular}|
|000007f0| 7b 6c 40 7b 7d 7d 0a 4b | 47 43 27 39 33 5c 5c 0a |{l@{}}.K|GC'93\\.|
|00000800| 54 65 63 68 6e 69 73 63 | 68 65 20 55 6e 69 76 65 |Technisc|he Unive|
|00000810| 72 73 69 74 5c 22 61 74 | 20 57 69 65 6e 5c 5c 0a |rsit\"at| Wien\\.|
|00000820| 49 6e 73 74 69 74 75 74 | 20 66 5c 22 75 72 0a 43 |Institut| f\"ur.C|
|00000830| 6f 6d 70 75 74 65 72 73 | 70 72 61 63 68 65 6e 5c |omputers|prachen\|
|00000840| 5c 0a 52 65 73 73 65 6c | 67 61 73 73 65 20 33 2f |\.Ressel|gasse 3/|
|00000850| 7b 5c 73 63 20 65 7d 24 | 5c 6d 69 74 20 31 38 35 |{\sc e}$|\mit 185|
|00000860| 2e 32 24 5c 5c 20 0a 41 | 2d 31 30 34 30 20 56 69 |.2$\\ .A|-1040 Vi|
|00000870| 65 6e 6e 61 2c 20 41 75 | 73 74 72 69 61 20 0a 5c |enna, Au|stria .\|
|00000880| 65 6e 64 7b 74 61 62 75 | 6c 61 72 7d 0a 0a 5c 62 |end{tabu|lar}..\b|
|00000890| 65 67 69 6e 7b 74 61 62 | 75 6c 61 72 7d 7b 6c 40 |egin{tab|ular}{l@|
|000008a0| 7b 5c 68 73 70 61 63 65 | 7b 33 70 74 7d 7d 6c 40 |{\hspace|{3pt}}l@|
|000008b0| 7b 7d 7d 0a 50 68 6f 6e | 65 3a 20 26 20 2b 34 33 |{}}.Phon|e: & +43|
|000008c0| 20 28 31 29 20 35 38 38 | 30 31 2d 34 30 38 38 5c | (1) 588|01-4088\|
|000008d0| 5c 0a 46 61 78 3a 20 26 | 20 2b 34 33 20 28 31 29 |\.Fax: &| +43 (1)|
|000008e0| 20 35 30 34 20 31 35 20 | 38 39 5c 5c 0a 65 6d 61 | 504 15 |89\\.ema|
|000008f0| 69 6c 3a 26 20 7b 5c 76 | 69 69 69 70 74 5c 74 74 |il:& {\v|iiipt\tt|
|00000900| 20 6b 67 73 40 63 73 64 | 65 63 32 2e 74 75 77 69 | kgs@csd|ec2.tuwi|
|00000910| 65 6e 2e 61 63 2e 61 74 | 7d 0a 5c 65 6e 64 7b 74 |en.ac.at|}.\end{t|
|00000920| 61 62 75 6c 61 72 7d 0a | 0a 26 0a 0a 5c 73 65 74 |abular}.|.&..\set|
|00000930| 6c 65 6e 67 74 68 7b 5c | 70 61 72 73 6b 69 70 7d |length{\|parskip}|
|00000940| 7b 31 65 6d 7d 0a 54 68 | 65 20 4b 75 72 74 20 47 |{1em}.Th|e Kurt G|
|00000950| 5c 22 6f 64 65 6c 20 53 | 6f 63 69 65 74 79 20 77 |\"odel S|ociety w|
|00000960| 69 6c 6c 20 68 6f 6c 64 | 20 69 74 73 20 33 72 64 |ill hold| its 3rd|
|00000970| 0a 4b 75 72 74 20 47 5c | 22 6f 64 65 6c 20 43 6f |.Kurt G\|"odel Co|
|00000980| 6c 6c 6f 71 75 69 75 6d | 20 66 72 6f 6d 20 54 75 |lloquium| from Tu|
|00000990| 65 73 64 61 79 2c 20 41 | 75 67 75 73 74 20 32 34 |esday, A|ugust 24|
|000009a0| 2c 20 74 6f 20 46 72 69 | 64 61 79 2c 20 41 75 67 |, to Fri|day, Aug|
|000009b0| 75 73 74 20 32 37 2c 20 | 31 39 39 33 20 69 6e 20 |ust 27, |1993 in |
|000009c0| 42 72 6e 6f 2c 20 43 7a | 65 63 68 20 52 65 70 75 |Brno, Cz|ech Repu|
|000009d0| 62 6c 69 63 2c 20 74 68 | 65 20 74 6f 77 6e 20 77 |blic, th|e town w|
|000009e0| 68 65 72 65 20 4b 75 72 | 74 20 47 5c 22 6f 64 65 |here Kur|t G\"ode|
|000009f0| 6c 20 77 61 73 20 62 6f | 72 6e 2e 0a 0a 4b 47 43 |l was bo|rn...KGC|
|00000a00| 27 39 33 20 69 73 20 74 | 68 65 20 74 68 69 72 64 |'93 is t|he third|
|00000a10| 20 69 6e 20 61 20 73 65 | 72 69 65 73 20 6f 66 20 | in a se|ries of |
|00000a20| 62 69 61 6e 6e 75 61 6c | 20 63 6f 6c 6c 6f 71 75 |biannual| colloqu|
|00000a30| 69 61 20 6f 6e 20 6c 6f | 67 69 63 2c 20 74 68 65 |ia on lo|gic, the|
|00000a40| 6f 72 65 74 69 63 61 6c | 20 63 6f 6d 70 75 74 65 |oretical| compute|
|00000a50| 72 20 73 63 69 65 6e 63 | 65 20 61 6e 64 20 70 68 |r scienc|e and ph|
|00000a60| 69 6c 6f 73 6f 70 68 79 | 20 6f 66 20 6d 61 74 68 |ilosophy| of math|
|00000a70| 65 6d 61 74 69 63 73 2e | 20 54 68 65 20 66 69 72 |ematics.| The fir|
|00000a80| 73 74 20 74 77 6f 20 63 | 6f 6c 6c 6f 71 75 69 61 |st two c|olloquia|
|00000a90| 20 74 6f 6f 6b 20 70 6c | 61 63 65 20 69 6e 20 53 | took pl|ace in S|
|00000aa0| 61 6c 7a 62 75 72 67 20 | 28 31 39 38 39 29 20 61 |alzburg |(1989) a|
|00000ab0| 6e 64 20 69 6e 20 4b 69 | 72 63 68 62 65 72 67 20 |nd in Ki|rchberg |
|00000ac0| 61 6d 20 57 65 63 68 73 | 65 6c 20 28 31 39 39 31 |am Wechs|el (1991|
|00000ad0| 29 2e 0a 0a 54 68 65 20 | 73 63 69 65 6e 74 69 66 |)...The |scientif|
|00000ae0| 69 63 20 70 72 6f 67 72 | 61 6d 20 77 69 6c 6c 20 |ic progr|am will |
|00000af0| 63 6f 6e 73 69 73 74 20 | 6f 66 20 69 6e 76 69 74 |consist |of invit|
|00000b00| 65 64 20 6c 65 63 74 75 | 72 65 73 20 61 6e 64 20 |ed lectu|res and |
|00000b10| 73 68 6f 72 74 20 63 6f | 6e 74 72 69 62 75 74 69 |short co|ntributi|
|00000b20| 6f 6e 73 2c 20 77 68 69 | 63 68 20 77 69 6c 6c 20 |ons, whi|ch will |
|00000b30| 62 65 20 73 65 6c 65 63 | 74 65 64 20 66 72 6f 6d |be selec|ted from|
|00000b40| 20 74 68 65 20 73 75 62 | 6d 69 74 74 65 64 20 70 | the sub|mitted p|
|00000b50| 61 70 65 72 73 2e 20 41 | 6c 6c 20 63 6f 6e 74 72 |apers. A|ll contr|
|00000b60| 69 62 75 74 69 6f 6e 73 | 20 77 69 6c 6c 20 62 65 |ibutions| will be|
|00000b70| 20 72 65 66 65 72 65 65 | 64 20 66 6f 72 20 61 20 | referee|d for a |
|00000b80| 50 72 6f 63 65 65 64 69 | 6e 67 73 20 76 6f 6c 75 |Proceedi|ngs volu|
|00000b90| 6d 65 2e 0a 0a 7b 5c 62 | 66 20 53 63 6f 70 65 3a |me...{\b|f Scope:|
|00000ba0| 5c 71 75 61 64 7d 0a 54 | 68 65 20 63 6f 6c 6c 6f |\quad}.T|he collo|
|00000bb0| 71 75 69 75 6d 20 69 73 | 20 69 6e 74 65 6e 64 65 |quium is| intende|
|00000bc0| 64 20 66 6f 72 20 6c 6f | 67 69 63 69 61 6e 73 20 |d for lo|gicians |
|00000bd0| 61 6e 64 20 63 6f 6d 70 | 75 74 65 72 20 73 63 69 |and comp|uter sci|
|00000be0| 65 6e 74 69 73 74 73 0a | 69 6e 74 65 72 65 73 74 |entists.|interest|
|00000bf0| 65 64 20 69 6e 20 74 68 | 65 20 70 72 6f 6f 66 2d |ed in th|e proof-|
|00000c00| 74 68 65 6f 72 65 74 69 | 63 20 61 6e 64 20 61 6c |theoreti|c and al|
|00000c10| 67 6f 72 69 74 68 6d 69 | 63 20 61 73 70 65 63 74 |gorithmi|c aspect|
|00000c20| 73 20 6f 66 20 6c 6f 67 | 69 63 2e 0a 54 6f 70 69 |s of log|ic..Topi|
|00000c30| 63 73 20 69 6e 63 6c 75 | 64 65 2c 0a 62 75 74 20 |cs inclu|de,.but |
|00000c40| 61 72 65 20 6e 6f 74 20 | 6c 69 6d 69 74 65 64 20 |are not |limited |
|00000c50| 74 6f 3a 20 70 72 6f 6f | 66 20 74 68 65 6f 72 79 |to: proo|f theory|
|00000c60| 2c 20 61 75 74 6f 6d 61 | 74 65 64 20 74 68 65 6f |, automa|ted theo|
|00000c70| 72 65 6d 20 70 72 6f 76 | 69 6e 67 2c 0a 75 6e 69 |rem prov|ing,.uni|
|00000c80| 66 69 63 61 74 69 6f 6e | 20 74 68 65 6f 72 79 2c |fication| theory,|
|00000c90| 20 63 6f 6d 70 6c 65 78 | 69 74 79 20 74 68 65 6f | complex|ity theo|
|00000ca0| 72 79 2c 0a 6c 6f 67 69 | 63 73 20 6f 66 20 70 72 |ry,.logi|cs of pr|
|00000cb0| 6f 67 72 61 6d 73 2c 20 | 6e 6f 6e 2d 73 74 61 6e |ograms, |non-stan|
|00000cc0| 64 61 72 64 20 6c 6f 67 | 69 63 73 20 66 6f 72 0a |dard log|ics for.|
|00000cd0| 74 68 65 6f 72 65 74 69 | 63 61 6c 20 63 6f 6d 70 |theoreti|cal comp|
|00000ce0| 75 74 65 72 20 73 63 69 | 65 6e 63 65 20 61 6e 64 |uter sci|ence and|
|00000cf0| 20 7b 5c 73 63 20 61 69 | 7d 2c 20 0a 72 65 63 75 | {\sc ai|}, .recu|
|00000d00| 72 73 69 6f 6e 20 74 68 | 65 6f 72 79 2c 20 6c 6f |rsion th|eory, lo|
|00000d10| 67 69 63 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 2c |gic prog|ramming,|
|00000d20| 20 24 5c 6c 61 6d 62 64 | 61 24 2d 63 61 6c 63 75 | $\lambd|a$-calcu|
|00000d30| 6c 75 73 2e 20 0a 0a 7b | 5c 62 66 20 50 61 70 65 |lus. ..{|\bf Pape|
|00000d40| 72 20 53 75 62 6d 69 73 | 73 69 6f 6e 3a 5c 71 75 |r Submis|sion:\qu|
|00000d50| 61 64 7d 0a 41 75 74 68 | 6f 72 73 20 61 72 65 20 |ad}.Auth|ors are |
|00000d60| 6b 69 6e 64 6c 79 20 72 | 65 71 75 65 73 74 65 64 |kindly r|equested|
|00000d70| 20 74 6f 20 73 75 62 6d | 69 74 20 33 7e 63 6f 70 | to subm|it 3~cop|
|00000d80| 69 65 73 20 6f 66 20 61 | 20 66 75 6c 6c 20 64 72 |ies of a| full dr|
|00000d90| 61 66 74 20 70 61 70 65 | 72 20 28 69 6e 20 45 6e |aft pape|r (in En|
|00000da0| 67 6c 69 73 68 29 20 6e | 6f 74 20 65 78 63 65 65 |glish) n|ot excee|
|00000db0| 64 69 6e 67 20 31 32 7e | 70 61 67 65 73 20 6e 6f |ding 12~|pages no|
|00000dc0| 74 20 6c 61 74 65 72 20 | 7b 5c 62 66 20 4a 61 6e |t later |{\bf Jan|
|00000dd0| 75 61 72 79 7e 33 31 2c | 20 31 39 39 33 7d 2c 20 |uary~31,| 1993}, |
|00000de0| 74 6f 20 74 68 65 20 70 | 72 6f 67 72 61 6d 20 63 |to the p|rogram c|
|00000df0| 6f 6d 6d 69 74 74 65 65 | 20 63 68 61 69 72 6d 61 |ommittee| chairma|
|00000e00| 6e 20 41 6c 65 78 61 6e | 64 65 72 20 4c 65 69 74 |n Alexan|der Leit|
|00000e10| 73 63 68 2c 20 54 65 63 | 68 6e 69 73 63 68 65 20 |sch, Tec|hnische |
|00000e20| 55 6e 69 76 65 72 73 69 | 74 5c 22 61 74 20 57 69 |Universi|t\"at Wi|
|00000e30| 65 6e 2c 0a 49 6e 73 74 | 69 74 75 74 20 66 5c 22 |en,.Inst|itut f\"|
|00000e40| 75 72 20 43 6f 6d 70 75 | 74 65 72 73 70 72 61 63 |ur Compu|tersprac|
|00000e50| 68 65 6e 20 7b 5c 73 63 | 20 65 7d 24 5c 6d 69 74 |hen {\sc| e}$\mit|
|00000e60| 20 31 38 35 2e 32 24 2c | 20 52 65 73 73 65 6c 67 | 185.2$,| Resselg|
|00000e70| 61 73 73 65 20 33 2f 31 | 2c 20 41 2d 31 30 34 30 |asse 3/1|, A-1040|
|00000e80| 20 56 69 65 6e 6e 61 2c | 20 41 75 73 74 72 69 61 | Vienna,| Austria|
|00000e90| 2f 45 75 72 6f 70 65 2e | 0a 41 75 74 68 6f 72 73 |/Europe.|.Authors|
|00000ea0| 20 66 72 6f 6d 20 6c 6f | 63 61 74 69 6f 6e 73 20 | from lo|cations |
|00000eb0| 77 68 65 72 65 0a 61 63 | 63 65 73 73 20 74 6f 20 |where.ac|cess to |
|00000ec0| 72 65 70 72 6f 64 75 63 | 74 69 6f 6e 20 66 61 63 |reproduc|tion fac|
|00000ed0| 69 6c 69 74 69 65 73 20 | 69 73 20 73 65 76 65 72 |ilities |is sever|
|00000ee0| 65 6c 79 20 6c 69 6d 69 | 74 65 64 20 6d 61 79 20 |ely limi|ted may |
|00000ef0| 73 75 62 6d 69 74 20 6f | 6e 65 0a 63 6f 70 79 20 |submit o|ne.copy |
|00000f00| 6f 6e 6c 79 2e 0a 0a 7b | 5c 62 66 20 4e 6f 74 69 |only...{|\bf Noti|
|00000f10| 66 69 63 61 74 69 6f 6e | 3a 5c 71 75 61 64 7d 20 |fication|:\quad} |
|00000f20| 41 75 74 68 6f 72 73 20 | 77 69 6c 6c 20 62 65 20 |Authors |will be |
|00000f30| 6e 6f 74 69 66 69 65 64 | 20 6f 66 20 61 63 63 65 |notified| of acce|
|00000f40| 70 74 61 6e 63 65 20 6f | 72 20 72 65 6a 65 63 74 |ptance o|r reject|
|00000f50| 69 6f 6e 0a 6f 66 20 74 | 68 65 69 72 20 73 75 62 |ion.of t|heir sub|
|00000f60| 6d 69 73 73 69 6f 6e 73 | 20 62 79 20 7b 5c 62 66 |missions| by {\bf|
|00000f70| 20 4d 61 72 63 68 7e 33 | 31 2c 20 31 39 39 33 7d | March~3|1, 1993}|
|00000f80| 2e 20 54 68 65 20 66 69 | 6e 61 6c 20 63 61 6d 65 |. The fi|nal came|
|00000f90| 72 61 2d 72 65 61 64 79 | 20 76 65 72 73 69 6f 6e |ra-ready| version|
|00000fa0| 20 6f 66 20 74 68 65 20 | 70 61 70 65 72 20 6d 75 | of the |paper mu|
|00000fb0| 73 74 20 62 65 20 72 65 | 63 65 69 76 65 64 20 62 |st be re|ceived b|
|00000fc0| 79 20 7b 5c 62 66 20 4d | 61 79 7e 33 31 2c 20 31 |y {\bf M|ay~31, 1|
|00000fd0| 39 39 33 7d 2e 0a 5c 65 | 6e 64 7b 74 61 62 75 6c |993}..\e|nd{tabul|
|00000fe0| 61 72 7d 0a 5c 65 6e 64 | 7b 63 65 6e 74 65 72 7d |ar}.\end|{center}|
|00000ff0| 0a 5c 65 6e 64 7b 64 6f | 63 75 6d 65 6e 74 7d 0a |.\end{do|cument}.|
+--------+-------------------------+-------------------------+--------+--------+