/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2576

< 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 32 | 35 37 36 20 73 63 69 2e |.logic:2|576 sci.|
|00000020| 6d 61 74 68 3a 31 37 39 | 38 38 20 63 6f 6d 70 2e |math:179|88 comp.|
|00000030| 61 69 3a 34 38 31 37 20 | 63 6f 6d 70 2e 61 69 2e |ai:4817 |comp.ai.|
|00000040| 70 68 69 6c 6f 73 6f 70 | 68 79 3a 37 32 35 37 20 |philosop|hy:7257 |
|00000050| 63 6f 6d 70 2e 74 68 65 | 6f 72 79 3a 32 38 35 35 |comp.the|ory:2855|
|00000060| 0a 4e 65 77 73 67 72 6f | 75 70 73 3a 20 73 63 69 |.Newsgro|ups: sci|
|00000070| 2e 6c 6f 67 69 63 2c 73 | 63 69 2e 6d 61 74 68 2c |.logic,s|ci.math,|
|00000080| 63 6f 6d 70 2e 61 69 2c | 63 6f 6d 70 2e 61 69 2e |comp.ai,|comp.ai.|
|00000090| 70 68 69 6c 6f 73 6f 70 | 68 79 2c 63 6f 6d 70 2e |philosop|hy,comp.|
|000000a0| 74 68 65 6f 72 79 0a 50 | 61 74 68 3a 20 73 70 61 |theory.P|ath: spa|
|000000b0| 72 6b 79 21 75 75 6e 65 | 74 21 65 6d 61 69 6c 21 |rky!uune|t!email!|
|000000c0| 6d 69 70 73 2e 63 6f 6d | 70 6c 61 6e 67 2e 74 75 |mips.com|plang.tu|
|000000d0| 77 69 65 6e 2e 61 63 2e | 61 74 21 72 7a 0a 46 72 |wien.ac.|at!rz.Fr|
|000000e0| 6f 6d 3a 20 72 7a 40 6d | 69 70 73 2e 63 6f 6d 70 |om: rz@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 20 28 52 69 63 68 61 | 72 64 20 5a 61 63 68 29 |t (Richa|rd Zach)|
|00000110| 0a 53 75 62 6a 65 63 74 | 3a 20 55 50 44 41 54 45 |.Subject|: UPDATE|
|00000120| 3a 20 33 72 64 20 4b 75 | 72 74 20 47 6f 65 64 65 |: 3rd Ku|rt Goede|
|00000130| 6c 20 43 6f 6c 6c 6f 71 | 75 69 75 6d 20 28 4c 61 |l Colloq|uium (La|
|00000140| 54 65 58 29 0a 4d 65 73 | 73 61 67 65 2d 49 44 3a |TeX).Mes|sage-ID:|
|00000150| 20 3c 31 39 39 33 4a 61 | 6e 31 31 2e 32 30 30 38 | <1993Ja|n11.2008|
|00000160| 32 38 2e 31 35 36 30 39 | 40 65 6d 61 69 6c 2e 74 |28.15609|@email.t|
|00000170| 75 77 69 65 6e 2e 61 63 | 2e 61 74 3e 0a 46 6f 6c |uwien.ac|.at>.Fol|
|00000180| 6c 6f 77 75 70 2d 54 6f | 3a 20 70 6f 73 74 65 72 |lowup-To|: poster|
|00000190| 0a 53 65 6e 64 65 72 3a | 20 6e 65 77 73 40 65 6d |.Sender:| news@em|
|000001a0| 61 69 6c 2e 74 75 77 69 | 65 6e 2e 61 63 2e 61 74 |ail.tuwi|en.ac.at|
|000001b0| 0a 4e 6e 74 70 2d 50 6f | 73 74 69 6e 67 2d 48 6f |.Nntp-Po|sting-Ho|
|000001c0| 73 74 3a 20 6d 69 70 73 | 2e 63 6f 6d 70 6c 61 6e |st: mips|.complan|
|000001d0| 67 2e 74 75 77 69 65 6e | 2e 61 63 2e 61 74 0a 52 |g.tuwien|.ac.at.R|
|000001e0| 65 70 6c 79 2d 54 6f 3a | 20 6b 67 73 40 63 73 64 |eply-To:| kgs@csd|
|000001f0| 65 63 31 2e 74 75 77 69 | 65 6e 2e 61 63 2e 61 74 |ec1.tuwi|en.ac.at|
|00000200| 0a 4f 72 67 61 6e 69 7a | 61 74 69 6f 6e 3a 20 54 |.Organiz|ation: T|
|00000210| 65 63 68 6e 69 73 63 68 | 65 20 55 6e 69 76 65 72 |echnisch|e Univer|
|00000220| 73 69 74 22 61 74 20 57 | 69 65 6e 0a 44 61 74 65 |sit"at W|ien.Date|
|00000230| 3a 20 4d 6f 6e 2c 20 31 | 31 20 4a 61 6e 20 31 39 |: Mon, 1|1 Jan 19|
|00000240| 39 33 20 32 30 3a 30 38 | 3a 32 38 20 47 4d 54 0a |93 20:08|:28 GMT.|
|00000250| 4c 69 6e 65 73 3a 20 31 | 35 34 0a 0a 25 20 55 50 |Lines: 1|54..% UP|
|00000260| 44 41 54 45 3a 20 0a 25 | 20 4e 4f 54 45 20 4c 49 |DATE: .%| NOTE LI|
|00000270| 53 54 20 4f 46 20 49 4e | 56 49 54 45 44 20 53 50 |ST OF IN|VITED SP|
|00000280| 45 41 4b 45 52 53 0a 25 | 20 50 52 4f 43 45 45 44 |EAKERS.%| PROCEED|
|00000290| 49 4e 47 53 20 50 55 42 | 4c 49 53 48 45 44 20 42 |INGS PUB|LISHED B|
|000002a0| 59 20 53 50 52 49 4e 47 | 45 52 0a 0a 25 20 54 68 |Y SPRING|ER..% Th|
|000002b0| 69 73 20 69 73 20 74 68 | 65 20 43 61 6c 6c 20 66 |is is th|e Call f|
|000002c0| 6f 72 20 50 61 70 65 72 | 73 20 66 6f 72 20 74 68 |or Paper|s for th|
|000002d0| 65 20 33 72 64 0a 25 20 | 4b 75 72 74 20 47 22 6f |e 3rd.% |Kurt G"o|
|000002e0| 64 65 6c 20 43 6f 6c 6c | 6f 71 75 69 75 6d 3a 20 |del Coll|oquium: |
|000002f0| 43 6f 6d 70 75 74 61 74 | 69 6f 6e 61 6c 20 4c 6f |Computat|ional Lo|
|00000300| 67 69 63 20 61 6e 64 20 | 50 72 6f 6f 66 20 54 68 |gic and |Proof Th|
|00000310| 65 6f 72 79 0a 25 20 69 | 6e 20 4c 61 54 65 58 20 |eory.% i|n LaTeX |
|00000320| 66 6f 72 6d 61 74 2e 0a | 0a 25 20 50 6c 65 61 73 |format..|.% Pleas|
|00000330| 65 20 70 6f 73 74 20 61 | 6e 64 20 64 69 73 74 72 |e post a|nd distr|
|00000340| 69 62 75 74 65 20 77 69 | 64 65 6c 79 0a 0a 0a 5c |ibute wi|dely...\|
|00000350| 64 6f 63 75 6d 65 6e 74 | 73 74 79 6c 65 5b 31 31 |document|style[11|
|00000360| 70 74 2c 66 75 6c 6c 70 | 61 67 65 5d 7b 61 72 74 |pt,fullp|age]{art|
|00000370| 69 63 6c 65 7d 0a 5c 70 | 61 67 65 73 74 79 6c 65 |icle}.\p|agestyle|
|00000380| 7b 65 6d 70 74 79 7d 0a | 5c 62 65 67 69 6e 7b 64 |{empty}.|\begin{d|
|00000390| 6f 63 75 6d 65 6e 74 7d | 0a 0a 5c 62 65 67 69 6e |ocument}|..\begin|
|000003a0| 7b 63 65 6e 74 65 72 7d | 0a 7b 5c 4c 61 72 67 65 |{center}|.{\Large|
|000003b0| 20 7b 33 72 64 20 4b 75 | 72 74 20 47 5c 22 6f 64 | {3rd Ku|rt G\"od|
|000003c0| 65 6c 20 43 6f 6c 6c 6f | 71 75 69 75 6d 20 4b 47 |el Collo|quium KG|
|000003d0| 43 27 39 33 7d 7d 5c 5c | 5b 33 65 78 5d 0a 7b 5c |C'93}}\\|[3ex].{\|
|000003e0| 68 75 67 65 20 7b 5c 62 | 66 20 43 6f 6d 70 75 74 |huge {\b|f Comput|
|000003f0| 61 74 69 6f 6e 61 6c 20 | 4c 6f 67 69 63 20 61 6e |ational |Logic an|
|00000400| 64 20 50 72 6f 6f 66 20 | 54 68 65 6f 72 79 7d 7d |d Proof |Theory}}|
|00000410| 5c 5c 5b 34 65 78 5d 0a | 7b 41 75 67 75 73 74 20 |\\[4ex].|{August |
|00000420| 32 34 2d 2d 32 37 2c 20 | 31 39 39 33 5c 71 71 75 |24--27, |1993\qqu|
|00000430| 61 64 0a 42 72 6e 6f 2c | 20 43 7a 65 63 68 20 52 |ad.Brno,| Czech R|
|00000440| 65 70 75 62 6c 69 63 5c | 5c 5b 34 65 78 5d 0a 7b |epublic\|\[4ex].{|
|00000450| 5c 4c 61 72 67 65 0a 5c | 62 66 20 4c 41 53 54 20 |\Large.\|bf LAST |
|00000460| 43 41 4c 4c 20 46 4f 52 | 20 50 41 50 45 52 53 7d |CALL FOR| PAPERS}|
|00000470| 7d 0a 5c 65 6e 64 7b 63 | 65 6e 74 65 72 7d 0a 0a |}.\end{c|enter}..|
|00000480| 5c 62 69 67 73 6b 69 70 | 0a 0a 5c 62 65 67 69 6e |\bigskip|..\begin|
|00000490| 7b 63 65 6e 74 65 72 7d | 0a 5c 62 65 67 69 6e 7b |{center}|.\begin{|
|000004a0| 74 61 62 75 6c 61 72 7d | 7b 40 7b 7d 70 7b 2e 32 |tabular}|{@{}p{.2|
|000004b0| 39 5c 74 65 78 74 77 69 | 64 74 68 7d 7c 70 7b 2e |9\textwi|dth}|p{.|
|000004c0| 36 37 5c 74 65 78 74 77 | 69 64 74 68 7d 40 7b 7d |67\textw|idth}@{}|
|000004d0| 7d 0a 25 5c 73 6d 61 6c | 6c 5c 69 78 70 74 5c 73 |}.%\smal|l\ixpt\s|
|000004e0| 65 74 6c 65 6e 67 74 68 | 7b 5c 62 61 73 65 6c 69 |etlength|{\baseli|
|000004f0| 6e 65 73 6b 69 70 7d 7b | 39 70 74 7d 0a 5c 66 6f |neskip}{|9pt}.\fo|
|00000500| 6f 74 6e 6f 74 65 73 69 | 7a 65 0a 0a 7b 5c 62 66 |otnotesi|ze..{\bf|
|00000510| 20 50 72 6f 67 72 61 6d | 20 43 6f 6d 6d 69 74 74 | Program| Committ|
|00000520| 65 65 7d 0a 0a 5c 6d 65 | 64 73 6b 69 70 0a 5c 62 |ee}..\me|dskip.\b|
|00000530| 65 67 69 6e 7b 74 61 62 | 75 6c 61 72 7d 7b 6c 40 |egin{tab|ular}{l@|
|00000540| 7b 7d 7d 0a 4b 2e 20 41 | 6d 62 6f 73 2d 53 70 69 |{}}.K. A|mbos-Spi|
|00000550| 65 73 2c 20 48 65 69 64 | 65 6c 62 65 72 67 5c 5c |es, Heid|elberg\\|
|00000560| 0a 4d 2e 20 42 61 61 7a | 2c 20 56 69 65 6e 6e 61 |.M. Baaz|, Vienna|
|00000570| 5c 5c 0a 57 2e 20 42 69 | 62 65 6c 2c 20 44 61 72 |\\.W. Bi|bel, Dar|
|00000580| 6d 73 74 61 64 74 5c 5c | 0a 4e 2e 20 42 72 75 6e |mstadt\\|.N. Brun|
|00000590| 6e 65 72 2c 20 56 69 65 | 6e 6e 61 5c 5c 0a 47 2e |ner, Vie|nna\\.G.|
|000005a0| 20 47 6f 74 74 6c 6f 62 | 2c 20 56 69 65 6e 6e 61 | Gottlob|, Vienna|
|000005b0| 5c 5c 0a 59 2e 20 47 75 | 72 65 76 69 63 68 2c 20 |\\.Y. Gu|revich, |
|000005c0| 41 6e 6e 20 41 72 62 6f | 72 5c 5c 0a 48 2e 20 4b |Ann Arbo|r\\.H. K|
|000005d0| 6c 65 69 6e 65 20 42 5c | 22 75 6e 69 6e 67 2c 20 |leine B\|"uning, |
|000005e0| 50 61 64 65 72 62 6f 72 | 6e 5c 5c 0a 4a 2e 20 4b |Paderbor|n\\.J. K|
|000005f0| 72 61 6a 5c 27 5c 69 7b | 5c 76 20 63 7d 65 6b 2c |raj\'\i{|\v c}ek,|
|00000600| 20 50 72 61 67 75 65 5c | 5c 0a 41 2e 20 4c 65 69 | Prague\|\.A. Lei|
|00000610| 74 73 63 68 20 28 63 68 | 61 69 72 29 2c 20 56 69 |tsch (ch|air), Vi|
|00000620| 65 6e 6e 61 5c 5c 0a 50 | 2e 20 4d 61 74 65 72 6e |enna\\.P|. Matern|
|00000630| 61 2c 20 42 72 6e 6f 5c | 5c 0a 44 2e 20 4d 75 6e |a, Brno\|\.D. Mun|
|00000640| 64 69 63 69 2c 20 4d 69 | 6c 61 6e 5c 5c 0a 50 2e |dici, Mi|lan\\.P.|
|00000650| 20 50 75 64 6c 5c 27 61 | 6b 2c 20 50 72 61 67 75 | Pudl\'a|k, Pragu|
|00000660| 65 5c 5c 0a 44 2e 20 53 | 63 6f 74 74 2c 20 4c 69 |e\\.D. S|cott, Li|
|00000670| 6e 7a 0a 5c 65 6e 64 7b | 74 61 62 75 6c 61 72 7d |nz.\end{|tabular}|
|00000680| 0a 0a 5c 6d 65 64 73 6b | 69 70 0a 7b 5c 62 66 20 |..\medsk|ip.{\bf |
|00000690| 4f 72 67 61 6e 69 7a 69 | 6e 67 20 43 6f 6d 6d 69 |Organizi|ng Commi|
|000006a0| 74 74 65 65 7d 0a 0a 5c | 6d 65 64 73 6b 69 70 0a |ttee}..\|medskip.|
|000006b0| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|000006c0| 6c 40 7b 7d 7d 0a 45 2e | 20 46 75 63 68 73 2c 20 |l@{}}.E.| Fuchs, |
|000006d0| 42 72 6e 6f 5c 5c 0a 4b | 2e 20 48 5c 22 6f 72 77 |Brno\\.K|. H\"orw|
|000006e0| 65 69 6e 2c 20 56 69 65 | 6e 6e 61 5c 5c 0a 45 2e |ein, Vie|nna\\.E.|
|000006f0| 20 4b 5c 22 6f 68 6c 65 | 72 20 28 63 68 61 69 72 | K\"ohle|r (chair|
|00000700| 29 2c 20 56 69 65 6e 6e | 61 5c 5c 0a 50 2e 20 4d |), Vienn|a\\.P. M|
|00000710| 61 74 65 72 6e 61 2c 20 | 42 72 6e 6f 5c 5c 0a 48 |aterna, |Brno\\.H|
|00000720| 2e 2d 44 2e 20 53 63 68 | 77 61 62 6c 2c 20 56 69 |.-D. Sch|wabl, Vi|
|00000730| 65 6e 6e 61 5c 5c 0a 4a | 2e 20 53 74 61 72 65 6b |enna\\.J|. Starek|
|00000740| 2c 20 42 72 6e 6f 5c 5c | 0a 52 2e 20 5a 61 63 68 |, Brno\\|.R. Zach|
|00000750| 2c 20 56 69 65 6e 6e 61 | 5c 5c 0a 4a 2e 20 5a 6c |, Vienna|\\.J. Zl|
|00000760| 61 74 75 5c 76 7b 73 7d | 6b 61 2c 20 42 72 6e 6f |atu\v{s}|ka, Brno|
|00000770| 0a 5c 65 6e 64 7b 74 61 | 62 75 6c 61 72 7d 0a 0a |.\end{ta|bular}..|
|00000780| 5c 6d 65 64 73 6b 69 70 | 0a 7b 5c 62 66 20 43 6f |\medskip|.{\bf Co|
|00000790| 72 72 65 73 70 6f 6e 64 | 65 6e 63 65 20 61 6e 64 |rrespond|ence and|
|000007a0| 5c 70 61 72 20 50 61 70 | 65 72 20 53 75 62 6d 69 |\par Pap|er Submi|
|000007b0| 73 73 69 6f 6e 7d 0a 0a | 5c 6d 65 64 73 6b 69 70 |ssion}..|\medskip|
|000007c0| 0a 0a 5c 62 65 67 69 6e | 7b 74 61 62 75 6c 61 72 |..\begin|{tabular|
|000007d0| 7d 7b 6c 40 7b 7d 7d 0a | 4b 47 43 27 39 33 5c 5c |}{l@{}}.|KGC'93\\|
|000007e0| 0a 54 65 63 68 6e 69 73 | 63 68 65 20 55 6e 69 76 |.Technis|che Univ|
|000007f0| 65 72 73 69 74 5c 22 61 | 74 20 57 69 65 6e 5c 5c |ersit\"a|t Wien\\|
|00000800| 0a 49 6e 73 74 69 74 75 | 74 20 66 5c 22 75 72 0a |.Institu|t f\"ur.|
|00000810| 43 6f 6d 70 75 74 65 72 | 73 70 72 61 63 68 65 6e |Computer|sprachen|
|00000820| 5c 5c 0a 52 65 73 73 65 | 6c 67 61 73 73 65 20 33 |\\.Resse|lgasse 3|
|00000830| 2f 7b 5c 73 63 20 65 7d | 24 5c 6d 69 74 20 31 38 |/{\sc e}|$\mit 18|
|00000840| 35 2e 32 24 5c 5c 20 0a | 41 2d 31 30 34 30 20 56 |5.2$\\ .|A-1040 V|
|00000850| 69 65 6e 6e 61 2c 20 41 | 75 73 74 72 69 61 20 0a |ienna, A|ustria .|
|00000860| 5c 65 6e 64 7b 74 61 62 | 75 6c 61 72 7d 0a 0a 5c |\end{tab|ular}..\|
|00000870| 62 65 67 69 6e 7b 74 61 | 62 75 6c 61 72 7d 7b 6c |begin{ta|bular}{l|
|00000880| 40 7b 5c 68 73 70 61 63 | 65 7b 33 70 74 7d 7d 6c |@{\hspac|e{3pt}}l|
|00000890| 40 7b 7d 7d 0a 50 68 6f | 6e 65 3a 20 26 20 2b 34 |@{}}.Pho|ne: & +4|
|000008a0| 33 20 28 31 29 20 35 38 | 38 30 31 2d 34 30 38 38 |3 (1) 58|801-4088|
|000008b0| 5c 5c 0a 46 61 78 3a 20 | 26 20 2b 34 33 20 28 31 |\\.Fax: |& +43 (1|
|000008c0| 29 20 35 30 34 20 31 35 | 20 38 39 5c 5c 0a 65 6d |) 504 15| 89\\.em|
|000008d0| 61 69 6c 3a 26 20 7b 5c | 76 69 69 69 70 74 5c 74 |ail:& {\|viiipt\t|
|000008e0| 74 20 6b 67 73 40 63 73 | 64 65 63 32 2e 74 75 77 |t kgs@cs|dec2.tuw|
|000008f0| 69 65 6e 2e 61 63 2e 61 | 74 7d 0a 5c 65 6e 64 7b |ien.ac.a|t}.\end{|
|00000900| 74 61 62 75 6c 61 72 7d | 0a 0a 5c 6d 65 64 73 6b |tabular}|..\medsk|
|00000910| 69 70 0a 0a 7b 5c 62 66 | 20 49 6d 70 6f 72 74 61 |ip..{\bf| Importa|
|00000920| 6e 74 20 64 61 74 65 73 | 7d 0a 0a 5c 6d 65 64 73 |nt dates|}..\meds|
|00000930| 6b 69 70 0a 0a 5c 62 65 | 67 69 6e 7b 74 61 62 75 |kip..\be|gin{tabu|
|00000940| 6c 61 72 7d 7b 6c 40 7b | 7d 7d 0a 53 75 62 6d 69 |lar}{l@{|}}.Submi|
|00000950| 73 73 69 6f 6e 3a 5c 5c | 7b 5c 62 66 20 33 31 20 |ssion:\\|{\bf 31 |
|00000960| 4a 61 6e 75 61 72 79 2c | 20 31 39 39 33 7d 20 5c |January,| 1993} \|
|00000970| 5c 0a 4e 6f 74 69 66 69 | 63 61 74 69 6f 6e 3a 5c |\.Notifi|cation:\|
|00000980| 5c 7b 5c 62 66 20 33 31 | 20 4d 61 72 63 68 2c 20 |\{\bf 31| March, |
|00000990| 31 39 39 33 7d 20 5c 5c | 20 0a 43 61 6d 65 72 61 |1993} \\| .Camera|
|000009a0| 2d 72 65 61 64 79 20 63 | 6f 70 79 3a 5c 5c 7b 5c |-ready c|opy:\\{\|
|000009b0| 62 66 20 33 31 20 4d 61 | 79 2c 20 31 39 39 33 7d |bf 31 Ma|y, 1993}|
|000009c0| 0a 5c 65 6e 64 7b 74 61 | 62 75 6c 61 72 7d 0a 0a |.\end{ta|bular}..|
|000009d0| 26 0a 0a 5c 73 65 74 6c | 65 6e 67 74 68 7b 5c 70 |&..\setl|ength{\p|
|000009e0| 61 72 73 6b 69 70 7d 7b | 31 65 6d 7d 0a 54 68 65 |arskip}{|1em}.The|
|000009f0| 20 4b 75 72 74 20 47 5c | 22 6f 64 65 6c 20 53 6f | Kurt G\|"odel So|
|00000a00| 63 69 65 74 79 20 77 69 | 6c 6c 20 68 6f 6c 64 20 |ciety wi|ll hold |
|00000a10| 69 74 73 20 33 72 64 0a | 4b 75 72 74 20 47 5c 22 |its 3rd.|Kurt G\"|
|00000a20| 6f 64 65 6c 20 43 6f 6c | 6c 6f 71 75 69 75 6d 20 |odel Col|loquium |
|00000a30| 66 72 6f 6d 20 54 75 65 | 73 64 61 79 2c 20 41 75 |from Tue|sday, Au|
|00000a40| 67 75 73 74 20 32 34 2c | 20 74 6f 0a 46 72 69 64 |gust 24,| to.Frid|
|00000a50| 61 79 2c 20 41 75 67 75 | 73 74 20 32 37 2c 20 31 |ay, Augu|st 27, 1|
|00000a60| 39 39 33 20 69 6e 20 42 | 72 6e 6f 2c 20 43 7a 65 |993 in B|rno, Cze|
|00000a70| 63 68 20 52 65 70 75 62 | 6c 69 63 2c 20 74 68 65 |ch Repub|lic, the|
|00000a80| 20 0a 74 6f 77 6e 20 77 | 68 65 72 65 20 4b 75 72 | .town w|here Kur|
|00000a90| 74 20 47 5c 22 6f 64 65 | 6c 20 77 61 73 20 62 6f |t G\"ode|l was bo|
|00000aa0| 72 6e 2e 0a 0a 4b 47 43 | 27 39 33 20 69 73 20 74 |rn...KGC|'93 is t|
|00000ab0| 68 65 20 74 68 69 72 64 | 20 69 6e 20 61 20 73 65 |he third| in a se|
|00000ac0| 72 69 65 73 20 6f 66 20 | 62 69 61 6e 6e 75 61 6c |ries of |biannual|
|00000ad0| 20 63 6f 6c 6c 6f 71 75 | 69 61 20 0a 6f 6e 20 6c | colloqu|ia .on l|
|00000ae0| 6f 67 69 63 2c 20 74 68 | 65 6f 72 65 74 69 63 61 |ogic, th|eoretica|
|00000af0| 6c 20 63 6f 6d 70 75 74 | 65 72 20 73 63 69 65 6e |l comput|er scien|
|00000b00| 63 65 20 61 6e 64 20 70 | 68 69 6c 6f 73 6f 70 68 |ce and p|hilosoph|
|00000b10| 79 20 0a 6f 66 20 6d 61 | 74 68 65 6d 61 74 69 63 |y .of ma|thematic|
|00000b20| 73 2e 20 54 68 65 20 66 | 69 72 73 74 20 74 77 6f |s. The f|irst two|
|00000b30| 20 63 6f 6c 6c 6f 71 75 | 69 61 20 74 6f 6f 6b 20 | colloqu|ia took |
|00000b40| 70 6c 61 63 65 20 69 6e | 20 0a 53 61 6c 7a 62 75 |place in| .Salzbu|
|00000b50| 72 67 20 28 31 39 38 39 | 29 20 61 6e 64 20 69 6e |rg (1989|) and in|
|00000b60| 20 4b 69 72 63 68 62 65 | 72 67 20 61 6d 20 57 65 | Kirchbe|rg am We|
|00000b70| 63 68 73 65 6c 20 28 31 | 39 39 31 29 2e 0a 0a 7b |chsel (1|991)...{|
|00000b80| 5c 62 66 20 53 63 6f 70 | 65 3a 5c 71 75 61 64 7d |\bf Scop|e:\quad}|
|00000b90| 0a 54 68 65 20 63 6f 6c | 6c 6f 71 75 69 75 6d 20 |.The col|loquium |
|00000ba0| 69 73 20 69 6e 74 65 6e | 64 65 64 20 66 6f 72 20 |is inten|ded for |
|00000bb0| 6c 6f 67 69 63 69 61 6e | 73 20 61 6e 64 20 63 6f |logician|s and co|
|00000bc0| 6d 70 75 74 65 72 20 73 | 63 69 65 6e 74 69 73 74 |mputer s|cientist|
|00000bd0| 73 0a 69 6e 74 65 72 65 | 73 74 65 64 20 69 6e 20 |s.intere|sted in |
|00000be0| 74 68 65 20 70 72 6f 6f | 66 2d 74 68 65 6f 72 65 |the proo|f-theore|
|00000bf0| 74 69 63 20 61 6e 64 20 | 61 6c 67 6f 72 69 74 68 |tic and |algorith|
|00000c00| 6d 69 63 20 61 73 70 65 | 63 74 73 20 6f 66 20 6c |mic aspe|cts of l|
|00000c10| 6f 67 69 63 2e 0a 54 6f | 70 69 63 73 20 69 6e 63 |ogic..To|pics inc|
|00000c20| 6c 75 64 65 2c 0a 62 75 | 74 20 61 72 65 20 6e 6f |lude,.bu|t are no|
|00000c30| 74 20 6c 69 6d 69 74 65 | 64 20 74 6f 3a 20 70 72 |t limite|d to: pr|
|00000c40| 6f 6f 66 20 74 68 65 6f | 72 79 2c 20 61 75 74 6f |oof theo|ry, auto|
|00000c50| 6d 61 74 65 64 20 74 68 | 65 6f 72 65 6d 20 70 72 |mated th|eorem pr|
|00000c60| 6f 76 69 6e 67 2c 0a 75 | 6e 69 66 69 63 61 74 69 |oving,.u|nificati|
|00000c70| 6f 6e 20 74 68 65 6f 72 | 79 2c 20 63 6f 6d 70 6c |on theor|y, compl|
|00000c80| 65 78 69 74 79 20 74 68 | 65 6f 72 79 2c 0a 6c 6f |exity th|eory,.lo|
|00000c90| 67 69 63 73 20 6f 66 20 | 70 72 6f 67 72 61 6d 73 |gics of |programs|
|00000ca0| 2c 20 6e 6f 6e 2d 73 74 | 61 6e 64 61 72 64 20 6c |, non-st|andard l|
|00000cb0| 6f 67 69 63 73 20 66 6f | 72 0a 74 68 65 6f 72 65 |ogics fo|r.theore|
|00000cc0| 74 69 63 61 6c 20 63 6f | 6d 70 75 74 65 72 20 73 |tical co|mputer s|
|00000cd0| 63 69 65 6e 63 65 20 61 | 6e 64 20 7b 5c 73 63 20 |cience a|nd {\sc |
|00000ce0| 61 69 7d 2c 20 0a 72 65 | 63 75 72 73 69 6f 6e 20 |ai}, .re|cursion |
|00000cf0| 74 68 65 6f 72 79 2c 20 | 6c 6f 67 69 63 20 70 72 |theory, |logic pr|
|00000d00| 6f 67 72 61 6d 6d 69 6e | 67 2c 20 24 5c 6c 61 6d |ogrammin|g, $\lam|
|00000d10| 62 64 61 24 2d 63 61 6c | 63 75 6c 75 73 2e 20 0a |bda$-cal|culus. .|
|00000d20| 0a 7b 5c 62 66 20 53 63 | 69 65 6e 74 69 66 69 63 |.{\bf Sc|ientific|
|00000d30| 20 50 72 6f 67 72 61 6d | 3a 5c 71 75 61 64 7d 0a | Program|:\quad}.|
|00000d40| 54 68 65 20 70 72 6f 67 | 72 61 6d 20 77 69 6c 6c |The prog|ram will|
|00000d50| 20 63 6f 6e 73 69 73 74 | 20 6f 66 20 69 6e 76 69 | consist| of invi|
|00000d60| 74 65 64 20 6c 65 63 74 | 75 72 65 73 20 61 6e 64 |ted lect|ures and|
|00000d70| 20 63 6f 6e 74 72 69 62 | 75 74 65 64 0a 70 61 70 | contrib|uted.pap|
|00000d80| 65 72 73 20 73 65 6c 65 | 63 74 65 64 20 66 72 6f |ers sele|cted fro|
|00000d90| 6d 20 74 68 65 20 73 75 | 62 6d 69 73 73 69 6f 6e |m the su|bmission|
|00000da0| 73 2e 20 54 68 65 20 69 | 6e 76 69 74 65 64 20 73 |s. The i|nvited s|
|00000db0| 70 65 61 6b 65 72 73 20 | 61 72 65 3a 0a 5c 70 61 |peakers |are:.\pa|
|00000dc0| 72 5c 73 6d 61 6c 6c 73 | 6b 69 70 5c 70 61 72 0a |r\smalls|kip\par.|
|00000dd0| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|00000de0| 6c 40 7b 5c 71 75 61 64 | 7d 6c 7d 0a 45 67 6f 6e |l@{\quad|}l}.Egon|
|00000df0| 20 42 5c 22 6f 72 67 65 | 72 20 28 50 69 73 61 29 | B\"orge|r (Pisa)|
|00000e00| 20 26 20 52 6f 62 65 72 | 74 20 43 6f 77 65 6e 20 | & Rober|t Cowen |
|00000e10| 28 4e 65 77 20 59 6f 72 | 6b 29 20 5c 5c 0a 53 6f |(New Yor|k) \\.So|
|00000e20| 6c 6f 6d 6f 6e 20 46 65 | 66 65 72 6d 61 6e 20 28 |lomon Fe|ferman (|
|00000e30| 53 74 61 6e 66 6f 72 64 | 29 20 26 20 50 65 74 72 |Stanford|) & Petr|
|00000e40| 20 48 61 6a 65 6b 20 28 | 50 72 61 67 75 65 29 20 | Hajek (|Prague) |
|00000e50| 5c 5c 0a 4a 6f 73 65 70 | 68 20 59 2e 5c 20 48 61 |\\.Josep|h Y.\ Ha|
|00000e60| 6c 70 65 72 6e 20 28 41 | 6c 6d 61 64 65 6e 29 20 |lpern (A|lmaden) |
|00000e70| 26 20 56 69 6b 74 6f 72 | 20 4d 61 72 65 6b 20 28 |& Viktor| Marek (|
|00000e80| 4c 65 78 69 6e 67 74 6f | 6e 29 20 5c 5c 0a 50 65 |Lexingto|n) \\.Pe|
|00000e90| 72 20 4d 61 72 74 69 6e | 2d 4c 5c 22 6f 66 20 28 |r Martin|-L\"of (|
|00000ea0| 53 74 6f 63 6b 68 6f 6c | 6d 29 20 26 20 4c 65 73 |Stockhol|m) & Les|
|00000eb0| 7a 65 6b 20 50 61 63 68 | 6f 6c 73 6b 69 20 28 57 |zek Pach|olski (W|
|00000ec0| 72 6f 63 6c 61 77 29 0a | 5c 65 6e 64 7b 74 61 62 |roclaw).|\end{tab|
|00000ed0| 75 6c 61 72 7d 0a 5c 70 | 61 72 5c 73 6d 61 6c 6c |ular}.\p|ar\small|
|00000ee0| 73 6b 69 70 5c 70 61 72 | 0a 54 68 65 20 70 72 6f |skip\par|.The pro|
|00000ef0| 63 65 65 64 69 6e 67 73 | 20 76 6f 6c 75 6d 65 20 |ceedings| volume |
|00000f00| 77 69 6c 6c 0a 62 65 20 | 70 75 62 6c 69 73 68 65 |will.be |publishe|
|00000f10| 64 20 69 6e 20 74 68 65 | 20 53 70 72 69 6e 67 65 |d in the| Springe|
|00000f20| 72 20 7b 5c 65 6d 20 4c | 65 63 74 75 72 65 20 4e |r {\em L|ecture N|
|00000f30| 6f 74 65 73 20 69 6e 20 | 43 6f 6d 70 75 74 65 72 |otes in |Computer|
|00000f40| 20 53 63 69 65 6e 63 65 | 7d 20 73 65 72 69 65 73 | Science|} series|
|00000f50| 2e 0a 0a 7b 5c 62 66 20 | 50 61 70 65 72 20 53 75 |...{\bf |Paper Su|
|00000f60| 62 6d 69 73 73 69 6f 6e | 3a 5c 71 75 61 64 7d 0a |bmission|:\quad}.|
|00000f70| 41 75 74 68 6f 72 73 20 | 61 72 65 20 6b 69 6e 64 |Authors |are kind|
|00000f80| 6c 79 20 72 65 71 75 65 | 73 74 65 64 20 74 6f 20 |ly reque|sted to |
|00000f90| 73 75 62 6d 69 74 20 33 | 7e 63 6f 70 69 65 73 20 |submit 3|~copies |
|00000fa0| 6f 66 20 61 20 66 75 6c | 6c 20 0a 64 72 61 66 74 |of a ful|l .draft|
|00000fb0| 20 70 61 70 65 72 20 28 | 69 6e 20 45 6e 67 6c 69 | paper (|in Engli|
|00000fc0| 73 68 29 20 6e 6f 74 20 | 65 78 63 65 65 64 69 6e |sh) not |exceedin|
|00000fd0| 67 20 31 32 7e 70 61 67 | 65 73 20 6e 6f 74 20 6c |g 12~pag|es not l|
|00000fe0| 61 74 65 72 20 0a 7b 5c | 62 66 20 4a 61 6e 75 61 |ater .{\|bf Janua|
|00000ff0| 72 79 7e 33 31 2c 20 31 | 39 39 33 7d 2c 20 74 6f |ry~31, 1|993}, to|
|00001000| 20 74 68 65 20 70 72 6f | 67 72 61 6d 20 63 6f 6d | the pro|gram com|
|00001010| 6d 69 74 74 65 65 20 63 | 68 61 69 72 6d 61 6e 20 |mittee c|hairman |
|00001020| 0a 41 6c 65 78 61 6e 64 | 65 72 20 4c 65 69 74 73 |.Alexand|er Leits|
|00001030| 63 68 2c 20 54 65 63 68 | 6e 69 73 63 68 65 20 55 |ch, Tech|nische U|
|00001040| 6e 69 76 65 72 73 69 74 | 5c 22 61 74 20 57 69 65 |niversit|\"at Wie|
|00001050| 6e 2c 0a 49 6e 73 74 69 | 74 75 74 20 66 5c 22 75 |n,.Insti|tut f\"u|
|00001060| 72 20 43 6f 6d 70 75 74 | 65 72 73 70 72 61 63 68 |r Comput|ersprach|
|00001070| 65 6e 20 7b 5c 73 63 20 | 65 7d 24 5c 6d 69 74 20 |en {\sc |e}$\mit |
|00001080| 31 38 35 2e 32 24 2c 20 | 0a 52 65 73 73 65 6c 67 |185.2$, |.Resselg|
|00001090| 61 73 73 65 20 33 2f 31 | 2c 20 41 2d 31 30 34 30 |asse 3/1|, A-1040|
|000010a0| 20 56 69 65 6e 6e 61 2c | 20 41 75 73 74 72 69 61 | Vienna,| Austria|
|000010b0| 2f 45 75 72 6f 70 65 2e | 0a 41 75 74 68 6f 72 73 |/Europe.|.Authors|
|000010c0| 20 66 72 6f 6d 20 6c 6f | 63 61 74 69 6f 6e 73 20 | from lo|cations |
|000010d0| 77 68 65 72 65 0a 61 63 | 63 65 73 73 20 74 6f 20 |where.ac|cess to |
|000010e0| 72 65 70 72 6f 64 75 63 | 74 69 6f 6e 20 66 61 63 |reproduc|tion fac|
|000010f0| 69 6c 69 74 69 65 73 20 | 69 73 20 0a 73 65 76 65 |ilities |is .seve|
|00001100| 72 65 6c 79 20 6c 69 6d | 69 74 65 64 20 6d 61 79 |rely lim|ited may|
|00001110| 20 73 75 62 6d 69 74 20 | 6f 6e 65 0a 63 6f 70 79 | submit |one.copy|
|00001120| 20 6f 6e 6c 79 2e 0a 0a | 7b 5c 62 66 20 4e 6f 74 | only...|{\bf Not|
|00001130| 69 66 69 63 61 74 69 6f | 6e 3a 5c 71 75 61 64 7d |ificatio|n:\quad}|
|00001140| 20 41 75 74 68 6f 72 73 | 20 77 69 6c 6c 20 62 65 | Authors| will be|
|00001150| 20 0a 6e 6f 74 69 66 69 | 65 64 20 6f 66 20 61 63 | .notifi|ed of ac|
|00001160| 63 65 70 74 61 6e 63 65 | 20 6f 72 20 72 65 6a 65 |ceptance| or reje|
|00001170| 63 74 69 6f 6e 0a 6f 66 | 20 74 68 65 69 72 20 73 |ction.of| their s|
|00001180| 75 62 6d 69 73 73 69 6f | 6e 73 20 62 79 20 7b 5c |ubmissio|ns by {\|
|00001190| 62 66 20 4d 61 72 63 68 | 7e 33 31 2c 20 31 39 39 |bf March|~31, 199|
|000011a0| 33 7d 2e 20 54 68 65 20 | 0a 66 69 6e 61 6c 20 63 |3}. The |.final c|
|000011b0| 61 6d 65 72 61 2d 72 65 | 61 64 79 20 76 65 72 73 |amera-re|ady vers|
|000011c0| 69 6f 6e 20 6f 66 20 74 | 68 65 20 70 61 70 65 72 |ion of t|he paper|
|000011d0| 20 6d 75 73 74 20 62 65 | 20 0a 72 65 63 65 69 76 | must be| .receiv|
|000011e0| 65 64 20 62 79 20 7b 5c | 62 66 20 4d 61 79 7e 33 |ed by {\|bf May~3|
|000011f0| 31 2c 20 31 39 39 33 7d | 2e 0a 5c 65 6e 64 7b 74 |1, 1993}|..\end{t|
|00001200| 61 62 75 6c 61 72 7d 0a | 5c 65 6e 64 7b 63 65 6e |abular}.|\end{cen|
|00001210| 74 65 72 7d 0a 5c 65 6e | 64 7b 64 6f 63 75 6d 65 |ter}.\en|d{docume|
|00001220| 6e 74 7d 0a             |                         |nt}.    |        |
+--------+-------------------------+-------------------------+--------+--------+