/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2433

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 58 72 65 66 3a 20 73 70 | 61 72 6b 79 20 63 6f 6d |Xref: sp|arky com|
|00000010| 70 2e 6c 61 6e 67 2e 70 | 72 6f 6c 6f 67 3a 32 34 |p.lang.p|rolog:24|
|00000020| 33 33 20 63 6f 6d 70 2e | 6c 61 6e 67 2e 66 75 6e |33 comp.|lang.fun|
|00000030| 63 74 69 6f 6e 61 6c 3a | 31 35 34 39 0a 50 61 74 |ctional:|1549.Pat|
|00000040| 68 3a 20 73 70 61 72 6b | 79 21 75 75 6e 65 74 21 |h: spark|y!uunet!|
|00000050| 6d 63 73 75 6e 21 6a 75 | 6c 69 65 6e 61 73 21 6c |mcsun!ju|lienas!l|
|00000060| 6f 72 69 61 21 6c 6f 72 | 69 61 2e 66 72 21 76 6f |oria!lor|ia.fr!vo|
|00000070| 72 6f 6e 6b 6f 76 0a 46 | 72 6f 6d 3a 20 76 6f 72 |ronkov.F|rom: vor|
|00000080| 6f 6e 6b 6f 76 40 6c 6f | 72 69 61 2e 66 72 20 28 |onkov@lo|ria.fr (|
|00000090| 56 6f 72 6f 6e 6b 6f 76 | 20 41 6e 64 72 65 69 29 |Voronkov| Andrei)|
|000000a0| 0a 4e 65 77 73 67 72 6f | 75 70 73 3a 20 63 6f 6d |.Newsgro|ups: com|
|000000b0| 70 2e 6c 61 6e 67 2e 70 | 72 6f 6c 6f 67 2c 63 6f |p.lang.p|rolog,co|
|000000c0| 6d 70 2e 6c 61 6e 67 2e | 66 75 6e 63 74 69 6f 6e |mp.lang.|function|
|000000d0| 61 6c 0a 53 75 62 6a 65 | 63 74 3a 20 4c 50 41 52 |al.Subje|ct: LPAR|
|000000e0| 39 33 20 43 46 50 20 28 | 4c 61 54 65 58 29 0a 4d |93 CFP (|LaTeX).M|
|000000f0| 65 73 73 61 67 65 2d 49 | 44 3a 20 3c 37 39 32 40 |essage-I|D: <792@|
|00000100| 6d 75 6c 6c 65 72 2e 6c | 6f 72 69 61 2e 66 72 3e |muller.l|oria.fr>|
|00000110| 0a 44 61 74 65 3a 20 32 | 33 20 4a 61 6e 20 39 33 |.Date: 2|3 Jan 93|
|00000120| 20 32 31 3a 35 36 3a 34 | 30 20 47 4d 54 0a 53 65 | 21:56:4|0 GMT.Se|
|00000130| 6e 64 65 72 3a 20 6e 65 | 77 73 40 6e 65 77 73 2e |nder: ne|ws@news.|
|00000140| 6c 6f 72 69 61 2e 66 72 | 0a 46 6f 6c 6c 6f 77 75 |loria.fr|.Followu|
|00000150| 70 2d 54 6f 3a 20 63 6f | 6d 70 2e 6c 61 6e 67 2e |p-To: co|mp.lang.|
|00000160| 70 72 6f 6c 6f 67 0a 4f | 72 67 61 6e 69 7a 61 74 |prolog.O|rganizat|
|00000170| 69 6f 6e 3a 20 43 52 49 | 4e 20 28 43 4e 52 53 29 |ion: CRI|N (CNRS)|
|00000180| 20 4e 61 6e 63 79 20 2d | 20 49 4e 52 49 41 20 4c | Nancy -| INRIA L|
|00000190| 6f 72 72 61 69 6e 65 0a | 4c 69 6e 65 73 3a 20 31 |orraine.|Lines: 1|
|000001a0| 36 33 0a 0a 5c 64 6f 63 | 75 6d 65 6e 74 73 74 79 |63..\doc|umentsty|
|000001b0| 6c 65 5b 31 31 70 74 5d | 7b 61 72 74 69 63 6c 65 |le[11pt]|{article|
|000001c0| 7d 0a 0a 5c 74 6f 70 6d | 61 72 67 69 6e 20 2d 31 |}..\topm|argin -1|
|000001d0| 2e 35 63 6d 0a 0a 5c 6f | 64 64 73 69 64 65 6d 61 |.5cm..\o|ddsidema|
|000001e0| 72 67 69 6e 20 2b 30 2e | 31 63 6d 20 0a 5c 74 65 |rgin +0.|1cm .\te|
|000001f0| 78 74 68 65 69 67 68 74 | 20 32 35 2e 35 63 6d 0a |xtheight| 25.5cm.|
|00000200| 5c 74 65 78 74 77 69 64 | 74 68 20 31 36 2e 35 63 |\textwid|th 16.5c|
|00000210| 6d 0a 5c 73 65 74 6c 65 | 6e 67 74 68 7b 5c 70 61 |m.\setle|ngth{\pa|
|00000220| 72 69 6e 64 65 6e 74 7d | 7b 30 63 6d 7d 0a 0a 5c |rindent}|{0cm}..\|
|00000230| 73 65 74 6c 65 6e 67 74 | 68 7b 5c 70 61 72 73 6b |setlengt|h{\parsk|
|00000240| 69 70 7d 7b 31 2e 38 65 | 78 7d 0a 0a 5c 62 65 67 |ip}{1.8e|x}..\beg|
|00000250| 69 6e 7b 64 6f 63 75 6d | 65 6e 74 7d 0a 0a 5c 66 |in{docum|ent}..\f|
|00000260| 72 61 6d 65 62 6f 78 5b | 31 2e 32 63 6d 5d 5b 63 |ramebox[|1.2cm][c|
|00000270| 5d 7b 5c 68 73 70 61 63 | 65 7b 31 2e 36 6d 6d 7d |]{\hspac|e{1.6mm}|
|00000280| 5c 48 75 67 65 20 22 5c | 68 73 70 61 63 65 7b 2d |\Huge "\|hspace{-|
|00000290| 31 6d 6d 7d 28 22 7d 5c | 68 73 70 61 63 65 7b 2e |1mm}("}\|hspace{.|
|000002a0| 35 63 6d 7d 0a 5c 62 65 | 67 69 6e 7b 6d 69 6e 69 |5cm}.\be|gin{mini|
|000002b0| 70 61 67 65 7d 5b 63 5d | 7b 31 34 2e 34 63 6d 7d |page}[c]|{14.4cm}|
|000002c0| 0a 5c 62 65 67 69 6e 7b | 63 65 6e 74 65 72 7d 0a |.\begin{|center}.|
|000002d0| 7b 5c 4c 61 72 67 65 5c | 62 66 20 4c 50 41 52 27 |{\Large\|bf LPAR'|
|000002e0| 39 33 20 2d 2d 20 34 74 | 68 20 49 6e 74 65 72 6e |93 -- 4t|h Intern|
|000002f0| 61 74 69 6f 6e 61 6c 20 | 43 6f 6e 66 65 72 65 6e |ational |Conferen|
|00000300| 63 65 20 6f 6e 5c 76 73 | 70 61 63 65 7b 32 6d 6d |ce on\vs|pace{2mm|
|00000310| 7d 5c 5c 0a 09 09 20 4c | 6f 67 69 63 20 50 72 6f |}\\... L|ogic Pro|
|00000320| 67 72 61 6d 6d 69 6e 67 | 20 61 6e 64 20 41 75 74 |gramming| and Aut|
|00000330| 6f 6d 61 74 65 64 20 52 | 65 61 73 6f 6e 69 6e 67 |omated R|easoning|
|00000340| 7d 0a 5c 65 6e 64 7b 63 | 65 6e 74 65 72 7d 0a 5c |}.\end{c|enter}.\|
|00000350| 65 6e 64 7b 6d 69 6e 69 | 70 61 67 65 7d 0a 0a 5c |end{mini|page}..\|
|00000360| 62 65 67 69 6e 7b 63 65 | 6e 74 65 72 7d 0a 7b 43 |begin{ce|nter}.{C|
|00000370| 61 6c 6c 20 66 6f 72 20 | 50 61 70 65 72 73 7d 5c |all for |Papers}\|
|00000380| 5c 20 5c 20 5c 5c 0a 09 | 7b 5c 6c 61 72 67 65 20 |\ \ \\..|{\large |
|00000390| 53 74 2e 50 65 74 65 72 | 73 62 75 72 67 2c 20 53 |St.Peter|sburg, S|
|000003a0| 68 69 70 20 60 60 4d 69 | 63 68 61 69 6c 20 4c 6f |hip ``Mi|chail Lo|
|000003b0| 6d 6f 6e 6f 73 6f 76 27 | 27 20 5c 5c 0a 09 4a 75 |monosov'|' \\..Ju|
|000003c0| 6c 79 20 31 33 2d 32 30 | 2c 20 31 39 39 33 7d 0a |ly 13-20|, 1993}.|
|000003d0| 5c 65 6e 64 7b 63 65 6e | 74 65 72 7d 0a 0a 4c 50 |\end{cen|ter}..LP|
|000003e0| 41 52 27 39 33 20 69 73 | 20 61 6e 20 69 6e 74 65 |AR'93 is| an inte|
|000003f0| 72 6e 61 74 69 6f 6e 61 | 6c 20 63 6f 6e 66 65 72 |rnationa|l confer|
|00000400| 65 6e 63 65 20 74 72 61 | 64 69 74 69 6f 6e 61 6c |ence tra|ditional|
|00000410| 6c 79 20 68 65 6c 64 20 | 69 6e 20 52 75 73 73 69 |ly held |in Russi|
|00000420| 61 20 73 69 6e 63 65 0a | 31 39 39 30 2e 20 49 74 |a since.|1990. It|
|00000430| 20 61 69 6d 73 20 61 74 | 20 62 72 69 6e 67 69 6e | aims at| bringin|
|00000440| 67 20 74 6f 67 65 74 68 | 65 72 20 72 65 73 65 61 |g togeth|er resea|
|00000450| 72 63 68 65 72 73 20 69 | 6e 74 65 72 65 73 74 65 |rchers i|ntereste|
|00000460| 64 20 69 6e 20 6c 6f 67 | 69 63 20 70 72 6f 67 72 |d in log|ic progr|
|00000470| 61 6d 6d 69 6e 67 0a 61 | 6e 64 20 61 75 74 6f 6d |amming.a|nd autom|
|00000480| 61 74 65 64 20 72 65 61 | 73 6f 6e 69 6e 67 2e 20 |ated rea|soning. |
|00000490| 4c 50 41 52 27 39 33 20 | 69 73 20 61 6c 73 6f 20 |LPAR'93 |is also |
|000004a0| 61 6e 20 65 78 63 65 6c | 6c 65 6e 74 20 6f 70 70 |an excel|lent opp|
|000004b0| 6f 72 74 75 6e 69 74 79 | 20 74 6f 20 0a 62 65 63 |ortunity| to .bec|
|000004c0| 6f 6d 65 20 62 65 74 74 | 65 72 20 61 63 71 75 61 |ome bett|er acqua|
|000004d0| 69 6e 74 65 64 20 77 69 | 74 68 20 72 65 73 65 61 |inted wi|th resea|
|000004e0| 72 63 68 20 69 6e 20 52 | 75 73 73 69 61 20 61 6e |rch in R|ussia an|
|000004f0| 64 20 6f 74 68 65 72 20 | 63 6f 75 6e 74 72 69 65 |d other |countrie|
|00000500| 73 20 6f 66 0a 74 68 65 | 20 66 6f 72 6d 65 72 20 |s of.the| former |
|00000510| 53 6f 76 69 65 74 20 55 | 6e 69 6f 6e 2e 0a 0a 7b |Soviet U|nion...{|
|00000520| 5c 62 66 20 49 6e 76 69 | 74 65 64 20 73 70 65 61 |\bf Invi|ted spea|
|00000530| 6b 65 72 73 3a 7d 0a 5c | 62 65 67 69 6e 7b 74 61 |kers:}.\|begin{ta|
|00000540| 62 62 69 6e 67 7d 0a 51 | 5c 3d 51 51 5c 3d 5c 6b |bbing}.Q|\=QQ\=\k|
|00000550| 69 6c 6c 0a 09 5c 3e 20 | 41 6c 61 6e 20 42 75 6e |ill..\> |Alan Bun|
|00000560| 64 79 20 28 45 64 69 6e | 62 75 72 67 68 20 55 6e |dy (Edin|burgh Un|
|00000570| 69 76 65 72 73 69 74 79 | 2c 20 55 4b 29 5c 5c 0a |iversity|, UK)\\.|
|00000580| 09 5c 3e 09 5c 3e 20 5c | 65 6d 20 28 54 69 74 6c |.\>.\> \|em (Titl|
|00000590| 65 20 74 6f 20 62 65 20 | 61 6e 6e 6f 75 6e 63 65 |e to be |announce|
|000005a0| 64 29 5c 5c 0a 09 5c 3e | 20 48 65 72 76 65 20 47 |d)\\..\>| Herve G|
|000005b0| 61 6c 6c 61 69 72 65 20 | 28 58 65 72 6f 78 2c 20 |allaire |(Xerox, |
|000005c0| 46 72 61 6e 63 65 29 5c | 5c 0a 09 5c 3e 09 5c 3e |France)\|\..\>.\>|
|000005d0| 20 5c 65 6d 20 52 65 73 | 65 61 72 63 68 20 69 6e | \em Res|earch in|
|000005e0| 20 4c 6f 67 69 63 20 50 | 72 6f 67 72 61 6d 6d 69 | Logic P|rogrammi|
|000005f0| 6e 67 0a 09 09 09 61 6e | 64 20 44 65 64 75 63 74 |ng....an|d Deduct|
|00000600| 69 76 65 20 44 61 74 61 | 62 61 73 65 73 3a 20 54 |ive Data|bases: T|
|00000610| 68 65 20 49 6d 70 61 63 | 74 20 6f 6e 20 49 6e 64 |he Impac|t on Ind|
|00000620| 75 73 74 72 79 5c 5c 0a | 09 5c 3e 20 52 79 75 7a |ustry\\.|.\> Ryuz|
|00000630| 6f 20 48 61 73 65 67 61 | 77 61 20 28 49 43 4f 54 |o Hasega|wa (ICOT|
|00000640| 2c 20 4a 61 70 61 6e 29 | 5c 5c 0a 09 5c 3e 09 5c |, Japan)|\\..\>.\|
|00000650| 3e 20 5c 65 6d 20 4d 6f | 64 65 6c 20 47 65 6e 65 |> \em Mo|del Gene|
|00000660| 72 61 74 69 6f 6e 20 54 | 68 65 6f 72 65 6d 20 50 |ration T|heorem P|
|00000670| 72 6f 76 65 72 73 20 6f | 6e 20 50 49 4d 5c 5c 0a |rovers o|n PIM\\.|
|00000680| 09 5c 3e 20 50 65 74 65 | 72 20 57 65 67 6e 65 72 |.\> Pete|r Wegner|
|00000690| 20 28 42 72 6f 77 6e 20 | 55 6e 69 76 65 72 73 69 | (Brown |Universi|
|000006a0| 74 79 2c 20 55 53 41 29 | 5c 5c 0a 09 5c 3e 09 5c |ty, USA)|\\..\>.\|
|000006b0| 3e 20 5c 65 6d 20 52 65 | 61 73 6f 6e 69 6e 67 20 |> \em Re|asoning |
|000006c0| 56 65 72 73 75 73 20 4d | 6f 64 65 6c 69 6e 67 20 |Versus M|odeling |
|000006d0| 69 6e 20 43 6f 6d 70 75 | 74 65 72 20 53 63 69 65 |in Compu|ter Scie|
|000006e0| 6e 63 65 5c 5c 0a 09 5c | 3e 20 4e 61 69 6c 20 5a |nce\\..\|> Nail Z|
|000006f0| 61 6d 6f 76 20 28 4b 61 | 7a 61 6e 20 55 6e 69 76 |amov (Ka|zan Univ|
|00000700| 65 72 73 69 74 79 2c 20 | 52 75 73 73 69 61 29 5c |ersity, |Russia)\|
|00000710| 5c 0a 09 5c 3e 09 5c 3e | 20 5c 65 6d 20 54 68 65 |\..\>.\>| \em The|
|00000720| 6f 72 65 6d 20 70 72 6f | 76 69 6e 67 20 69 6e 20 |orem pro|ving in |
|00000730| 4b 61 7a 61 6e 27 0a 5c | 65 6e 64 7b 74 61 62 62 |Kazan'.\|end{tabb|
|00000740| 69 6e 67 7d 0a 0a 7b 5c | 62 66 20 54 75 74 6f 72 |ing}..{\|bf Tutor|
|00000750| 69 61 6c 73 3a 7d 0a 5c | 62 65 67 69 6e 7b 74 61 |ials:}.\|begin{ta|
|00000760| 62 62 69 6e 67 7d 0a 51 | 5c 3d 51 51 5c 3d 5c 6b |bbing}.Q|\=QQ\=\k|
|00000770| 69 6c 6c 0a 09 5c 3e 20 | 4a 65 61 6e 2d 4d 61 72 |ill..\> |Jean-Mar|
|00000780| 63 20 41 6e 64 72 65 6f | 6c 69 2c 20 52 65 6d 6f |c Andreo|li, Remo|
|00000790| 20 50 61 72 65 73 63 69 | 20 28 45 43 52 43 29 3a | Paresci| (ECRC):|
|000007a0| 20 5c 5c 0a 09 5c 3e 09 | 5c 3e 20 5c 65 6d 20 4c | \\..\>.|\> \em L|
|000007b0| 69 6e 65 61 72 20 4c 6f | 67 69 63 20 50 72 6f 67 |inear Lo|gic Prog|
|000007c0| 72 61 6d 6d 69 6e 67 20 | 5c 5c 0a 09 5c 3e 20 45 |ramming |\\..\> E|
|000007d0| 76 61 6e 20 54 69 63 6b | 20 28 55 6e 69 76 65 72 |van Tick| (Univer|
|000007e0| 73 69 74 79 20 6f 66 20 | 4f 72 65 67 6f 6e 29 3a |sity of |Oregon):|
|000007f0| 20 5c 5c 0a 09 5c 3e 09 | 5c 3e 20 5c 65 6d 20 41 | \\..\>.|\> \em A|
|00000800| 6e 20 41 64 76 61 6e 63 | 65 64 20 54 75 74 6f 72 |n Advanc|ed Tutor|
|00000810| 69 61 6c 20 69 6e 20 43 | 6f 6e 63 75 72 72 65 6e |ial in C|oncurren|
|00000820| 74 20 4c 6f 67 69 63 20 | 50 72 6f 67 72 61 6d 6d |t Logic |Programm|
|00000830| 69 6e 67 3a 0a 50 61 72 | 61 64 69 67 6d 73 20 61 |ing:.Par|adigms a|
|00000840| 6e 64 20 49 6d 70 6c 65 | 6d 65 6e 74 61 74 69 6f |nd Imple|mentatio|
|00000850| 6e 5c 5c 0a 09 5c 3e 20 | 4c 65 6f 20 42 61 63 68 |n\\..\> |Leo Bach|
|00000860| 6d 61 69 72 20 28 53 55 | 4e 59 20 61 74 20 53 74 |mair (SU|NY at St|
|00000870| 6f 6e 79 20 42 72 6f 6f | 6b 29 2c 20 48 61 72 61 |ony Broo|k), Hara|
|00000880| 6c 64 20 47 61 6e 7a 69 | 6e 67 65 72 28 4d 61 78 |ld Ganzi|nger(Max|
|00000890| 20 50 6c 61 6e 6b 0a 09 | 09 49 6e 73 74 69 74 75 | Plank..|.Institu|
|000008a0| 74 20 66 5c 22 75 72 20 | 49 6e 66 6f 72 6d 61 74 |t f\"ur |Informat|
|000008b0| 69 6b 29 5c 5c 0a 09 5c | 3e 09 5c 3e 20 5c 65 6d |ik)\\..\|>.\> \em|
|000008c0| 20 50 61 72 61 6d 6f 64 | 75 6c 61 74 69 6f 6e 2d | Paramod|ulation-|
|000008d0| 62 61 73 65 64 20 54 68 | 65 6f 72 65 6d 20 50 72 |based Th|eorem Pr|
|000008e0| 6f 76 69 6e 67 20 66 6f | 72 20 46 69 72 73 74 2d |oving fo|r First-|
|000008f0| 4f 72 64 65 72 20 0a 09 | 09 4c 6f 67 69 63 20 77 |Order ..|.Logic w|
|00000900| 69 74 68 20 45 71 75 61 | 6c 69 74 79 0a 5c 65 6e |ith Equa|lity.\en|
|00000910| 64 7b 74 61 62 62 69 6e | 67 7d 0a 0a 7b 5c 62 66 |d{tabbin|g}..{\bf|
|00000920| 20 50 72 6f 67 72 61 6d | 20 43 6f 6d 6d 69 74 74 | Program| Committ|
|00000930| 65 65 3a 7d 0a 5c 62 65 | 67 69 6e 7b 74 61 62 62 |ee:}.\be|gin{tabb|
|00000940| 69 6e 67 7d 0a 51 5c 3d | 09 44 6d 69 74 72 69 20 |ing}.Q\=|.Dmitri |
|00000950| 42 6f 75 6c 61 6e 67 65 | 72 20 28 42 65 6c 67 69 |Boulange|r (Belgi|
|00000960| 75 6d 2f 52 75 73 73 69 | 61 29 4d 4d 4d 20 5c 3d |um/Russi|a)MMM \=|
|00000970| 20 5c 6b 69 6c 6c 0a 5c | 3e 09 44 6d 69 74 72 69 | \kill.\|>.Dmitri|
|00000980| 20 42 6f 75 6c 61 6e 67 | 65 72 20 28 42 65 6c 67 | Boulang|er (Belg|
|00000990| 69 75 6d 2f 52 75 73 73 | 69 61 29 0a 5c 3e 09 4d |ium/Russ|ia).\>.M|
|000009a0| 61 74 73 20 43 61 72 6c | 73 73 6f 6e 20 28 53 77 |ats Carl|sson (Sw|
|000009b0| 65 64 65 6e 29 5c 5c 0a | 5c 3e 09 50 68 69 6c 69 |eden)\\.|\>.Phili|
|000009c0| 70 70 65 20 43 6f 64 6f | 67 6e 65 74 20 28 46 72 |ppe Codo|gnet (Fr|
|000009d0| 61 6e 63 65 29 0a 5c 3e | 09 44 61 6e 6e 79 20 44 |ance).\>|.Danny D|
|000009e0| 65 20 53 63 68 72 65 79 | 65 20 28 42 65 6c 67 69 |e Schrey|e (Belgi|
|000009f0| 75 6d 29 5c 5c 0a 5c 3e | 09 4e 6f 72 62 65 72 74 |um)\\.\>|.Norbert|
|00000a00| 20 45 69 73 69 6e 67 65 | 72 20 28 47 65 72 6d 61 | Eisinge|r (Germa|
|00000a10| 6e 79 29 0a 5c 3e 09 48 | 61 72 61 6c 64 20 47 61 |ny).\>.H|arald Ga|
|00000a20| 6e 7a 69 6e 67 65 72 20 | 28 47 65 72 6d 61 6e 79 |nzinger |(Germany|
|00000a30| 29 5c 5c 0a 5c 3e 09 52 | 79 75 7a 6f 20 48 61 73 |)\\.\>.R|yuzo Has|
|00000a40| 65 67 61 77 61 20 28 4a | 61 70 61 6e 29 0a 5c 3e |egawa (J|apan).\>|
|00000a50| 09 53 74 65 66 66 65 6e | 20 48 7b 5c 22 6f 7d 6c |.Steffen| H{\"o}l|
|00000a60| 6c 64 6f 62 6c 65 72 20 | 28 47 65 72 6d 61 6e 79 |ldobler |(Germany|
|00000a70| 29 5c 5c 0a 5c 3e 09 44 | 65 65 70 61 6b 20 4b 61 |)\\.\>.D|eepak Ka|
|00000a80| 70 75 72 20 28 55 53 41 | 29 0a 5c 3e 09 4a 65 61 |pur (USA|).\>.Jea|
|00000a90| 6e 2d 4c 6f 75 69 73 20 | 20 4c 61 73 73 65 7a 20 |n-Louis | Lassez |
|00000aa0| 28 55 53 41 29 20 5c 5c | 0a 5c 3e 09 41 6c 65 78 |(USA) \\|.\>.Alex|
|00000ab0| 61 6e 64 65 72 20 4c 65 | 69 74 73 63 68 20 28 41 |ander Le|itsch (A|
|00000ac0| 75 73 74 72 69 61 29 0a | 5c 3e 09 47 69 6f 72 67 |ustria).|\>.Giorg|
|00000ad0| 69 6f 20 4c 65 76 69 20 | 28 49 74 61 6c 79 29 5c |io Levi |(Italy)\|
|00000ae0| 5c 0a 5c 3e 09 4a 6f 68 | 6e 20 4c 6c 6f 79 64 20 |\.\>.Joh|n Lloyd |
|00000af0| 28 55 4b 29 0a 5c 3e 09 | 45 77 69 6e 67 20 4c 75 |(UK).\>.|Ewing Lu|
|00000b00| 73 6b 20 28 55 53 41 29 | 5c 5c 0a 5c 3e 09 44 61 |sk (USA)|\\.\>.Da|
|00000b10| 6c 65 20 4d 69 6c 6c 65 | 72 20 28 55 53 41 29 0a |le Mille|r (USA).|
|00000b20| 5c 3e 09 4a 61 63 6b 20 | 4d 69 6e 6b 65 72 20 28 |\>.Jack |Minker (|
|00000b30| 55 53 41 29 5c 5c 0a 5c | 3e 09 47 72 65 67 6f 72 |USA)\\.\|>.Gregor|
|00000b40| 79 20 4d 69 6e 74 73 20 | 28 55 53 41 2f 45 73 74 |y Mints |(USA/Est|
|00000b50| 6f 6e 69 61 29 0a 5c 3e | 09 41 6c 61 6e 20 4d 79 |onia).\>|.Alan My|
|00000b60| 63 72 6f 66 74 20 28 55 | 4b 29 5c 5c 0a 5c 3e 09 |croft (U|K)\\.\>.|
|00000b70| 4c 65 65 20 4e 61 69 73 | 68 20 28 41 75 73 74 72 |Lee Nais|h (Austr|
|00000b80| 61 6c 69 61 29 0a 5c 3e | 09 48 61 6e 73 2d 4a 75 |alia).\>|.Hans-Ju|
|00000b90| 72 67 65 6e 20 4f 68 6c | 62 61 63 68 20 28 47 65 |rgen Ohl|bach (Ge|
|00000ba0| 72 6d 61 6e 79 29 5c 5c | 0a 5c 3e 09 4d 69 63 68 |rmany)\\|.\>.Mich|
|00000bb0| 65 6c 20 50 61 72 69 67 | 6f 74 20 28 46 72 61 6e |el Parig|ot (Fran|
|00000bc0| 63 65 29 0a 5c 3e 09 46 | 72 61 6e 6b 20 50 66 65 |ce).\>.F|rank Pfe|
|00000bd0| 6e 6e 69 6e 67 20 28 55 | 53 41 29 5c 5c 0a 5c 3e |nning (U|SA)\\.\>|
|00000be0| 09 56 6c 61 64 69 6d 69 | 72 20 53 61 7a 6f 6e 6f |.Vladimi|r Sazono|
|00000bf0| 76 20 28 52 75 73 73 69 | 61 29 0a 5c 3e 09 4d 61 |v (Russi|a).\>.Ma|
|00000c00| 72 65 6b 20 53 65 72 67 | 6f 74 20 28 55 4b 29 5c |rek Serg|ot (UK)\|
|00000c10| 5c 0a 5c 3e 09 4d 61 72 | 6b 20 53 74 69 63 6b 65 |\.\>.Mar|k Sticke|
|00000c20| 6c 20 28 55 53 41 29 0a | 5c 3e 09 50 61 73 63 61 |l (USA).|\>.Pasca|
|00000c30| 6c 20 56 61 6e 20 48 65 | 6e 74 65 6e 72 79 63 6b |l Van He|ntenryck|
|00000c40| 20 28 55 53 41 29 5c 5c | 0a 5c 3e 09 4b 6f 6e 73 | (USA)\\|.\>.Kons|
|00000c50| 74 61 6e 74 69 6e 20 56 | 65 72 73 68 69 6e 69 6e |tantin V|ershinin|
|00000c60| 20 28 55 6b 72 61 69 6e | 65 29 0a 5c 3e 09 41 6e | (Ukrain|e).\>.An|
|00000c70| 64 72 65 69 20 56 6f 72 | 6f 6e 6b 6f 76 20 28 52 |drei Vor|onkov (R|
|00000c80| 75 73 73 69 61 29 20 2d | 20 63 68 61 69 72 5c 5c |ussia) -| chair\\|
|00000c90| 0a 5c 3e 09 4e 61 69 6c | 20 5a 61 6d 6f 76 20 28 |.\>.Nail| Zamov (|
|00000ca0| 52 75 73 73 69 61 29 0a | 5c 65 6e 64 7b 74 61 62 |Russia).|\end{tab|
|00000cb0| 62 69 6e 67 7d 0a 0a 5c | 6e 65 77 70 61 67 65 0a |bing}..\|newpage.|
|00000cc0| 0a 7b 5c 62 66 20 4f 72 | 67 61 6e 69 7a 69 6e 67 |.{\bf Or|ganizing|
|00000cd0| 20 43 6f 6d 6d 69 74 74 | 65 65 3a 7d 0a 5c 62 65 | Committ|ee:}.\be|
|00000ce0| 67 69 6e 7b 74 61 62 62 | 69 6e 67 7d 0a 51 5c 3d |gin{tabb|ing}.Q\=|
|00000cf0| 5c 6b 69 6c 6c 0a 5c 3e | 09 45 75 67 65 6e 65 20 |\kill.\>|.Eugene |
|00000d00| 44 61 6e 74 73 69 6e 20 | 28 52 75 73 73 69 61 29 |Dantsin |(Russia)|
|00000d10| 20 5c 5c 0a 5c 3e 09 52 | 6f 62 65 72 74 20 46 72 | \\.\>.R|obert Fr|
|00000d20| 65 69 64 73 6f 6e 20 28 | 52 75 73 73 69 61 2f 55 |eidson (|Russia/U|
|00000d30| 53 41 29 20 2d 20 63 68 | 61 69 72 5c 5c 0a 5c 3e |SA) - ch|air\\.\>|
|00000d40| 09 41 6e 64 72 65 69 20 | 56 6f 72 6f 6e 6b 6f 76 |.Andrei |Voronkov|
|00000d50| 20 28 52 75 73 73 69 61 | 29 20 0a 5c 65 6e 64 7b | (Russia|) .\end{|
|00000d60| 74 61 62 62 69 6e 67 7d | 0a 0a 7b 5c 62 66 20 54 |tabbing}|..{\bf T|
|00000d70| 6f 70 69 63 73 20 6f 66 | 20 69 6e 74 65 72 65 73 |opics of| interes|
|00000d80| 74 7d 20 69 6e 63 6c 75 | 64 65 2c 20 62 75 74 20 |t} inclu|de, but |
|00000d90| 61 72 65 20 6e 6f 74 20 | 72 65 73 74 72 69 63 74 |are not |restrict|
|00000da0| 65 64 20 74 6f 3a 0a 5c | 62 65 67 69 6e 7b 74 61 |ed to:.\|begin{ta|
|00000db0| 62 62 69 6e 67 7d 0a 51 | 5c 3d 46 6f 72 6d 61 6c |bbing}.Q|\=Formal|
|00000dc0| 20 6d 65 74 68 6f 64 73 | 20 69 6e 20 73 6f 66 74 | methods| in soft|
|00000dd0| 77 61 72 65 20 61 6e 64 | 20 68 61 72 64 77 61 72 |ware and| hardwar|
|00000de0| 65 51 51 5c 3d 5c 2b 5c | 6b 69 6c 6c 0a 43 6f 6e |eQQ\=\+\|kill.Con|
|00000df0| 73 74 72 61 69 6e 74 73 | 20 5c 3e 0a 44 65 64 75 |straints| \>.Dedu|
|00000e00| 63 74 69 76 65 20 64 61 | 74 61 62 61 73 65 73 20 |ctive da|tabases |
|00000e10| 5c 5c 0a 46 6f 72 6d 61 | 6c 20 6d 65 74 68 6f 64 |\\.Forma|l method|
|00000e20| 73 20 69 6e 20 73 6f 66 | 74 77 61 72 65 20 61 6e |s in sof|tware an|
|00000e30| 64 20 68 61 72 64 77 61 | 72 65 20 5c 3e 0a 49 6d |d hardwa|re \>.Im|
|00000e40| 70 6c 65 6d 65 6e 74 61 | 74 69 6f 6e 20 74 65 63 |plementa|tion tec|
|00000e50| 68 6e 69 71 75 65 73 20 | 5c 5c 0a 49 6e 64 75 63 |hniques |\\.Induc|
|00000e60| 74 69 76 65 20 74 68 65 | 6f 72 65 6d 20 70 72 6f |tive the|orem pro|
|00000e70| 76 69 6e 67 20 5c 3e 0a | 4c 6f 67 69 63 61 6c 20 |ving \>.|Logical |
|00000e80| 46 72 61 6d 65 77 6f 72 | 6b 73 20 5c 5c 0a 4c 50 |Framewor|ks \\.LP|
|00000e90| 41 52 20 69 6e 20 61 72 | 74 69 66 69 63 69 61 6c |AR in ar|tificial|
|00000ea0| 20 69 6e 74 65 6c 6c 69 | 67 65 6e 63 65 20 5c 3e | intelli|gence \>|
|00000eb0| 0a 4d 65 74 61 2d 70 72 | 6f 67 72 61 6d 6d 69 6e |.Meta-pr|ogrammin|
|00000ec0| 67 20 5c 5c 0a 50 61 72 | 61 6c 6c 65 6c 69 73 6d |g \\.Par|allelism|
|00000ed0| 20 61 6e 64 20 63 6f 6e | 63 75 72 72 65 6e 63 79 | and con|currency|
|00000ee0| 20 5c 3e 0a 50 72 6f 67 | 72 61 6d 20 73 79 6e 74 | \>.Prog|ram synt|
|00000ef0| 68 65 73 69 73 20 61 6e | 64 20 76 65 72 69 66 69 |hesis an|d verifi|
|00000f00| 63 61 74 69 6f 6e 20 5c | 5c 0a 50 72 6f 67 72 61 |cation \|\.Progra|
|00000f10| 6d 6d 69 6e 67 20 69 6e | 20 63 6f 6e 73 74 72 75 |mming in| constru|
|00000f20| 63 74 69 76 65 20 6c 6f | 67 69 63 20 5c 3e 0a 54 |ctive lo|gic \>.T|
|00000f30| 68 65 6f 72 65 6d 20 70 | 72 6f 76 69 6e 67 20 5c |heorem p|roving \|
|00000f40| 5c 0a 54 68 65 6f 72 79 | 20 61 6e 64 20 66 6f 75 |\.Theory| and fou|
|00000f50| 6e 64 61 74 69 6f 6e 73 | 20 5c 3e 0a 55 6e 69 66 |ndations| \>.Unif|
|00000f60| 69 63 61 74 69 6f 6e 20 | 74 68 65 6f 72 79 20 61 |ication |theory a|
|00000f70| 6e 64 20 72 65 77 72 69 | 74 69 6e 67 0a 5c 65 6e |nd rewri|ting.\en|
|00000f80| 64 7b 74 61 62 62 69 6e | 67 7d 0a 0a 41 75 74 68 |d{tabbin|g}..Auth|
|00000f90| 6f 72 73 20 61 72 65 20 | 69 6e 76 69 74 65 64 20 |ors are |invited |
|00000fa0| 74 6f 20 73 75 62 6d 69 | 74 20 35 20 63 6f 70 69 |to submi|t 5 copi|
|00000fb0| 65 73 20 6f 66 20 74 68 | 65 69 72 20 6d 61 6e 75 |es of th|eir manu|
|00000fc0| 73 63 72 69 70 74 73 20 | 74 6f 20 74 68 65 20 61 |scripts |to the a|
|00000fd0| 64 64 72 65 73 73 3a 0a | 5c 62 65 67 69 6e 7b 63 |ddress:.|\begin{c|
|00000fe0| 65 6e 74 65 72 7d 0a 41 | 6e 64 72 65 69 20 56 6f |enter}.A|ndrei Vo|
|00000ff0| 72 6f 6e 6b 6f 76 20 2d | 2d 20 4c 50 41 52 27 39 |ronkov -|- LPAR'9|
|00001000| 33 5c 5c 0a 43 52 49 4e | 2d 43 4e 52 53 20 5c 26 |3\\.CRIN|-CNRS \&|
|00001010| 20 49 4e 52 49 41 20 4c | 6f 72 72 61 69 6e 65 5c | INRIA L|orraine\|
|00001020| 5c 20 0a 42 61 74 69 6d | 65 6e 74 20 4c 6f 72 69 |\ .Batim|ent Lori|
|00001030| 61 2c 20 42 50 20 32 33 | 39 20 20 20 20 20 5c 5c |a, BP 23|9     \\|
|00001040| 0a 35 34 35 30 36 20 56 | 61 6e 64 6f 65 75 76 72 |.54506 V|andoeuvr|
|00001050| 65 2d 6c 65 73 2d 4e 61 | 6e 63 79 20 43 65 64 65 |e-les-Na|ncy Cede|
|00001060| 78 5c 5c 0a 46 72 61 6e | 63 65 0a 5c 65 6e 64 7b |x\\.Fran|ce.\end{|
|00001070| 63 65 6e 74 65 72 7d 0a | 0a 46 6f 72 20 63 6f 75 |center}.|.For cou|
|00001080| 6e 74 72 69 65 73 20 77 | 68 65 72 65 20 63 6f 70 |ntries w|here cop|
|00001090| 79 69 6e 67 20 6d 61 79 | 20 62 65 20 61 20 70 72 |ying may| be a pr|
|000010a0| 6f 62 6c 65 6d 20 6f 6e | 65 20 63 6f 70 79 20 77 |oblem on|e copy w|
|000010b0| 69 6c 6c 20 62 65 20 73 | 75 66 66 69 63 69 65 6e |ill be s|ufficien|
|000010c0| 74 2e 0a 45 6d 61 69 6c | 20 5c 54 65 58 2f 5c 4c |t..Email| \TeX/\L|
|000010d0| 61 54 65 58 5c 20 73 75 | 62 6d 69 73 73 69 6f 6e |aTeX\ su|bmission|
|000010e0| 73 20 61 72 65 20 61 63 | 63 65 70 74 61 62 6c 65 |s are ac|ceptable|
|000010f0| 20 66 72 6f 6d 20 74 68 | 65 20 63 6f 75 6e 74 72 | from th|e countr|
|00001100| 69 65 73 20 77 69 74 68 | 20 70 6f 73 74 61 6c 20 |ies with| postal |
|00001110| 70 72 6f 62 6c 65 6d 73 | 2e 20 50 72 6f 63 65 65 |problems|. Procee|
|00001120| 64 69 6e 67 73 20 77 69 | 6c 6c 20 62 65 20 70 75 |dings wi|ll be pu|
|00001130| 62 6c 69 73 68 65 64 20 | 69 6e 20 74 68 65 20 73 |blished |in the s|
|00001140| 65 72 69 65 73 20 60 60 | 4c 65 63 74 75 72 65 20 |eries ``|Lecture |
|00001150| 4e 6f 74 65 73 20 69 6e | 20 0a 41 72 74 69 66 69 |Notes in| .Artifi|
|00001160| 63 69 61 6c 20 49 6e 74 | 65 6c 6c 69 67 65 6e 63 |cial Int|elligenc|
|00001170| 65 27 27 20 62 79 20 53 | 70 72 69 6e 67 65 72 20 |e'' by S|pringer |
|00001180| 56 65 72 6c 61 67 2e 20 | 28 50 72 6f 63 65 65 64 |Verlag. |(Proceed|
|00001190| 69 6e 67 73 20 6f 66 20 | 74 68 65 20 0a 70 72 65 |ings of |the .pre|
|000011a0| 76 69 6f 75 73 20 63 6f | 6e 66 65 72 65 6e 63 65 |vious co|nference|
|000011b0| 73 20 77 65 72 65 20 70 | 75 62 6c 69 73 68 65 64 |s were p|ublished|
|000011c0| 20 69 6e 20 4c 4e 41 49 | 20 76 76 2e 35 39 32 20 | in LNAI| vv.592 |
|000011d0| 61 6e 64 20 36 32 34 29 | 2e 0a 0a 54 68 65 72 65 |and 624)|...There|
|000011e0| 20 61 72 65 20 74 68 72 | 65 65 20 6b 69 6e 64 73 | are thr|ee kinds|
|000011f0| 20 6f 66 20 73 75 62 6d | 69 73 73 69 6f 6e 73 3a | of subm|issions:|
|00001200| 20 7b 5c 65 6d 20 6c 6f | 6e 67 20 70 61 70 65 72 | {\em lo|ng paper|
|00001210| 73 5c 2f 7d 20 28 75 70 | 20 74 6f 20 31 32 20 70 |s\/} (up| to 12 p|
|00001220| 61 67 65 73 29 2c 20 0a | 7b 5c 65 6d 20 73 68 6f |ages), .|{\em sho|
|00001230| 72 74 20 70 61 70 65 72 | 73 5c 2f 7d 20 28 75 70 |rt paper|s\/} (up|
|00001240| 20 74 6f 20 36 20 70 61 | 67 65 73 29 2c 20 6f 72 | to 6 pa|ges), or|
|00001250| 20 7b 5c 65 6d 20 73 79 | 73 74 65 6d 20 64 65 73 | {\em sy|stem des|
|00001260| 63 72 69 70 74 69 6f 6e | 73 5c 2f 7d 20 28 75 70 |cription|s\/} (up|
|00001270| 20 74 6f 20 33 20 0a 70 | 61 67 65 73 29 2e 20 41 | to 3 .p|ages). A|
|00001280| 6c 6c 20 70 61 70 65 72 | 73 20 6d 75 73 74 20 62 |ll paper|s must b|
|00001290| 65 20 77 72 69 74 74 65 | 6e 20 69 6e 20 45 6e 67 |e writte|n in Eng|
|000012a0| 6c 69 73 68 2e 20 0a 53 | 75 62 6d 69 73 73 69 6f |lish. .S|ubmissio|
|000012b0| 6e 73 20 73 68 6f 75 6c | 64 20 62 65 20 61 63 63 |ns shoul|d be acc|
|000012c0| 6f 6d 70 61 6e 69 65 64 | 20 62 79 20 61 20 6f 6e |ompanied| by a on|
|000012d0| 65 2d 70 61 67 65 20 61 | 62 73 74 72 61 63 74 20 |e-page a|bstract |
|000012e0| 73 65 6e 74 20 65 69 74 | 68 65 72 0a 74 6f 20 74 |sent eit|her.to t|
|000012f0| 68 65 20 73 61 6d 65 20 | 61 64 64 72 65 73 73 20 |he same |address |
|00001300| 6f 72 20 28 70 72 65 66 | 65 72 61 62 6c 79 29 20 |or (pref|erably) |
|00001310| 62 79 20 65 6d 61 69 6c | 20 74 6f 20 76 6f 72 6f |by email| to voro|
|00001320| 6e 6b 6f 76 40 6c 6f 72 | 69 61 2e 66 72 2e 20 54 |nkov@lor|ia.fr. T|
|00001330| 68 65 20 61 62 73 74 72 | 61 63 74 20 73 68 6f 75 |he abstr|act shou|
|00001340| 6c 64 20 69 6e 63 6c 75 | 64 65 0a 61 75 74 68 6f |ld inclu|de.autho|
|00001350| 72 27 73 20 6e 61 6d 65 | 28 73 29 2c 20 61 66 66 |r's name|(s), aff|
|00001360| 69 6c 69 61 74 69 6f 6e | 2c 20 70 6f 73 74 61 6c |iliation|, postal|
|00001370| 20 61 6e 64 20 65 6d 61 | 69 6c 20 61 64 64 72 65 | and ema|il addre|
|00001380| 73 73 65 73 2e 20 20 0a | 0a 54 68 65 20 70 72 6f |sses.  .|.The pro|
|00001390| 67 72 61 6d 20 77 69 6c | 6c 20 61 6c 73 6f 20 69 |gram wil|l also i|
|000013a0| 6e 63 6c 75 64 65 20 61 | 20 73 70 65 63 69 61 6c |nclude a| special|
|000013b0| 20 73 65 73 73 69 6f 6e | 20 6f 6e 20 73 79 73 74 | session| on syst|
|000013c0| 65 6d 20 64 65 6d 6f 6e | 73 74 72 61 74 69 6f 6e |em demon|stration|
|000013d0| 73 20 28 49 42 4d 20 50 | 43 73 0a 61 6e 64 20 53 |s (IBM P|Cs.and S|
|000013e0| 50 41 52 43 73 74 61 74 | 69 6f 6e 73 29 20 61 6e |PARCstat|ions) an|
|000013f0| 64 20 73 65 76 65 72 61 | 6c 20 74 75 74 6f 72 69 |d severa|l tutori|
|00001400| 61 6c 73 20 64 65 6c 69 | 76 65 72 65 64 20 62 79 |als deli|vered by|
|00001410| 20 6d 61 6a 6f 72 20 72 | 65 73 65 61 72 63 68 65 | major r|esearche|
|00001420| 72 73 20 69 6e 0a 74 68 | 65 20 66 69 65 6c 64 2e |rs in.th|e field.|
|00001430| 0a 0a 7b 5c 62 66 20 49 | 6d 70 6f 72 74 61 6e 74 |..{\bf I|mportant|
|00001440| 20 64 61 74 65 73 3a 7d | 0a 5c 62 65 67 69 6e 7b | dates:}|.\begin{|
|00001450| 74 61 62 62 69 6e 67 7d | 0a 51 5c 3d 46 69 6e 61 |tabbing}|.Q\=Fina|
|00001460| 6c 20 56 65 72 73 69 6f | 6e 3a 5c 20 5c 3d 5c 2b |l Versio|n:\ \=\+|
|00001470| 5c 6b 69 6c 6c 0a 09 53 | 75 62 6d 69 73 73 69 6f |\kill..S|ubmissio|
|00001480| 6e 3a 20 20 20 20 5c 3e | 09 46 65 62 72 75 61 72 |n:    \>|.Februar|
|00001490| 79 20 31 5c 5c 0a 09 4e | 6f 74 69 66 69 63 61 74 |y 1\\..N|otificat|
|000014a0| 69 6f 6e 3a 20 20 5c 3e | 09 4d 61 72 63 68 20 32 |ion:  \>|.March 2|
|000014b0| 30 5c 5c 0a 09 46 69 6e | 61 6c 20 56 65 72 73 69 |0\\..Fin|al Versi|
|000014c0| 6f 6e 3a 20 5c 3e 09 41 | 70 72 69 6c 20 32 30 0a |on: \>.A|pril 20.|
|000014d0| 5c 65 6e 64 7b 74 61 62 | 62 69 6e 67 7d 0a 0a 46 |\end{tab|bing}..F|
|000014e0| 75 72 74 68 65 72 20 69 | 6e 66 6f 72 6d 61 74 69 |urther i|nformati|
|000014f0| 6f 6e 20 6d 61 79 20 62 | 65 20 6f 62 74 61 69 6e |on may b|e obtain|
|00001500| 65 64 20 61 74 20 74 68 | 65 20 65 6d 61 69 6c 20 |ed at th|e email |
|00001510| 61 64 64 72 65 73 73 20 | 76 6f 72 6f 6e 6b 6f 76 |address |voronkov|
|00001520| 40 6c 6f 72 69 61 2e 66 | 72 2e 0a 0a 5c 65 6e 64 |@loria.f|r...\end|
|00001530| 7b 64 6f 63 75 6d 65 6e | 74 7d 0a 0a             |{documen|t}..    |
+--------+-------------------------+-------------------------+--------+--------+