/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / ai / 4981

< prev

next >

MacOS 8.1

Win98

DOS

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 6d 63 73 75 6e | 21 6a 75 6c 69 65 6e 61 |et!mcsun|!juliena|
|00000020| 73 21 6c 6f 72 69 61 21 | 6c 6f 72 69 61 2e 66 72 |s!loria!|loria.fr|
|00000030| 21 76 6f 72 6f 6e 6b 6f | 76 0a 46 72 6f 6d 3a 20 |!voronko|v.From: |
|00000040| 76 6f 72 6f 6e 6b 6f 76 | 40 6c 6f 72 69 61 2e 66 |voronkov|@loria.f|
|00000050| 72 20 28 56 6f 72 6f 6e | 6b 6f 76 20 41 6e 64 72 |r (Voron|kov Andr|
|00000060| 65 69 29 0a 4e 65 77 73 | 67 72 6f 75 70 73 3a 20 |ei).News|groups: |
|00000070| 63 6f 6d 70 2e 61 69 0a | 53 75 62 6a 65 63 74 3a |comp.ai.|Subject:|
|00000080| 20 4c 50 41 52 39 33 20 | 43 46 50 20 28 4c 61 54 | LPAR93 |CFP (LaT|
|00000090| 65 58 29 0a 4d 65 73 73 | 61 67 65 2d 49 44 3a 20 |eX).Mess|age-ID: |
|000000a0| 3c 37 38 35 40 6d 75 6c | 6c 65 72 2e 6c 6f 72 69 |<785@mul|ler.lori|
|000000b0| 61 2e 66 72 3e 0a 44 61 | 74 65 3a 20 32 33 20 4a |a.fr>.Da|te: 23 J|
|000000c0| 61 6e 20 39 33 20 32 31 | 3a 34 36 3a 33 39 20 47 |an 93 21|:46:39 G|
|000000d0| 4d 54 0a 53 65 6e 64 65 | 72 3a 20 6e 65 77 73 40 |MT.Sende|r: news@|
|000000e0| 6e 65 77 73 2e 6c 6f 72 | 69 61 2e 66 72 0a 4f 72 |news.lor|ia.fr.Or|
|000000f0| 67 61 6e 69 7a 61 74 69 | 6f 6e 3a 20 43 52 49 4e |ganizati|on: CRIN|
|00000100| 20 28 43 4e 52 53 29 20 | 4e 61 6e 63 79 20 2d 20 | (CNRS) |Nancy - |
|00000110| 49 4e 52 49 41 20 4c 6f | 72 72 61 69 6e 65 0a 4c |INRIA Lo|rraine.L|
|00000120| 69 6e 65 73 3a 20 31 36 | 33 0a 0a 5c 64 6f 63 75 |ines: 16|3..\docu|
|00000130| 6d 65 6e 74 73 74 79 6c | 65 5b 31 31 70 74 5d 7b |mentstyl|e[11pt]{|
|00000140| 61 72 74 69 63 6c 65 7d | 0a 0a 5c 74 6f 70 6d 61 |article}|..\topma|
|00000150| 72 67 69 6e 20 2d 31 2e | 35 63 6d 0a 0a 5c 6f 64 |rgin -1.|5cm..\od|
|00000160| 64 73 69 64 65 6d 61 72 | 67 69 6e 20 2b 30 2e 31 |dsidemar|gin +0.1|
|00000170| 63 6d 20 0a 5c 74 65 78 | 74 68 65 69 67 68 74 20 |cm .\tex|theight |
|00000180| 32 35 2e 35 63 6d 0a 5c | 74 65 78 74 77 69 64 74 |25.5cm.\|textwidt|
|00000190| 68 20 31 36 2e 35 63 6d | 0a 5c 73 65 74 6c 65 6e |h 16.5cm|.\setlen|
|000001a0| 67 74 68 7b 5c 70 61 72 | 69 6e 64 65 6e 74 7d 7b |gth{\par|indent}{|
|000001b0| 30 63 6d 7d 0a 0a 5c 73 | 65 74 6c 65 6e 67 74 68 |0cm}..\s|etlength|
|000001c0| 7b 5c 70 61 72 73 6b 69 | 70 7d 7b 31 2e 38 65 78 |{\parski|p}{1.8ex|
|000001d0| 7d 0a 0a 5c 62 65 67 69 | 6e 7b 64 6f 63 75 6d 65 |}..\begi|n{docume|
|000001e0| 6e 74 7d 0a 0a 5c 66 72 | 61 6d 65 62 6f 78 5b 31 |nt}..\fr|amebox[1|
|000001f0| 2e 32 63 6d 5d 5b 63 5d | 7b 5c 68 73 70 61 63 65 |.2cm][c]|{\hspace|
|00000200| 7b 31 2e 36 6d 6d 7d 5c | 48 75 67 65 20 22 5c 68 |{1.6mm}\|Huge "\h|
|00000210| 73 70 61 63 65 7b 2d 31 | 6d 6d 7d 28 22 7d 5c 68 |space{-1|mm}("}\h|
|00000220| 73 70 61 63 65 7b 2e 35 | 63 6d 7d 0a 5c 62 65 67 |space{.5|cm}.\beg|
|00000230| 69 6e 7b 6d 69 6e 69 70 | 61 67 65 7d 5b 63 5d 7b |in{minip|age}[c]{|
|00000240| 31 34 2e 34 63 6d 7d 0a | 5c 62 65 67 69 6e 7b 63 |14.4cm}.|\begin{c|
|00000250| 65 6e 74 65 72 7d 0a 7b | 5c 4c 61 72 67 65 5c 62 |enter}.{|\Large\b|
|00000260| 66 20 4c 50 41 52 27 39 | 33 20 2d 2d 20 34 74 68 |f LPAR'9|3 -- 4th|
|00000270| 20 49 6e 74 65 72 6e 61 | 74 69 6f 6e 61 6c 20 43 | Interna|tional C|
|00000280| 6f 6e 66 65 72 65 6e 63 | 65 20 6f 6e 5c 76 73 70 |onferenc|e on\vsp|
|00000290| 61 63 65 7b 32 6d 6d 7d | 5c 5c 0a 09 09 20 4c 6f |ace{2mm}|\\... Lo|
|000002a0| 67 69 63 20 50 72 6f 67 | 72 61 6d 6d 69 6e 67 20 |gic Prog|ramming |
|000002b0| 61 6e 64 20 41 75 74 6f | 6d 61 74 65 64 20 52 65 |and Auto|mated Re|
|000002c0| 61 73 6f 6e 69 6e 67 7d | 0a 5c 65 6e 64 7b 63 65 |asoning}|.\end{ce|
|000002d0| 6e 74 65 72 7d 0a 5c 65 | 6e 64 7b 6d 69 6e 69 70 |nter}.\e|nd{minip|
|000002e0| 61 67 65 7d 0a 0a 5c 62 | 65 67 69 6e 7b 63 65 6e |age}..\b|egin{cen|
|000002f0| 74 65 72 7d 0a 7b 43 61 | 6c 6c 20 66 6f 72 20 50 |ter}.{Ca|ll for P|
|00000300| 61 70 65 72 73 7d 5c 5c | 20 5c 20 5c 5c 0a 09 7b |apers}\\| \ \\..{|
|00000310| 5c 6c 61 72 67 65 20 53 | 74 2e 50 65 74 65 72 73 |\large S|t.Peters|
|00000320| 62 75 72 67 2c 20 53 68 | 69 70 20 60 60 4d 69 63 |burg, Sh|ip ``Mic|
|00000330| 68 61 69 6c 20 4c 6f 6d | 6f 6e 6f 73 6f 76 27 27 |hail Lom|onosov''|
|00000340| 20 5c 5c 0a 09 4a 75 6c | 79 20 31 33 2d 32 30 2c | \\..Jul|y 13-20,|
|00000350| 20 31 39 39 33 7d 0a 5c | 65 6e 64 7b 63 65 6e 74 | 1993}.\|end{cent|
|00000360| 65 72 7d 0a 0a 4c 50 41 | 52 27 39 33 20 69 73 20 |er}..LPA|R'93 is |
|00000370| 61 6e 20 69 6e 74 65 72 | 6e 61 74 69 6f 6e 61 6c |an inter|national|
|00000380| 20 63 6f 6e 66 65 72 65 | 6e 63 65 20 74 72 61 64 | confere|nce trad|
|00000390| 69 74 69 6f 6e 61 6c 6c | 79 20 68 65 6c 64 20 69 |itionall|y held i|
|000003a0| 6e 20 52 75 73 73 69 61 | 20 73 69 6e 63 65 0a 31 |n Russia| since.1|
|000003b0| 39 39 30 2e 20 49 74 20 | 61 69 6d 73 20 61 74 20 |990. It |aims at |
|000003c0| 62 72 69 6e 67 69 6e 67 | 20 74 6f 67 65 74 68 65 |bringing| togethe|
|000003d0| 72 20 72 65 73 65 61 72 | 63 68 65 72 73 20 69 6e |r resear|chers in|
|000003e0| 74 65 72 65 73 74 65 64 | 20 69 6e 20 6c 6f 67 69 |terested| in logi|
|000003f0| 63 20 70 72 6f 67 72 61 | 6d 6d 69 6e 67 0a 61 6e |c progra|mming.an|
|00000400| 64 20 61 75 74 6f 6d 61 | 74 65 64 20 72 65 61 73 |d automa|ted reas|
|00000410| 6f 6e 69 6e 67 2e 20 4c | 50 41 52 27 39 33 20 69 |oning. L|PAR'93 i|
|00000420| 73 20 61 6c 73 6f 20 61 | 6e 20 65 78 63 65 6c 6c |s also a|n excell|
|00000430| 65 6e 74 20 6f 70 70 6f | 72 74 75 6e 69 74 79 20 |ent oppo|rtunity |
|00000440| 74 6f 20 0a 62 65 63 6f | 6d 65 20 62 65 74 74 65 |to .beco|me bette|
|00000450| 72 20 61 63 71 75 61 69 | 6e 74 65 64 20 77 69 74 |r acquai|nted wit|
|00000460| 68 20 72 65 73 65 61 72 | 63 68 20 69 6e 20 52 75 |h resear|ch in Ru|
|00000470| 73 73 69 61 20 61 6e 64 | 20 6f 74 68 65 72 20 63 |ssia and| other c|
|00000480| 6f 75 6e 74 72 69 65 73 | 20 6f 66 0a 74 68 65 20 |ountries| of.the |
|00000490| 66 6f 72 6d 65 72 20 53 | 6f 76 69 65 74 20 55 6e |former S|oviet Un|
|000004a0| 69 6f 6e 2e 0a 0a 7b 5c | 62 66 20 49 6e 76 69 74 |ion...{\|bf Invit|
|000004b0| 65 64 20 73 70 65 61 6b | 65 72 73 3a 7d 0a 5c 62 |ed speak|ers:}.\b|
|000004c0| 65 67 69 6e 7b 74 61 62 | 62 69 6e 67 7d 0a 51 5c |egin{tab|bing}.Q\|
|000004d0| 3d 51 51 5c 3d 5c 6b 69 | 6c 6c 0a 09 5c 3e 20 41 |=QQ\=\ki|ll..\> A|
|000004e0| 6c 61 6e 20 42 75 6e 64 | 79 20 28 45 64 69 6e 62 |lan Bund|y (Edinb|
|000004f0| 75 72 67 68 20 55 6e 69 | 76 65 72 73 69 74 79 2c |urgh Uni|versity,|
|00000500| 20 55 4b 29 5c 5c 0a 09 | 5c 3e 09 5c 3e 20 5c 65 | UK)\\..|\>.\> \e|
|00000510| 6d 20 28 54 69 74 6c 65 | 20 74 6f 20 62 65 20 61 |m (Title| to be a|
|00000520| 6e 6e 6f 75 6e 63 65 64 | 29 5c 5c 0a 09 5c 3e 20 |nnounced|)\\..\> |
|00000530| 48 65 72 76 65 20 47 61 | 6c 6c 61 69 72 65 20 28 |Herve Ga|llaire (|
|00000540| 58 65 72 6f 78 2c 20 46 | 72 61 6e 63 65 29 5c 5c |Xerox, F|rance)\\|
|00000550| 0a 09 5c 3e 09 5c 3e 20 | 5c 65 6d 20 52 65 73 65 |..\>.\> |\em Rese|
|00000560| 61 72 63 68 20 69 6e 20 | 4c 6f 67 69 63 20 50 72 |arch in |Logic Pr|
|00000570| 6f 67 72 61 6d 6d 69 6e | 67 0a 09 09 09 61 6e 64 |ogrammin|g....and|
|00000580| 20 44 65 64 75 63 74 69 | 76 65 20 44 61 74 61 62 | Deducti|ve Datab|
|00000590| 61 73 65 73 3a 20 54 68 | 65 20 49 6d 70 61 63 74 |ases: Th|e Impact|
|000005a0| 20 6f 6e 20 49 6e 64 75 | 73 74 72 79 5c 5c 0a 09 | on Indu|stry\\..|
|000005b0| 5c 3e 20 52 79 75 7a 6f | 20 48 61 73 65 67 61 77 |\> Ryuzo| Hasegaw|
|000005c0| 61 20 28 49 43 4f 54 2c | 20 4a 61 70 61 6e 29 5c |a (ICOT,| Japan)\|
|000005d0| 5c 0a 09 5c 3e 09 5c 3e | 20 5c 65 6d 20 4d 6f 64 |\..\>.\>| \em Mod|
|000005e0| 65 6c 20 47 65 6e 65 72 | 61 74 69 6f 6e 20 54 68 |el Gener|ation Th|
|000005f0| 65 6f 72 65 6d 20 50 72 | 6f 76 65 72 73 20 6f 6e |eorem Pr|overs on|
|00000600| 20 50 49 4d 5c 5c 0a 09 | 5c 3e 20 50 65 74 65 72 | PIM\\..|\> Peter|
|00000610| 20 57 65 67 6e 65 72 20 | 28 42 72 6f 77 6e 20 55 | Wegner |(Brown U|
|00000620| 6e 69 76 65 72 73 69 74 | 79 2c 20 55 53 41 29 5c |niversit|y, USA)\|
|00000630| 5c 0a 09 5c 3e 09 5c 3e | 20 5c 65 6d 20 52 65 61 |\..\>.\>| \em Rea|
|00000640| 73 6f 6e 69 6e 67 20 56 | 65 72 73 75 73 20 4d 6f |soning V|ersus Mo|
|00000650| 64 65 6c 69 6e 67 20 69 | 6e 20 43 6f 6d 70 75 74 |deling i|n Comput|
|00000660| 65 72 20 53 63 69 65 6e | 63 65 5c 5c 0a 09 5c 3e |er Scien|ce\\..\>|
|00000670| 20 4e 61 69 6c 20 5a 61 | 6d 6f 76 20 28 4b 61 7a | Nail Za|mov (Kaz|
|00000680| 61 6e 20 55 6e 69 76 65 | 72 73 69 74 79 2c 20 52 |an Unive|rsity, R|
|00000690| 75 73 73 69 61 29 5c 5c | 0a 09 5c 3e 09 5c 3e 20 |ussia)\\|..\>.\> |
|000006a0| 5c 65 6d 20 54 68 65 6f | 72 65 6d 20 70 72 6f 76 |\em Theo|rem prov|
|000006b0| 69 6e 67 20 69 6e 20 4b | 61 7a 61 6e 27 0a 5c 65 |ing in K|azan'.\e|
|000006c0| 6e 64 7b 74 61 62 62 69 | 6e 67 7d 0a 0a 7b 5c 62 |nd{tabbi|ng}..{\b|
|000006d0| 66 20 54 75 74 6f 72 69 | 61 6c 73 3a 7d 0a 5c 62 |f Tutori|als:}.\b|
|000006e0| 65 67 69 6e 7b 74 61 62 | 62 69 6e 67 7d 0a 51 5c |egin{tab|bing}.Q\|
|000006f0| 3d 51 51 5c 3d 5c 6b 69 | 6c 6c 0a 09 5c 3e 20 4a |=QQ\=\ki|ll..\> J|
|00000700| 65 61 6e 2d 4d 61 72 63 | 20 41 6e 64 72 65 6f 6c |ean-Marc| Andreol|
|00000710| 69 2c 20 52 65 6d 6f 20 | 50 61 72 65 73 63 69 20 |i, Remo |Paresci |
|00000720| 28 45 43 52 43 29 3a 20 | 5c 5c 0a 09 5c 3e 09 5c |(ECRC): |\\..\>.\|
|00000730| 3e 20 5c 65 6d 20 4c 69 | 6e 65 61 72 20 4c 6f 67 |> \em Li|near Log|
|00000740| 69 63 20 50 72 6f 67 72 | 61 6d 6d 69 6e 67 20 5c |ic Progr|amming \|
|00000750| 5c 0a 09 5c 3e 20 45 76 | 61 6e 20 54 69 63 6b 20 |\..\> Ev|an Tick |
|00000760| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 4f |(Univers|ity of O|
|00000770| 72 65 67 6f 6e 29 3a 20 | 5c 5c 0a 09 5c 3e 09 5c |regon): |\\..\>.\|
|00000780| 3e 20 5c 65 6d 20 41 6e | 20 41 64 76 61 6e 63 65 |> \em An| Advance|
|00000790| 64 20 54 75 74 6f 72 69 | 61 6c 20 69 6e 20 43 6f |d Tutori|al in Co|
|000007a0| 6e 63 75 72 72 65 6e 74 | 20 4c 6f 67 69 63 20 50 |ncurrent| Logic P|
|000007b0| 72 6f 67 72 61 6d 6d 69 | 6e 67 3a 0a 50 61 72 61 |rogrammi|ng:.Para|
|000007c0| 64 69 67 6d 73 20 61 6e | 64 20 49 6d 70 6c 65 6d |digms an|d Implem|
|000007d0| 65 6e 74 61 74 69 6f 6e | 5c 5c 0a 09 5c 3e 20 4c |entation|\\..\> L|
|000007e0| 65 6f 20 42 61 63 68 6d | 61 69 72 20 28 53 55 4e |eo Bachm|air (SUN|
|000007f0| 59 20 61 74 20 53 74 6f | 6e 79 20 42 72 6f 6f 6b |Y at Sto|ny Brook|
|00000800| 29 2c 20 48 61 72 61 6c | 64 20 47 61 6e 7a 69 6e |), Haral|d Ganzin|
|00000810| 67 65 72 28 4d 61 78 20 | 50 6c 61 6e 6b 0a 09 09 |ger(Max |Plank...|
|00000820| 49 6e 73 74 69 74 75 74 | 20 66 5c 22 75 72 20 49 |Institut| f\"ur I|
|00000830| 6e 66 6f 72 6d 61 74 69 | 6b 29 5c 5c 0a 09 5c 3e |nformati|k)\\..\>|
|00000840| 09 5c 3e 20 5c 65 6d 20 | 50 61 72 61 6d 6f 64 75 |.\> \em |Paramodu|
|00000850| 6c 61 74 69 6f 6e 2d 62 | 61 73 65 64 20 54 68 65 |lation-b|ased The|
|00000860| 6f 72 65 6d 20 50 72 6f | 76 69 6e 67 20 66 6f 72 |orem Pro|ving for|
|00000870| 20 46 69 72 73 74 2d 4f | 72 64 65 72 20 0a 09 09 | First-O|rder ...|
|00000880| 4c 6f 67 69 63 20 77 69 | 74 68 20 45 71 75 61 6c |Logic wi|th Equal|
|00000890| 69 74 79 0a 5c 65 6e 64 | 7b 74 61 62 62 69 6e 67 |ity.\end|{tabbing|
|000008a0| 7d 0a 0a 7b 5c 62 66 20 | 50 72 6f 67 72 61 6d 20 |}..{\bf |Program |
|000008b0| 43 6f 6d 6d 69 74 74 65 | 65 3a 7d 0a 5c 62 65 67 |Committe|e:}.\beg|
|000008c0| 69 6e 7b 74 61 62 62 69 | 6e 67 7d 0a 51 5c 3d 09 |in{tabbi|ng}.Q\=.|
|000008d0| 44 6d 69 74 72 69 20 42 | 6f 75 6c 61 6e 67 65 72 |Dmitri B|oulanger|
|000008e0| 20 28 42 65 6c 67 69 75 | 6d 2f 52 75 73 73 69 61 | (Belgiu|m/Russia|
|000008f0| 29 4d 4d 4d 20 5c 3d 20 | 5c 6b 69 6c 6c 0a 5c 3e |)MMM \= |\kill.\>|
|00000900| 09 44 6d 69 74 72 69 20 | 42 6f 75 6c 61 6e 67 65 |.Dmitri |Boulange|
|00000910| 72 20 28 42 65 6c 67 69 | 75 6d 2f 52 75 73 73 69 |r (Belgi|um/Russi|
|00000920| 61 29 0a 5c 3e 09 4d 61 | 74 73 20 43 61 72 6c 73 |a).\>.Ma|ts Carls|
|00000930| 73 6f 6e 20 28 53 77 65 | 64 65 6e 29 5c 5c 0a 5c |son (Swe|den)\\.\|
|00000940| 3e 09 50 68 69 6c 69 70 | 70 65 20 43 6f 64 6f 67 |>.Philip|pe Codog|
|00000950| 6e 65 74 20 28 46 72 61 | 6e 63 65 29 0a 5c 3e 09 |net (Fra|nce).\>.|
|00000960| 44 61 6e 6e 79 20 44 65 | 20 53 63 68 72 65 79 65 |Danny De| Schreye|
|00000970| 20 28 42 65 6c 67 69 75 | 6d 29 5c 5c 0a 5c 3e 09 | (Belgiu|m)\\.\>.|
|00000980| 4e 6f 72 62 65 72 74 20 | 45 69 73 69 6e 67 65 72 |Norbert |Eisinger|
|00000990| 20 28 47 65 72 6d 61 6e | 79 29 0a 5c 3e 09 48 61 | (German|y).\>.Ha|
|000009a0| 72 61 6c 64 20 47 61 6e | 7a 69 6e 67 65 72 20 28 |rald Gan|zinger (|
|000009b0| 47 65 72 6d 61 6e 79 29 | 5c 5c 0a 5c 3e 09 52 79 |Germany)|\\.\>.Ry|
|000009c0| 75 7a 6f 20 48 61 73 65 | 67 61 77 61 20 28 4a 61 |uzo Hase|gawa (Ja|
|000009d0| 70 61 6e 29 0a 5c 3e 09 | 53 74 65 66 66 65 6e 20 |pan).\>.|Steffen |
|000009e0| 48 7b 5c 22 6f 7d 6c 6c | 64 6f 62 6c 65 72 20 28 |H{\"o}ll|dobler (|
|000009f0| 47 65 72 6d 61 6e 79 29 | 5c 5c 0a 5c 3e 09 44 65 |Germany)|\\.\>.De|
|00000a00| 65 70 61 6b 20 4b 61 70 | 75 72 20 28 55 53 41 29 |epak Kap|ur (USA)|
|00000a10| 0a 5c 3e 09 4a 65 61 6e | 2d 4c 6f 75 69 73 20 20 |.\>.Jean|-Louis  |
|00000a20| 4c 61 73 73 65 7a 20 28 | 55 53 41 29 20 5c 5c 0a |Lassez (|USA) \\.|
|00000a30| 5c 3e 09 41 6c 65 78 61 | 6e 64 65 72 20 4c 65 69 |\>.Alexa|nder Lei|
|00000a40| 74 73 63 68 20 28 41 75 | 73 74 72 69 61 29 0a 5c |tsch (Au|stria).\|
|00000a50| 3e 09 47 69 6f 72 67 69 | 6f 20 4c 65 76 69 20 28 |>.Giorgi|o Levi (|
|00000a60| 49 74 61 6c 79 29 5c 5c | 0a 5c 3e 09 4a 6f 68 6e |Italy)\\|.\>.John|
|00000a70| 20 4c 6c 6f 79 64 20 28 | 55 4b 29 0a 5c 3e 09 45 | Lloyd (|UK).\>.E|
|00000a80| 77 69 6e 67 20 4c 75 73 | 6b 20 28 55 53 41 29 5c |wing Lus|k (USA)\|
|00000a90| 5c 0a 5c 3e 09 44 61 6c | 65 20 4d 69 6c 6c 65 72 |\.\>.Dal|e Miller|
|00000aa0| 20 28 55 53 41 29 0a 5c | 3e 09 4a 61 63 6b 20 4d | (USA).\|>.Jack M|
|00000ab0| 69 6e 6b 65 72 20 28 55 | 53 41 29 5c 5c 0a 5c 3e |inker (U|SA)\\.\>|
|00000ac0| 09 47 72 65 67 6f 72 79 | 20 4d 69 6e 74 73 20 28 |.Gregory| Mints (|
|00000ad0| 55 53 41 2f 45 73 74 6f | 6e 69 61 29 0a 5c 3e 09 |USA/Esto|nia).\>.|
|00000ae0| 41 6c 61 6e 20 4d 79 63 | 72 6f 66 74 20 28 55 4b |Alan Myc|roft (UK|
|00000af0| 29 5c 5c 0a 5c 3e 09 4c | 65 65 20 4e 61 69 73 68 |)\\.\>.L|ee Naish|
|00000b00| 20 28 41 75 73 74 72 61 | 6c 69 61 29 0a 5c 3e 09 | (Austra|lia).\>.|
|00000b10| 48 61 6e 73 2d 4a 75 72 | 67 65 6e 20 4f 68 6c 62 |Hans-Jur|gen Ohlb|
|00000b20| 61 63 68 20 28 47 65 72 | 6d 61 6e 79 29 5c 5c 0a |ach (Ger|many)\\.|
|00000b30| 5c 3e 09 4d 69 63 68 65 | 6c 20 50 61 72 69 67 6f |\>.Miche|l Parigo|
|00000b40| 74 20 28 46 72 61 6e 63 | 65 29 0a 5c 3e 09 46 72 |t (Franc|e).\>.Fr|
|00000b50| 61 6e 6b 20 50 66 65 6e | 6e 69 6e 67 20 28 55 53 |ank Pfen|ning (US|
|00000b60| 41 29 5c 5c 0a 5c 3e 09 | 56 6c 61 64 69 6d 69 72 |A)\\.\>.|Vladimir|
|00000b70| 20 53 61 7a 6f 6e 6f 76 | 20 28 52 75 73 73 69 61 | Sazonov| (Russia|
|00000b80| 29 0a 5c 3e 09 4d 61 72 | 65 6b 20 53 65 72 67 6f |).\>.Mar|ek Sergo|
|00000b90| 74 20 28 55 4b 29 5c 5c | 0a 5c 3e 09 4d 61 72 6b |t (UK)\\|.\>.Mark|
|00000ba0| 20 53 74 69 63 6b 65 6c | 20 28 55 53 41 29 0a 5c | Stickel| (USA).\|
|00000bb0| 3e 09 50 61 73 63 61 6c | 20 56 61 6e 20 48 65 6e |>.Pascal| Van Hen|
|00000bc0| 74 65 6e 72 79 63 6b 20 | 28 55 53 41 29 5c 5c 0a |tenryck |(USA)\\.|
|00000bd0| 5c 3e 09 4b 6f 6e 73 74 | 61 6e 74 69 6e 20 56 65 |\>.Konst|antin Ve|
|00000be0| 72 73 68 69 6e 69 6e 20 | 28 55 6b 72 61 69 6e 65 |rshinin |(Ukraine|
|00000bf0| 29 0a 5c 3e 09 41 6e 64 | 72 65 69 20 56 6f 72 6f |).\>.And|rei Voro|
|00000c00| 6e 6b 6f 76 20 28 52 75 | 73 73 69 61 29 20 2d 20 |nkov (Ru|ssia) - |
|00000c10| 63 68 61 69 72 5c 5c 0a | 5c 3e 09 4e 61 69 6c 20 |chair\\.|\>.Nail |
|00000c20| 5a 61 6d 6f 76 20 28 52 | 75 73 73 69 61 29 0a 5c |Zamov (R|ussia).\|
|00000c30| 65 6e 64 7b 74 61 62 62 | 69 6e 67 7d 0a 0a 5c 6e |end{tabb|ing}..\n|
|00000c40| 65 77 70 61 67 65 0a 0a | 7b 5c 62 66 20 4f 72 67 |ewpage..|{\bf Org|
|00000c50| 61 6e 69 7a 69 6e 67 20 | 43 6f 6d 6d 69 74 74 65 |anizing |Committe|
|00000c60| 65 3a 7d 0a 5c 62 65 67 | 69 6e 7b 74 61 62 62 69 |e:}.\beg|in{tabbi|
|00000c70| 6e 67 7d 0a 51 5c 3d 5c | 6b 69 6c 6c 0a 5c 3e 09 |ng}.Q\=\|kill.\>.|
|00000c80| 45 75 67 65 6e 65 20 44 | 61 6e 74 73 69 6e 20 28 |Eugene D|antsin (|
|00000c90| 52 75 73 73 69 61 29 20 | 5c 5c 0a 5c 3e 09 52 6f |Russia) |\\.\>.Ro|
|00000ca0| 62 65 72 74 20 46 72 65 | 69 64 73 6f 6e 20 28 52 |bert Fre|idson (R|
|00000cb0| 75 73 73 69 61 2f 55 53 | 41 29 20 2d 20 63 68 61 |ussia/US|A) - cha|
|00000cc0| 69 72 5c 5c 0a 5c 3e 09 | 41 6e 64 72 65 69 20 56 |ir\\.\>.|Andrei V|
|00000cd0| 6f 72 6f 6e 6b 6f 76 20 | 28 52 75 73 73 69 61 29 |oronkov |(Russia)|
|00000ce0| 20 0a 5c 65 6e 64 7b 74 | 61 62 62 69 6e 67 7d 0a | .\end{t|abbing}.|
|00000cf0| 0a 7b 5c 62 66 20 54 6f | 70 69 63 73 20 6f 66 20 |.{\bf To|pics of |
|00000d00| 69 6e 74 65 72 65 73 74 | 7d 20 69 6e 63 6c 75 64 |interest|} includ|
|00000d10| 65 2c 20 62 75 74 20 61 | 72 65 20 6e 6f 74 20 72 |e, but a|re not r|
|00000d20| 65 73 74 72 69 63 74 65 | 64 20 74 6f 3a 0a 5c 62 |estricte|d to:.\b|
|00000d30| 65 67 69 6e 7b 74 61 62 | 62 69 6e 67 7d 0a 51 5c |egin{tab|bing}.Q\|
|00000d40| 3d 46 6f 72 6d 61 6c 20 | 6d 65 74 68 6f 64 73 20 |=Formal |methods |
|00000d50| 69 6e 20 73 6f 66 74 77 | 61 72 65 20 61 6e 64 20 |in softw|are and |
|00000d60| 68 61 72 64 77 61 72 65 | 51 51 5c 3d 5c 2b 5c 6b |hardware|QQ\=\+\k|
|00000d70| 69 6c 6c 0a 43 6f 6e 73 | 74 72 61 69 6e 74 73 20 |ill.Cons|traints |
|00000d80| 5c 3e 0a 44 65 64 75 63 | 74 69 76 65 20 64 61 74 |\>.Deduc|tive dat|
|00000d90| 61 62 61 73 65 73 20 5c | 5c 0a 46 6f 72 6d 61 6c |abases \|\.Formal|
|00000da0| 20 6d 65 74 68 6f 64 73 | 20 69 6e 20 73 6f 66 74 | methods| in soft|
|00000db0| 77 61 72 65 20 61 6e 64 | 20 68 61 72 64 77 61 72 |ware and| hardwar|
|00000dc0| 65 20 5c 3e 0a 49 6d 70 | 6c 65 6d 65 6e 74 61 74 |e \>.Imp|lementat|
|00000dd0| 69 6f 6e 20 74 65 63 68 | 6e 69 71 75 65 73 20 5c |ion tech|niques \|
|00000de0| 5c 0a 49 6e 64 75 63 74 | 69 76 65 20 74 68 65 6f |\.Induct|ive theo|
|00000df0| 72 65 6d 20 70 72 6f 76 | 69 6e 67 20 5c 3e 0a 4c |rem prov|ing \>.L|
|00000e00| 6f 67 69 63 61 6c 20 46 | 72 61 6d 65 77 6f 72 6b |ogical F|ramework|
|00000e10| 73 20 5c 5c 0a 4c 50 41 | 52 20 69 6e 20 61 72 74 |s \\.LPA|R in art|
|00000e20| 69 66 69 63 69 61 6c 20 | 69 6e 74 65 6c 6c 69 67 |ificial |intellig|
|00000e30| 65 6e 63 65 20 5c 3e 0a | 4d 65 74 61 2d 70 72 6f |ence \>.|Meta-pro|
|00000e40| 67 72 61 6d 6d 69 6e 67 | 20 5c 5c 0a 50 61 72 61 |gramming| \\.Para|
|00000e50| 6c 6c 65 6c 69 73 6d 20 | 61 6e 64 20 63 6f 6e 63 |llelism |and conc|
|00000e60| 75 72 72 65 6e 63 79 20 | 5c 3e 0a 50 72 6f 67 72 |urrency |\>.Progr|
|00000e70| 61 6d 20 73 79 6e 74 68 | 65 73 69 73 20 61 6e 64 |am synth|esis and|
|00000e80| 20 76 65 72 69 66 69 63 | 61 74 69 6f 6e 20 5c 5c | verific|ation \\|
|00000e90| 0a 50 72 6f 67 72 61 6d | 6d 69 6e 67 20 69 6e 20 |.Program|ming in |
|00000ea0| 63 6f 6e 73 74 72 75 63 | 74 69 76 65 20 6c 6f 67 |construc|tive log|
|00000eb0| 69 63 20 5c 3e 0a 54 68 | 65 6f 72 65 6d 20 70 72 |ic \>.Th|eorem pr|
|00000ec0| 6f 76 69 6e 67 20 5c 5c | 0a 54 68 65 6f 72 79 20 |oving \\|.Theory |
|00000ed0| 61 6e 64 20 66 6f 75 6e | 64 61 74 69 6f 6e 73 20 |and foun|dations |
|00000ee0| 5c 3e 0a 55 6e 69 66 69 | 63 61 74 69 6f 6e 20 74 |\>.Unifi|cation t|
|00000ef0| 68 65 6f 72 79 20 61 6e | 64 20 72 65 77 72 69 74 |heory an|d rewrit|
|00000f00| 69 6e 67 0a 5c 65 6e 64 | 7b 74 61 62 62 69 6e 67 |ing.\end|{tabbing|
|00000f10| 7d 0a 0a 41 75 74 68 6f | 72 73 20 61 72 65 20 69 |}..Autho|rs are i|
|00000f20| 6e 76 69 74 65 64 20 74 | 6f 20 73 75 62 6d 69 74 |nvited t|o submit|
|00000f30| 20 35 20 63 6f 70 69 65 | 73 20 6f 66 20 74 68 65 | 5 copie|s of the|
|00000f40| 69 72 20 6d 61 6e 75 73 | 63 72 69 70 74 73 20 74 |ir manus|cripts t|
|00000f50| 6f 20 74 68 65 20 61 64 | 64 72 65 73 73 3a 0a 5c |o the ad|dress:.\|
|00000f60| 62 65 67 69 6e 7b 63 65 | 6e 74 65 72 7d 0a 41 6e |begin{ce|nter}.An|
|00000f70| 64 72 65 69 20 56 6f 72 | 6f 6e 6b 6f 76 20 2d 2d |drei Vor|onkov --|
|00000f80| 20 4c 50 41 52 27 39 33 | 5c 5c 0a 43 52 49 4e 2d | LPAR'93|\\.CRIN-|
|00000f90| 43 4e 52 53 20 5c 26 20 | 49 4e 52 49 41 20 4c 6f |CNRS \& |INRIA Lo|
|00000fa0| 72 72 61 69 6e 65 5c 5c | 20 0a 42 61 74 69 6d 65 |rraine\\| .Batime|
|00000fb0| 6e 74 20 4c 6f 72 69 61 | 2c 20 42 50 20 32 33 39 |nt Loria|, BP 239|
|00000fc0| 20 20 20 20 20 5c 5c 0a | 35 34 35 30 36 20 56 61 |     \\.|54506 Va|
|00000fd0| 6e 64 6f 65 75 76 72 65 | 2d 6c 65 73 2d 4e 61 6e |ndoeuvre|-les-Nan|
|00000fe0| 63 79 20 43 65 64 65 78 | 5c 5c 0a 46 72 61 6e 63 |cy Cedex|\\.Franc|
|00000ff0| 65 0a 5c 65 6e 64 7b 63 | 65 6e 74 65 72 7d 0a 0a |e.\end{c|enter}..|
|00001000| 46 6f 72 20 63 6f 75 6e | 74 72 69 65 73 20 77 68 |For coun|tries wh|
|00001010| 65 72 65 20 63 6f 70 79 | 69 6e 67 20 6d 61 79 20 |ere copy|ing may |
|00001020| 62 65 20 61 20 70 72 6f | 62 6c 65 6d 20 6f 6e 65 |be a pro|blem one|
|00001030| 20 63 6f 70 79 20 77 69 | 6c 6c 20 62 65 20 73 75 | copy wi|ll be su|
|00001040| 66 66 69 63 69 65 6e 74 | 2e 0a 45 6d 61 69 6c 20 |fficient|..Email |
|00001050| 5c 54 65 58 2f 5c 4c 61 | 54 65 58 5c 20 73 75 62 |\TeX/\La|TeX\ sub|
|00001060| 6d 69 73 73 69 6f 6e 73 | 20 61 72 65 20 61 63 63 |missions| are acc|
|00001070| 65 70 74 61 62 6c 65 20 | 66 72 6f 6d 20 74 68 65 |eptable |from the|
|00001080| 20 63 6f 75 6e 74 72 69 | 65 73 20 77 69 74 68 20 | countri|es with |
|00001090| 70 6f 73 74 61 6c 20 70 | 72 6f 62 6c 65 6d 73 2e |postal p|roblems.|
|000010a0| 20 50 72 6f 63 65 65 64 | 69 6e 67 73 20 77 69 6c | Proceed|ings wil|
|000010b0| 6c 20 62 65 20 70 75 62 | 6c 69 73 68 65 64 20 69 |l be pub|lished i|
|000010c0| 6e 20 74 68 65 20 73 65 | 72 69 65 73 20 60 60 4c |n the se|ries ``L|
|000010d0| 65 63 74 75 72 65 20 4e | 6f 74 65 73 20 69 6e 20 |ecture N|otes in |
|000010e0| 0a 41 72 74 69 66 69 63 | 69 61 6c 20 49 6e 74 65 |.Artific|ial Inte|
|000010f0| 6c 6c 69 67 65 6e 63 65 | 27 27 20 62 79 20 53 70 |lligence|'' by Sp|
|00001100| 72 69 6e 67 65 72 20 56 | 65 72 6c 61 67 2e 20 28 |ringer V|erlag. (|
|00001110| 50 72 6f 63 65 65 64 69 | 6e 67 73 20 6f 66 20 74 |Proceedi|ngs of t|
|00001120| 68 65 20 0a 70 72 65 76 | 69 6f 75 73 20 63 6f 6e |he .prev|ious con|
|00001130| 66 65 72 65 6e 63 65 73 | 20 77 65 72 65 20 70 75 |ferences| were pu|
|00001140| 62 6c 69 73 68 65 64 20 | 69 6e 20 4c 4e 41 49 20 |blished |in LNAI |
|00001150| 76 76 2e 35 39 32 20 61 | 6e 64 20 36 32 34 29 2e |vv.592 a|nd 624).|
|00001160| 0a 0a 54 68 65 72 65 20 | 61 72 65 20 74 68 72 65 |..There |are thre|
|00001170| 65 20 6b 69 6e 64 73 20 | 6f 66 20 73 75 62 6d 69 |e kinds |of submi|
|00001180| 73 73 69 6f 6e 73 3a 20 | 7b 5c 65 6d 20 6c 6f 6e |ssions: |{\em lon|
|00001190| 67 20 70 61 70 65 72 73 | 5c 2f 7d 20 28 75 70 20 |g papers|\/} (up |
|000011a0| 74 6f 20 31 32 20 70 61 | 67 65 73 29 2c 20 0a 7b |to 12 pa|ges), .{|
|000011b0| 5c 65 6d 20 73 68 6f 72 | 74 20 70 61 70 65 72 73 |\em shor|t papers|
|000011c0| 5c 2f 7d 20 28 75 70 20 | 74 6f 20 36 20 70 61 67 |\/} (up |to 6 pag|
|000011d0| 65 73 29 2c 20 6f 72 20 | 7b 5c 65 6d 20 73 79 73 |es), or |{\em sys|
|000011e0| 74 65 6d 20 64 65 73 63 | 72 69 70 74 69 6f 6e 73 |tem desc|riptions|
|000011f0| 5c 2f 7d 20 28 75 70 20 | 74 6f 20 33 20 0a 70 61 |\/} (up |to 3 .pa|
|00001200| 67 65 73 29 2e 20 41 6c | 6c 20 70 61 70 65 72 73 |ges). Al|l papers|
|00001210| 20 6d 75 73 74 20 62 65 | 20 77 72 69 74 74 65 6e | must be| written|
|00001220| 20 69 6e 20 45 6e 67 6c | 69 73 68 2e 20 0a 53 75 | in Engl|ish. .Su|
|00001230| 62 6d 69 73 73 69 6f 6e | 73 20 73 68 6f 75 6c 64 |bmission|s should|
|00001240| 20 62 65 20 61 63 63 6f | 6d 70 61 6e 69 65 64 20 | be acco|mpanied |
|00001250| 62 79 20 61 20 6f 6e 65 | 2d 70 61 67 65 20 61 62 |by a one|-page ab|
|00001260| 73 74 72 61 63 74 20 73 | 65 6e 74 20 65 69 74 68 |stract s|ent eith|
|00001270| 65 72 0a 74 6f 20 74 68 | 65 20 73 61 6d 65 20 61 |er.to th|e same a|
|00001280| 64 64 72 65 73 73 20 6f | 72 20 28 70 72 65 66 65 |ddress o|r (prefe|
|00001290| 72 61 62 6c 79 29 20 62 | 79 20 65 6d 61 69 6c 20 |rably) b|y email |
|000012a0| 74 6f 20 76 6f 72 6f 6e | 6b 6f 76 40 6c 6f 72 69 |to voron|kov@lori|
|000012b0| 61 2e 66 72 2e 20 54 68 | 65 20 61 62 73 74 72 61 |a.fr. Th|e abstra|
|000012c0| 63 74 20 73 68 6f 75 6c | 64 20 69 6e 63 6c 75 64 |ct shoul|d includ|
|000012d0| 65 0a 61 75 74 68 6f 72 | 27 73 20 6e 61 6d 65 28 |e.author|'s name(|
|000012e0| 73 29 2c 20 61 66 66 69 | 6c 69 61 74 69 6f 6e 2c |s), affi|liation,|
|000012f0| 20 70 6f 73 74 61 6c 20 | 61 6e 64 20 65 6d 61 69 | postal |and emai|
|00001300| 6c 20 61 64 64 72 65 73 | 73 65 73 2e 20 20 0a 0a |l addres|ses.  ..|
|00001310| 54 68 65 20 70 72 6f 67 | 72 61 6d 20 77 69 6c 6c |The prog|ram will|
|00001320| 20 61 6c 73 6f 20 69 6e | 63 6c 75 64 65 20 61 20 | also in|clude a |
|00001330| 73 70 65 63 69 61 6c 20 | 73 65 73 73 69 6f 6e 20 |special |session |
|00001340| 6f 6e 20 73 79 73 74 65 | 6d 20 64 65 6d 6f 6e 73 |on syste|m demons|
|00001350| 74 72 61 74 69 6f 6e 73 | 20 28 49 42 4d 20 50 43 |trations| (IBM PC|
|00001360| 73 0a 61 6e 64 20 53 50 | 41 52 43 73 74 61 74 69 |s.and SP|ARCstati|
|00001370| 6f 6e 73 29 20 61 6e 64 | 20 73 65 76 65 72 61 6c |ons) and| several|
|00001380| 20 74 75 74 6f 72 69 61 | 6c 73 20 64 65 6c 69 76 | tutoria|ls deliv|
|00001390| 65 72 65 64 20 62 79 20 | 6d 61 6a 6f 72 20 72 65 |ered by |major re|
|000013a0| 73 65 61 72 63 68 65 72 | 73 20 69 6e 0a 74 68 65 |searcher|s in.the|
|000013b0| 20 66 69 65 6c 64 2e 0a | 0a 7b 5c 62 66 20 49 6d | field..|.{\bf Im|
|000013c0| 70 6f 72 74 61 6e 74 20 | 64 61 74 65 73 3a 7d 0a |portant |dates:}.|
|000013d0| 5c 62 65 67 69 6e 7b 74 | 61 62 62 69 6e 67 7d 0a |\begin{t|abbing}.|
|000013e0| 51 5c 3d 46 69 6e 61 6c | 20 56 65 72 73 69 6f 6e |Q\=Final| Version|
|000013f0| 3a 5c 20 5c 3d 5c 2b 5c | 6b 69 6c 6c 0a 09 53 75 |:\ \=\+\|kill..Su|
|00001400| 62 6d 69 73 73 69 6f 6e | 3a 20 20 20 20 5c 3e 09 |bmission|:    \>.|
|00001410| 46 65 62 72 75 61 72 79 | 20 31 5c 5c 0a 09 4e 6f |February| 1\\..No|
|00001420| 74 69 66 69 63 61 74 69 | 6f 6e 3a 20 20 5c 3e 09 |tificati|on:  \>.|
|00001430| 4d 61 72 63 68 20 32 30 | 5c 5c 0a 09 46 69 6e 61 |March 20|\\..Fina|
|00001440| 6c 20 56 65 72 73 69 6f | 6e 3a 20 5c 3e 09 41 70 |l Versio|n: \>.Ap|
|00001450| 72 69 6c 20 32 30 0a 5c | 65 6e 64 7b 74 61 62 62 |ril 20.\|end{tabb|
|00001460| 69 6e 67 7d 0a 0a 46 75 | 72 74 68 65 72 20 69 6e |ing}..Fu|rther in|
|00001470| 66 6f 72 6d 61 74 69 6f | 6e 20 6d 61 79 20 62 65 |formatio|n may be|
|00001480| 20 6f 62 74 61 69 6e 65 | 64 20 61 74 20 74 68 65 | obtaine|d at the|
|00001490| 20 65 6d 61 69 6c 20 61 | 64 64 72 65 73 73 20 76 | email a|ddress v|
|000014a0| 6f 72 6f 6e 6b 6f 76 40 | 6c 6f 72 69 61 2e 66 72 |oronkov@|loria.fr|
|000014b0| 2e 0a 0a 5c 65 6e 64 7b | 64 6f 63 75 6d 65 6e 74 |...\end{|document|
|000014c0| 7d 0a 0a                |                         |}..     |        |
+--------+-------------------------+-------------------------+--------+--------+