/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / logic / 1347

< prev

next >

MacOS 8.1

Win98

DOS

browse contents

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 4e 65 77 73 67 72 6f 75 | 70 73 3a 20 73 63 69 2e |Newsgrou|ps: sci.|
|00000010| 6c 6f 67 69 63 0a 50 61 | 74 68 3a 20 73 70 61 72 |logic.Pa|th: spar|
|00000020| 6b 79 21 75 75 6e 65 74 | 21 6d 63 73 75 6e 21 73 |ky!uunet|!mcsun!s|
|00000030| 75 6e 34 6e 6c 21 75 74 | 72 63 75 31 21 69 6e 66 |un4nl!ut|rcu1!inf|
|00000040| 6e 65 77 73 21 69 6e 66 | 6e 65 77 73 21 73 63 6f |news!inf|news!sco|
|00000050| 6c 6c 6f 0a 46 72 6f 6d | 3a 20 73 63 6f 6c 6c 6f |llo.From|: scollo|
|00000060| 40 63 73 2e 75 74 77 65 | 6e 74 65 2e 6e 6c 20 28 |@cs.utwe|nte.nl (|
|00000070| 50 69 70 70 6f 20 53 63 | 6f 6c 6c 6f 29 0a 53 75 |Pippo Sc|ollo).Su|
|00000080| 62 6a 65 63 74 3a 20 41 | 4d 41 53 54 27 39 33 20 |bject: A|MAST'93 |
|00000090| 43 61 6c 6c 20 66 6f 72 | 20 50 61 70 65 72 73 20 |Call for| Papers |
|000000a0| 28 6c 61 74 65 78 29 0a | 4d 65 73 73 61 67 65 2d |(latex).|Message-|
|000000b0| 49 44 3a 20 3c 31 39 39 | 32 53 65 70 34 2e 31 37 |ID: <199|2Sep4.17|
|000000c0| 32 38 32 35 40 63 73 2e | 75 74 77 65 6e 74 65 2e |2825@cs.|utwente.|
|000000d0| 6e 6c 3e 0a 4b 65 79 77 | 6f 72 64 73 3a 20 61 6c |nl>.Keyw|ords: al|
|000000e0| 67 65 62 72 61 69 63 20 | 73 70 65 63 69 66 69 63 |gebraic |specific|
|000000f0| 61 74 69 6f 6e 2c 20 73 | 6f 66 74 77 61 72 65 20 |ation, s|oftware |
|00000100| 64 65 76 65 6c 6f 70 6d | 65 6e 74 0a 53 65 6e 64 |developm|ent.Send|
|00000110| 65 72 3a 20 75 73 65 6e | 65 74 40 63 73 2e 75 74 |er: usen|et@cs.ut|
|00000120| 77 65 6e 74 65 2e 6e 6c | 0a 4e 6e 74 70 2d 50 6f |wente.nl|.Nntp-Po|
|00000130| 73 74 69 6e 67 2d 48 6f | 73 74 3a 20 75 74 69 73 |sting-Ho|st: utis|
|00000140| 30 32 0a 4f 72 67 61 6e | 69 7a 61 74 69 6f 6e 3a |02.Organ|ization:|
|00000150| 20 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 54 | Univers|ity of T|
|00000160| 77 65 6e 74 65 2c 20 44 | 65 70 74 2e 20 6f 66 20 |wente, D|ept. of |
|00000170| 43 6f 6d 70 75 74 65 72 | 20 53 63 69 65 6e 63 65 |Computer| Science|
|00000180| 0a 44 61 74 65 3a 20 46 | 72 69 2c 20 34 20 53 65 |.Date: F|ri, 4 Se|
|00000190| 70 20 31 39 39 32 20 31 | 35 3a 32 38 3a 32 35 20 |p 1992 1|5:28:25 |
|000001a0| 47 4d 54 0a 4c 69 6e 65 | 73 3a 20 32 32 34 0a 0a |GMT.Line|s: 224..|
|000001b0| 5c 64 6f 63 75 6d 65 6e | 74 73 74 79 6c 65 20 5b |\documen|tstyle [|
|000001c0| 74 69 74 6c 65 70 61 67 | 65 2c 31 31 70 74 5d 7b |titlepag|e,11pt]{|
|000001d0| 61 72 74 69 63 6c 65 7d | 0a 5c 70 61 67 65 73 74 |article}|.\pagest|
|000001e0| 79 6c 65 7b 70 6c 61 69 | 6e 7d 0a 5c 70 61 67 65 |yle{plai|n}.\page|
|000001f0| 6e 75 6d 62 65 72 69 6e | 67 7b 61 6c 70 68 7d 0a |numberin|g{alph}.|
|00000200| 5c 74 65 78 74 77 69 64 | 74 68 20 3d 20 36 2e 37 |\textwid|th = 6.7|
|00000210| 35 69 6e 0a 5c 74 65 78 | 74 68 65 69 67 68 74 20 |5in.\tex|theight |
|00000220| 3d 20 38 2e 35 69 6e 0a | 5c 74 6f 70 6d 61 72 67 |= 8.5in.|\topmarg|
|00000230| 69 6e 20 3d 20 2d 30 2e | 33 69 6e 0a 5c 74 6f 70 |in = -0.|3in.\top|
|00000240| 73 6b 69 70 20 3d 20 30 | 69 6e 0a 5c 6f 64 64 73 |skip = 0|in.\odds|
|00000250| 69 64 65 6d 61 72 67 69 | 6e 20 3d 20 2d 30 2e 31 |idemargi|n = -0.1|
|00000260| 69 6e 0a 5c 65 76 65 6e | 73 69 64 65 6d 61 72 67 |in.\even|sidemarg|
|00000270| 69 6e 20 3d 20 2d 30 2e | 31 69 6e 0a 5c 61 64 64 |in = -0.|1in.\add|
|00000280| 74 6f 6c 65 6e 67 74 68 | 7b 5c 70 61 72 73 6b 69 |tolength|{\parski|
|00000290| 70 7d 7b 30 2e 35 65 78 | 7d 0a 5c 62 65 67 69 6e |p}{0.5ex|}.\begin|
|000002a0| 7b 64 6f 63 75 6d 65 6e | 74 7d 0a 5c 73 65 74 63 |{documen|t}.\setc|
|000002b0| 6f 75 6e 74 65 72 7b 70 | 61 67 65 7d 7b 30 7d 0a |ounter{p|age}{0}.|
|000002c0| 5c 62 65 67 69 6e 7b 63 | 65 6e 74 65 72 7d 0a 7b |\begin{c|enter}.{|
|000002d0| 5c 4c 61 72 67 65 20 7b | 5c 62 66 20 43 61 6c 6c |\Large {|\bf Call|
|000002e0| 20 66 6f 72 20 50 61 70 | 65 72 73 7d 7d 5c 5c 0a | for Pap|ers}}\\.|
|000002f0| 7b 5c 6c 61 72 67 65 20 | 7b 5c 62 66 20 54 68 69 |{\large |{\bf Thi|
|00000300| 72 64 20 49 6e 74 65 72 | 6e 61 74 69 6f 6e 61 6c |rd Inter|national|
|00000310| 20 43 6f 6e 66 65 72 65 | 6e 63 65 20 6f 6e 20 41 | Confere|nce on A|
|00000320| 6c 67 65 62 72 61 69 63 | 7d 7d 5c 5c 0a 7b 5c 6c |lgebraic|}}\\.{\l|
|00000330| 61 72 67 65 20 7b 5c 62 | 66 20 4d 65 74 68 6f 64 |arge {\b|f Method|
|00000340| 6f 6c 6f 67 79 20 61 6e | 64 20 53 6f 66 74 77 61 |ology an|d Softwa|
|00000350| 72 65 20 54 65 63 68 6e | 6f 6c 6f 67 79 2c 20 41 |re Techn|ology, A|
|00000360| 4d 41 53 54 7d 7d 5c 5c | 0a 5c 65 6e 64 7b 63 65 |MAST}}\\|.\end{ce|
|00000370| 6e 74 65 72 7d 0a 5c 73 | 65 63 74 69 6f 6e 2a 7b |nter}.\s|ection*{|
|00000380| 47 6f 61 6c 73 20 61 6e | 64 20 4f 72 67 61 6e 69 |Goals an|d Organi|
|00000390| 7a 61 74 69 6f 6e 7d 0a | 0a 54 68 65 20 67 6f 61 |zation}.|.The goa|
|000003a0| 6c 20 6f 66 20 74 68 65 | 20 74 68 69 72 64 20 41 |l of the| third A|
|000003b0| 4d 41 53 54 20 63 6f 6e | 66 65 72 65 6e 63 65 20 |MAST con|ference |
|000003c0| 74 6f 20 62 65 20 68 65 | 6c 64 20 6f 6e 20 4a 75 |to be he|ld on Ju|
|000003d0| 6e 65 20 32 32 2d 2d 32 | 35 2c 20 31 39 39 33 2c |ne 22--2|5, 1993,|
|000003e0| 0a 61 74 20 74 68 65 20 | 55 6e 69 76 65 72 73 69 |.at the |Universi|
|000003f0| 74 79 20 6f 66 20 54 77 | 65 6e 74 65 2c 20 45 6e |ty of Tw|ente, En|
|00000400| 73 63 68 65 64 65 2c 20 | 54 68 65 20 4e 65 74 68 |schede, |The Neth|
|00000410| 65 72 6c 61 6e 64 73 2c | 0a 69 73 20 74 6f 20 63 |erlands,|.is to c|
|00000420| 6f 6e 73 6f 6c 69 64 61 | 74 65 20 74 68 65 20 74 |onsolida|te the t|
|00000430| 72 65 6e 64 20 74 6f 77 | 61 72 64 73 20 75 73 69 |rend tow|ards usi|
|00000440| 6e 67 20 61 6c 67 65 62 | 72 61 69 63 20 6d 65 74 |ng algeb|raic met|
|00000450| 68 6f 64 6f 6c 6f 67 79 | 0a 61 73 20 61 20 66 6f |hodology|.as a fo|
|00000460| 75 6e 64 61 74 69 6f 6e | 20 66 6f 72 20 73 6f 66 |undation| for sof|
|00000470| 74 77 61 72 65 20 74 65 | 63 68 6e 6f 6c 6f 67 79 |tware te|chnology|
|00000480| 2c 0a 61 6e 64 20 74 6f | 20 73 68 6f 77 20 74 68 |,.and to| show th|
|00000490| 61 74 20 75 6e 69 76 65 | 72 73 61 6c 20 61 6c 67 |at unive|rsal alg|
|000004a0| 65 62 72 61 20 70 72 6f | 76 69 64 65 73 20 61 20 |ebra pro|vides a |
|000004b0| 70 72 61 63 74 69 63 61 | 6c 20 6d 61 74 68 65 6d |practica|l mathem|
|000004c0| 61 74 69 63 61 6c 0a 61 | 6c 74 65 72 6e 61 74 69 |atical.a|lternati|
|000004d0| 76 65 20 74 6f 20 74 68 | 65 20 63 6f 6d 6d 6f 6e |ve to th|e common|
|000004e0| 2c 20 61 64 2d 68 6f 63 | 20 61 70 70 72 6f 61 63 |, ad-hoc| approac|
|000004f0| 68 65 73 20 74 6f 20 73 | 6f 66 74 77 61 72 65 20 |hes to s|oftware |
|00000500| 65 6e 67 69 6e 65 65 72 | 69 6e 67 20 61 6e 64 0a |engineer|ing and.|
|00000510| 64 65 76 65 6c 6f 70 6d | 65 6e 74 2e 0a 41 63 61 |developm|ent..Aca|
|00000520| 64 65 6d 69 61 20 61 6e | 64 20 69 6e 64 75 73 74 |demia an|d indust|
|00000530| 72 79 20 61 72 65 20 62 | 6f 74 68 20 62 65 6e 65 |ry are b|oth bene|
|00000540| 66 69 63 69 61 72 69 65 | 73 20 6f 66 20 73 75 63 |ficiarie|s of suc|
|00000550| 68 20 61 20 66 6f 72 6d | 61 6c 20 66 6f 75 6e 64 |h a form|al found|
|00000560| 61 74 69 6f 6e 2e 0a 0a | 5c 62 69 67 73 6b 69 70 |ation...|\bigskip|
|00000570| 5c 6e 6f 69 6e 64 65 6e | 74 7b 5c 62 66 20 4f 72 |\noinden|t{\bf Or|
|00000580| 67 61 6e 69 7a 69 6e 67 | 20 43 6f 6d 6d 69 74 74 |ganizing| Committ|
|00000590| 65 65 3a 7d 0a 0a 5c 6e | 6f 69 6e 64 65 6e 74 0a |ee:}..\n|oindent.|
|000005a0| 5c 62 65 67 69 6e 7b 74 | 61 62 75 6c 61 72 7d 7b |\begin{t|abular}{|
|000005b0| 6c 6c 6c 7d 0a 47 65 6e | 65 72 61 6c 20 63 68 61 |lll}.Gen|eral cha|
|000005c0| 69 72 6d 61 6e 3a 20 26 | 20 4d 61 75 72 69 63 65 |irman: &| Maurice|
|000005d0| 20 4e 69 76 61 74 20 26 | 20 28 55 6e 69 76 65 72 | Nivat &| (Univer|
|000005e0| 73 69 74 79 20 6f 66 20 | 50 61 72 69 73 20 56 49 |sity of |Paris VI|
|000005f0| 49 2c 20 50 61 72 69 73 | 2c 20 46 29 0a 5c 5c 0a |I, Paris|, F).\\.|
|00000600| 50 72 6f 67 72 61 6d 6d | 65 20 63 68 61 69 72 6d |Programm|e chairm|
|00000610| 61 6e 3a 20 26 20 47 69 | 75 73 65 70 70 65 20 53 |an: & Gi|useppe S|
|00000620| 63 6f 6c 6c 6f 20 26 20 | 28 55 6e 69 76 65 72 73 |collo & |(Univers|
|00000630| 69 74 79 20 6f 66 20 54 | 77 65 6e 74 65 2c 20 45 |ity of T|wente, E|
|00000640| 6e 73 63 68 65 64 65 2c | 20 4e 4c 29 0a 5c 5c 0a |nschede,| NL).\\.|
|00000650| 50 75 62 6c 69 63 69 74 | 79 20 63 68 61 69 72 6d |Publicit|y chairm|
|00000660| 61 6e 3a 0a 26 20 20 43 | 68 61 72 6c 65 73 20 52 |an:.&  C|harles R|
|00000670| 61 74 74 72 61 79 20 26 | 20 28 55 6e 69 76 65 72 |attray &| (Univer|
|00000680| 73 69 74 79 20 6f 66 20 | 53 74 69 72 6c 69 6e 67 |sity of |Stirling|
|00000690| 2c 20 47 42 29 0a 5c 5c | 0a 26 20 20 54 65 6f 64 |, GB).\\|.&  Teod|
|000006a0| 6f 72 20 52 75 73 20 26 | 20 28 55 6e 69 76 65 72 |or Rus &| (Univer|
|000006b0| 73 69 74 79 20 6f 66 20 | 49 6f 77 61 2c 20 49 6f |sity of |Iowa, Io|
|000006c0| 77 61 20 43 69 74 79 2c | 20 49 41 2c 20 55 53 41 |wa City,| IA, USA|
|000006d0| 29 0a 5c 5c 0a 26 20 20 | 56 2e 53 2e 20 41 6c 61 |).\\.&  |V.S. Ala|
|000006e0| 67 61 72 20 26 20 28 43 | 6f 6e 63 6f 72 64 69 61 |gar & (C|oncordia|
|000006f0| 20 55 6e 69 76 65 72 73 | 69 74 79 2c 20 4d 6f 6e | Univers|ity, Mon|
|00000700| 74 72 65 61 6c 2c 20 43 | 61 6e 61 64 61 29 0a 5c |treal, C|anada).\|
|00000710| 5c 0a 4c 6f 63 61 6c 20 | 63 68 61 69 72 6d 61 6e |\.Local |chairman|
|00000720| 3a 20 26 20 45 64 20 42 | 72 69 6e 6b 73 6d 61 20 |: & Ed B|rinksma |
|00000730| 26 20 28 55 6e 69 76 65 | 72 73 69 74 79 20 6f 66 |& (Unive|rsity of|
|00000740| 20 54 77 65 6e 74 65 2c | 20 45 6e 73 63 68 65 64 | Twente,| Ensched|
|00000750| 65 2c 20 4e 4c 29 0a 5c | 5c 0a 46 69 6e 61 6e 63 |e, NL).\|\.Financ|
|00000760| 65 20 63 68 61 69 72 6d | 61 6e 3a 20 26 20 46 72 |e chairm|an: & Fr|
|00000770| 61 6e 73 20 76 61 6e 20 | 64 65 72 20 41 76 65 72 |ans van |der Aver|
|00000780| 74 20 26 20 28 55 6e 69 | 76 65 72 73 69 74 79 20 |t & (Uni|versity |
|00000790| 6f 66 20 54 77 65 6e 74 | 65 2c 20 45 6e 73 63 68 |of Twent|e, Ensch|
|000007a0| 65 64 65 2c 20 4e 4c 29 | 0a 5c 5c 0a 4d 65 6d 62 |ede, NL)|.\\.Memb|
|000007b0| 65 72 73 3a 0a 26 20 20 | 4d 6f 68 61 6d 6d 65 64 |ers:.&  |Mohammed|
|000007c0| 20 42 65 74 74 61 7a 20 | 26 20 28 55 6e 69 76 65 | Bettaz |& (Unive|
|000007d0| 72 73 69 74 79 20 6f 66 | 20 43 6f 6e 73 74 61 6e |rsity of| Constan|
|000007e0| 74 69 6e 65 2c 20 41 6c | 67 65 72 69 61 29 0a 5c |tine, Al|geria).\|
|000007f0| 5c 0a 26 20 20 43 68 72 | 69 73 74 69 6e 65 20 43 |\.&  Chr|istine C|
|00000800| 68 6f 70 70 79 20 26 20 | 28 55 6e 69 76 65 72 73 |hoppy & |(Univers|
|00000810| 69 74 79 20 6f 66 20 50 | 61 72 69 73 2d 53 75 64 |ity of P|aris-Sud|
|00000820| 2c 20 4c 52 49 2c 20 4f | 72 73 61 79 2c 20 46 29 |, LRI, O|rsay, F)|
|00000830| 0a 5c 5c 0a 26 20 20 50 | 69 65 72 72 65 20 44 65 |.\\.&  P|ierre De|
|00000840| 72 61 6e 73 61 72 74 20 | 26 20 28 49 4e 52 49 41 |ransart |& (INRIA|
|00000850| 2c 20 52 6f 63 71 75 65 | 6e 63 6f 75 72 74 2c 20 |, Rocque|ncourt, |
|00000860| 46 29 0a 5c 5c 0a 26 20 | 20 41 72 74 68 75 72 20 |F).\\.& | Arthur |
|00000870| 46 6c 65 63 6b 20 26 20 | 28 55 6e 69 76 65 72 73 |Fleck & |(Univers|
|00000880| 69 74 79 20 6f 66 20 49 | 6f 77 61 2c 20 49 6f 77 |ity of I|owa, Iow|
|00000890| 61 20 43 69 74 79 2c 20 | 49 41 2c 20 55 53 41 29 |a City, |IA, USA)|
|000008a0| 0a 5c 5c 0a 26 20 20 4c | 75 69 67 69 20 4c 6f 67 |.\\.&  L|uigi Log|
|000008b0| 72 69 70 70 6f 20 26 20 | 28 55 6e 69 76 65 72 73 |rippo & |(Univers|
|000008c0| 69 74 79 20 6f 66 20 4f | 74 74 61 77 61 2c 20 4f |ity of O|ttawa, O|
|000008d0| 6e 74 61 72 69 6f 2c 20 | 43 61 6e 61 64 61 29 0a |ntario, |Canada).|
|000008e0| 5c 5c 0a 26 20 20 4d 69 | 63 68 61 65 6c 20 4f 27 |\\.&  Mi|chael O'|
|000008f0| 44 6f 6e 6e 65 6c 6c 20 | 26 20 28 55 6e 69 76 65 |Donnell |& (Unive|
|00000900| 72 73 69 74 79 20 6f 66 | 20 43 68 69 63 61 67 6f |rsity of| Chicago|
|00000910| 2c 20 49 4c 2c 20 55 53 | 41 29 0a 5c 5c 0a 26 20 |, IL, US|A).\\.& |
|00000920| 20 4a 75 61 6e 20 51 75 | 65 6d 61 64 61 20 26 20 | Juan Qu|emada & |
|00000930| 28 55 6e 69 76 65 72 73 | 69 74 79 20 6f 66 20 4d |(Univers|ity of M|
|00000940| 61 64 72 69 64 2c 20 45 | 29 0a 5c 5c 0a 26 20 20 |adrid, E|).\\.&  |
|00000950| 52 61 6c 70 68 20 57 61 | 63 68 74 65 72 20 26 20 |Ralph Wa|chter & |
|00000960| 28 4f 66 66 69 63 65 20 | 6f 66 20 4e 61 76 61 6c |(Office |of Naval|
|00000970| 20 52 65 73 65 61 72 63 | 68 2c 20 41 72 6c 69 6e | Researc|h, Arlin|
|00000980| 67 74 6f 6e 2c 20 56 41 | 2c 20 55 53 41 29 0a 5c |gton, VA|, USA).\|
|00000990| 5c 0a 5c 65 6e 64 7b 74 | 61 62 75 6c 61 72 7d 0a |\.\end{t|abular}.|
|000009a0| 0a 5c 6e 6f 69 6e 64 65 | 6e 74 0a 5c 62 65 67 69 |.\noinde|nt.\begi|
|000009b0| 6e 7b 74 61 62 75 6c 61 | 72 7d 7b 6c 6c 7d 0a 4c |n{tabula|r}{ll}.L|
|000009c0| 6f 63 61 6c 20 43 6f 6d | 6d 69 74 74 65 65 3a 20 |ocal Com|mittee: |
|000009d0| 26 20 0a 20 20 20 48 65 | 72 6d 61 6e 20 42 61 6c |& .   He|rman Bal|
|000009e0| 73 74 65 72 73 2c 20 48 | 61 6e 20 42 5c 22 7b 61 |sters, H|an B\"{a|
|000009f0| 7d 75 6d 65 72 2c 20 50 | 69 6d 20 76 61 6e 20 64 |}umer, P|im van d|
|00000a00| 65 6e 20 42 72 6f 65 6b | 2c 20 52 6f 6c 66 20 64 |en Broek|, Rolf d|
|00000a10| 65 20 42 79 2c 0a 5c 5c | 0a 26 20 20 4d 61 61 72 |e By,.\\|.&  Maar|
|00000a20| 74 65 6e 20 46 6f 6b 6b | 69 6e 67 61 2c 20 50 69 |ten Fokk|inga, Pi|
|00000a30| 6d 20 4b 61 72 73 2c 20 | 4d 61 72 6b 20 76 61 6e |m Kars, |Mark van|
|00000a40| 20 64 65 20 56 6f 6f 72 | 74 2c 20 4a 6f 62 20 5a | de Voor|t, Job Z|
|00000a50| 77 69 65 72 73 0a 5c 5c | 0a 53 65 63 72 65 74 61 |wiers.\\|.Secreta|
|00000a60| 72 69 61 74 3a 20 26 20 | 59 76 6f 6e 6e 65 20 52 |riat: & |Yvonne R|
|00000a70| 6f 6b 6b 65 72 0a 5c 65 | 6e 64 7b 74 61 62 75 6c |okker.\e|nd{tabul|
|00000a80| 61 72 7d 0a 20 0a 5c 73 | 6d 61 6c 6c 73 6b 69 70 |ar}. .\s|mallskip|
|00000a90| 5c 6e 6f 69 6e 64 65 6e | 74 7b 5c 62 66 20 50 72 |\noinden|t{\bf Pr|
|00000aa0| 6f 67 72 61 6d 6d 65 20 | 43 6f 6d 6d 69 74 74 65 |ogramme |Committe|
|00000ab0| 65 3a 7d 0a 0a 5c 6e 6f | 69 6e 64 65 6e 74 0a 4d |e:}..\no|indent.M|
|00000ac0| 61 72 74 69 6e 7e 41 62 | 61 64 69 2c 0a 45 67 69 |artin~Ab|adi,.Egi|
|00000ad0| 64 69 6f 7e 41 73 74 65 | 73 69 61 6e 6f 2c 0a 43 |dio~Aste|siano,.C|
|00000ae0| 68 6f 75 6b 72 69 2d 42 | 65 79 7e 42 65 6e 2d 59 |houkri-B|ey~Ben-Y|
|00000af0| 65 6c 6c 65 73 2c 0a 4d | 69 63 68 65 6c 7e 42 69 |elles,.M|ichel~Bi|
|00000b00| 64 6f 69 74 2c 0a 57 69 | 6d 7e 42 6c 6f 6b 2c 0a |doit,.Wi|m~Blok,.|
|00000b10| 43 68 72 69 73 7e 42 72 | 69 6e 6b 2c 0a 5c 5c 0a |Chris~Br|ink,.\\.|
|00000b20| 50 69 65 72 72 65 2d 4c | 75 69 73 7e 43 75 72 69 |Pierre-L|uis~Curi|
|00000b30| 65 6e 2c 0a 4b 6f 6b 69 | 63 68 69 7e 46 75 74 61 |en,.Koki|chi~Futa|
|00000b40| 74 73 75 67 69 2c 0a 53 | 74 65 76 65 6e 7e 47 69 |tsugi,.S|teven~Gi|
|00000b50| 76 61 6e 74 2c 0a 57 69 | 6c 6c 69 61 6d 7e 53 2e |vant,.Wi|lliam~S.|
|00000b60| 7e 48 61 74 63 68 65 72 | 2c 0a 44 6f 75 67 6c 61 |~Hatcher|,.Dougla|
|00000b70| 73 7e 4a 2e 7e 48 6f 77 | 65 2c 0a 5c 5c 0a 42 6a |s~J.~How|e,.\\.Bj|
|00000b80| 61 72 6e 69 7e 4a 5c 27 | 7b 6f 7d 6e 73 73 6f 6e |arni~J\'|{o}nsson|
|00000b90| 2c 0a 48 61 6e 73 2d 4a | 5c 22 7b 6f 7d 72 67 20 |,.Hans-J|\"{o}rg |
|00000ba0| 4b 72 65 6f 77 73 6b 69 | 2c 0a 47 69 61 6e 63 61 |Kreowski|,.Gianca|
|00000bb0| 72 6c 6f 7e 4d 61 75 72 | 69 2c 0a 41 6c 69 7e 4d |rlo~Maur|i,.Ali~M|
|00000bc0| 69 6c 69 2c 20 0a 4d 69 | 63 68 61 65 6c 7e 4d 69 |ili, .Mi|chael~Mi|
|00000bd0| 73 6c 6f 76 65 2c 0a 55 | 67 6f 7e 4d 6f 6e 74 61 |slove,.U|go~Monta|
|00000be0| 6e 61 72 69 2c 0a 5c 5c | 0a 50 65 74 65 72 20 44 |nari,.\\|.Peter D|
|00000bf0| 2e 20 4d 6f 73 73 65 73 | 2c 0a 49 73 74 76 61 6e |. Mosses|,.Istvan|
|00000c00| 7e 4e 5c 27 7b 65 7d 6d | 65 74 69 2c 0a 44 6f 6e |~N\'{e}m|eti,.Don|
|00000c10| 7e 50 69 67 6f 7a 7a 69 | 2c 0a 44 6f 6e 7e 53 61 |~Pigozzi|,.Don~Sa|
|00000c20| 6e 6e 65 6c 6c 61 2c 0a | 52 2e 4b 2e 7e 53 68 79 |nnella,.|R.K.~Shy|
|00000c30| 61 6d 61 73 75 6e 64 61 | 72 2c 0a 4a 6f 68 6e 7e |amasunda|r,.John~|
|00000c40| 53 74 61 70 6c 65 73 2c | 0a 5c 5c 0a 41 6e 64 72 |Staples,|.\\.Andr|
|00000c50| 7a 65 6a 7e 54 61 72 6c | 65 63 6b 69 2c 0a 46 72 |zej~Tarl|ecki,.Fr|
|00000c60| 69 74 73 7e 56 61 61 6e | 64 72 61 67 65 72 2c 0a |its~Vaan|drager,.|
|00000c70| 50 61 75 6c 6f 7e 41 2e | 53 2e 7e 56 65 6c 6f 73 |Paulo~A.|S.~Velos|
|00000c80| 6f 2c 0a 45 72 69 63 7e | 57 61 67 6e 65 72 2c 0a |o,.Eric~|Wagner,.|
|00000c90| 42 6f 62 20 57 61 6c 74 | 65 72 73 2c 0a 4d 61 72 |Bob Walt|ers,.Mar|
|00000ca0| 74 69 6e 7e 57 69 72 73 | 69 6e 67 2e 0a 0a 5c 62 |tin~Wirs|ing...\b|
|00000cb0| 69 67 73 6b 69 70 5c 6e | 6f 69 6e 64 65 6e 74 7b |igskip\n|oindent{|
|00000cc0| 5c 62 66 20 49 6e 76 69 | 74 65 64 20 53 70 65 61 |\bf Invi|ted Spea|
|00000cd0| 6b 65 72 73 7d 0a 0a 5c | 73 6d 61 6c 6c 73 6b 69 |kers}..\|smallski|
|00000ce0| 70 5c 6e 6f 69 6e 64 65 | 6e 74 0a 54 6f 20 61 63 |p\noinde|nt.To ac|
|00000cf0| 68 69 65 76 65 20 74 68 | 65 20 67 6f 61 6c 20 6f |hieve th|e goal o|
|00000d00| 66 20 74 68 65 20 63 6f | 6e 66 65 72 65 6e 63 65 |f the co|nference|
|00000d10| 20 77 65 20 61 69 6d 20 | 74 6f 20 70 72 6f 76 69 | we aim |to provi|
|00000d20| 64 65 20 61 20 66 6f 72 | 75 6d 20 69 6e 20 77 68 |de a for|um in wh|
|00000d30| 69 63 68 0a 6c 65 61 64 | 69 6e 67 20 72 65 73 65 |ich.lead|ing rese|
|00000d40| 61 72 63 68 65 72 73 20 | 69 6e 20 6d 61 74 68 65 |archers |in mathe|
|00000d50| 6d 61 74 69 63 73 2c 20 | 63 6f 6d 70 75 74 65 72 |matics, |computer|
|00000d60| 20 73 63 69 65 6e 63 65 | 2c 20 61 6e 64 20 73 6f | science|, and so|
|00000d70| 66 74 77 61 72 65 20 64 | 65 76 65 6c 6f 70 6d 65 |ftware d|evelopme|
|00000d80| 6e 74 2c 0a 77 69 6c 6c | 20 63 6f 6d 65 20 74 6f |nt,.will| come to|
|00000d90| 67 65 74 68 65 72 20 74 | 6f 20 69 64 65 6e 74 69 |gether t|o identi|
|00000da0| 66 79 20 61 6c 67 65 62 | 72 61 69 63 20 6d 65 74 |fy algeb|raic met|
|00000db0| 68 6f 64 6f 6c 6f 67 69 | 65 73 20 74 68 61 74 20 |hodologi|es that |
|00000dc0| 61 72 65 20 61 70 70 6c | 69 63 61 62 6c 65 20 61 |are appl|icable a|
|00000dd0| 73 0a 76 69 61 62 6c 65 | 20 61 6c 74 65 72 6e 61 |s.viable| alterna|
|00000de0| 74 69 76 65 73 20 74 6f | 20 74 68 65 20 70 72 65 |tives to| the pre|
|00000df0| 73 65 6e 74 20 73 6f 66 | 74 77 61 72 65 20 64 65 |sent sof|tware de|
|00000e00| 76 65 6c 6f 70 6d 65 6e | 74 20 61 70 70 72 6f 61 |velopmen|t approa|
|00000e10| 63 68 65 73 20 61 6e 64 | 20 74 6f 0a 64 69 73 63 |ches and| to.disc|
|00000e20| 75 73 73 20 74 68 65 20 | 61 70 70 72 6f 70 72 69 |uss the |appropri|
|00000e30| 61 74 65 6e 65 73 73 20 | 6f 66 20 73 75 63 68 20 |ateness |of such |
|00000e40| 61 6c 74 65 72 6e 61 74 | 69 76 65 73 20 77 69 74 |alternat|ives wit|
|00000e50| 68 20 61 20 76 69 65 77 | 20 74 6f 20 69 6d 70 6c |h a view| to impl|
|00000e60| 65 6d 65 6e 74 61 74 69 | 6f 6e 2e 0a 49 6e 76 69 |ementati|on..Invi|
|00000e70| 74 65 64 20 73 70 65 61 | 6b 65 72 73 2c 20 77 69 |ted spea|kers, wi|
|00000e80| 74 68 20 61 20 74 65 6e | 74 61 74 69 76 65 20 69 |th a ten|tative i|
|00000e90| 6e 64 69 63 61 74 69 6f | 6e 20 6f 66 20 72 65 73 |ndicatio|n of res|
|00000ea0| 70 65 63 74 69 76 65 20 | 74 6f 70 69 63 73 2c 20 |pective |topics, |
|00000eb0| 69 6e 63 6c 75 64 65 3a | 0a 0a 5c 63 6c 65 61 72 |include:|..\clear|
|00000ec0| 70 61 67 65 0a 5c 73 65 | 74 63 6f 75 6e 74 65 72 |page.\se|tcounter|
|00000ed0| 7b 70 61 67 65 7d 7b 30 | 7d 0a 0a 5c 62 65 67 69 |{page}{0|}..\begi|
|00000ee0| 6e 7b 71 75 6f 74 65 7d | 0a 5c 62 65 67 69 6e 7b |n{quote}|.\begin{|
|00000ef0| 74 61 62 75 6c 61 72 7d | 7b 6c 6c 6c 7d 0a 48 75 |tabular}|{lll}.Hu|
|00000f00| 62 65 72 74 20 43 6f 6d | 6f 6e 20 20 26 20 28 4c |bert Com|on  & (L|
|00000f10| 52 49 2c 20 4f 72 73 61 | 79 29 20 26 20 3a 20 43 |RI, Orsa|y) & : C|
|00000f20| 6f 6e 73 74 72 61 69 6e | 74 20 53 6f 6c 76 69 6e |onstrain|t Solvin|
|00000f30| 67 20 69 6e 20 54 65 72 | 6d 20 41 6c 67 65 62 72 |g in Ter|m Algebr|
|00000f40| 61 73 0a 5c 5c 0a 52 6f | 62 20 76 61 6e 20 47 6c |as.\\.Ro|b van Gl|
|00000f50| 61 62 62 65 65 6b 20 20 | 26 20 28 53 74 61 6e 66 |abbeek  |& (Stanf|
|00000f60| 6f 72 64 20 55 6e 69 76 | 65 72 73 69 74 79 29 20 |ord Univ|ersity) |
|00000f70| 20 20 20 20 20 20 20 20 | 20 20 20 20 26 20 3a 20 |        |    & : |
|00000f80| 50 72 6f 63 65 73 73 20 | 41 6c 67 65 62 72 61 0a |Process |Algebra.|
|00000f90| 5c 5c 0a 4e 69 63 6f 6c | 61 73 20 48 61 6c 62 77 |\\.Nicol|as Halbw|
|00000fa0| 61 63 68 73 20 26 20 28 | 49 4e 50 47 2c 20 47 72 |achs & (|INPG, Gr|
|00000fb0| 65 6e 6f 62 6c 65 29 20 | 20 26 20 3a 20 52 65 61 |enoble) | & : Rea|
|00000fc0| 63 74 69 76 65 20 50 72 | 6f 67 72 61 6d 20 53 79 |ctive Pr|ogram Sy|
|00000fd0| 6e 74 68 65 73 69 73 0a | 5c 5c 0a 4d 69 6b 65 20 |nthesis.|\\.Mike |
|00000fe0| 4a 6f 68 6e 73 6f 6e 20 | 26 20 28 4d 61 63 71 75 |Johnson |& (Macqu|
|00000ff0| 61 72 69 65 20 55 6e 69 | 76 2e 2c 20 53 79 64 6e |arie Uni|v., Sydn|
|00001000| 65 79 29 20 26 20 3a 0a | 20 20 20 20 20 20 20 20 |ey) & :.|        |
|00001010| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001020| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 43 |        |       C|
|00001030| 61 74 65 67 6f 72 79 20 | 54 68 65 6f 72 79 20 66 |ategory |Theory f|
|00001040| 6f 72 20 53 6f 66 74 77 | 61 72 65 20 45 6e 67 69 |or Softw|are Engi|
|00001050| 6e 65 65 72 69 6e 67 0a | 5c 5c 0a 47 69 6f 72 67 |neering.|\\.Giorg|
|00001060| 69 6f 20 4c 65 76 69 20 | 20 20 20 20 20 26 20 28 |io Levi |     & (|
|00001070| 55 6e 69 76 65 72 73 69 | 74 79 20 6f 66 20 50 69 |Universi|ty of Pi|
|00001080| 73 61 29 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |sa)     |        |
|00001090| 20 26 20 3a 20 4c 6f 67 | 69 63 20 50 72 6f 67 72 | & : Log|ic Progr|
|000010a0| 61 6d 6d 69 6e 67 0a 5c | 5c 0a 52 6f 67 65 72 20 |amming.\|\.Roger |
|000010b0| 44 2e 20 4d 61 64 64 75 | 78 20 20 20 26 20 28 49 |D. Maddu|x   & (I|
|000010c0| 6f 77 61 20 53 74 61 74 | 65 20 55 6e 69 76 65 72 |owa Stat|e Univer|
|000010d0| 73 69 74 79 29 20 20 20 | 20 20 20 20 20 20 20 20 |sity)   |        |
|000010e0| 26 20 3a 20 52 65 6c 61 | 74 69 6f 6e 20 41 6c 67 |& : Rela|tion Alg|
|000010f0| 65 62 72 61 0a 5c 65 6e | 64 7b 74 61 62 75 6c 61 |ebra.\en|d{tabula|
|00001100| 72 7d 0a 5c 65 6e 64 7b | 71 75 6f 74 65 7d 0a 0a |r}.\end{|quote}..|
|00001110| 5c 73 65 63 74 69 6f 6e | 2a 7b 53 75 62 6d 69 73 |\section|*{Submis|
|00001120| 73 69 6f 6e 73 7d 0a 0a | 5c 76 73 70 61 63 65 2a |sions}..|\vspace*|
|00001130| 7b 2d 32 6d 6d 7d 0a 54 | 61 6c 6b 73 20 72 65 70 |{-2mm}.T|alks rep|
|00001140| 6f 72 74 69 6e 67 20 72 | 65 73 65 61 72 63 68 20 |orting r|esearch |
|00001150| 69 6e 20 61 6c 67 65 62 | 72 61 20 61 6e 64 20 6c |in algeb|ra and l|
|00001160| 6f 67 69 63 2c 20 73 75 | 69 74 61 62 6c 65 20 61 |ogic, su|itable a|
|00001170| 73 20 61 20 66 6f 75 6e | 64 61 74 69 6f 6e 20 66 |s a foun|dation f|
|00001180| 6f 72 0a 73 6f 66 74 77 | 61 72 65 20 74 65 63 68 |or.softw|are tech|
|00001190| 6e 6f 6c 6f 67 79 2c 20 | 61 73 20 77 65 6c 6c 20 |nology, |as well |
|000011a0| 61 73 20 73 6f 66 74 77 | 61 72 65 20 74 65 63 68 |as softw|are tech|
|000011b0| 6e 6f 6c 6f 67 69 65 73 | 0a 64 65 76 65 6c 6f 70 |nologies|.develop|
|000011c0| 65 64 20 62 79 20 6d 65 | 61 6e 73 20 6f 66 20 61 |ed by me|ans of a|
|000011d0| 6c 67 65 62 72 61 69 63 | 20 6d 65 74 68 6f 64 6f |lgebraic| methodo|
|000011e0| 6c 6f 67 69 65 73 2c 20 | 61 72 65 20 77 65 6c 63 |logies, |are welc|
|000011f0| 6f 6d 65 2e 0a 44 65 6d | 6f 6e 73 74 72 61 74 69 |ome..Dem|onstrati|
|00001200| 6f 6e 73 20 6f 66 20 73 | 79 73 74 65 6d 73 20 73 |ons of s|ystems s|
|00001210| 68 6f 77 69 6e 67 20 74 | 68 65 20 69 6d 70 72 6f |howing t|he impro|
|00001220| 76 65 64 20 65 66 66 65 | 63 74 69 76 65 6e 65 73 |ved effe|ctivenes|
|00001230| 73 20 6f 66 20 73 6f 66 | 74 77 61 72 65 0a 64 65 |s of sof|tware.de|
|00001240| 76 65 6c 6f 70 65 64 20 | 6f 6e 20 61 20 6d 61 74 |veloped |on a mat|
|00001250| 68 65 6d 61 74 69 63 61 | 6c 20 62 61 73 69 73 20 |hematica|l basis |
|00001260| 28 77 69 74 68 20 6f 72 | 20 77 69 74 68 6f 75 74 |(with or| without|
|00001270| 20 61 20 74 61 6c 6b 29 | 0a 77 69 6c 6c 20 61 6c | a talk)|.will al|
|00001280| 73 6f 20 62 65 20 63 6f | 6e 73 69 64 65 72 65 64 |so be co|nsidered|
|00001290| 2e 0a 54 6f 20 62 65 20 | 6d 6f 72 65 20 70 72 65 |..To be |more pre|
|000012a0| 63 69 73 65 20 74 68 65 | 20 6f 72 67 61 6e 69 7a |cise the| organiz|
|000012b0| 65 72 73 20 77 69 73 68 | 20 63 6f 6e 74 72 69 62 |ers wish| contrib|
|000012c0| 75 74 69 6f 6e 73 20 6f | 6e 2c 20 62 75 74 20 6e |utions o|n, but n|
|000012d0| 6f 74 20 6c 69 6d 69 74 | 65 64 20 74 6f 2c 0a 61 |ot limit|ed to,.a|
|000012e0| 6c 67 65 62 72 61 69 63 | 20 6d 65 74 68 6f 64 73 |lgebraic| methods|
|000012f0| 20 66 6f 72 20 6c 61 6e | 67 75 61 67 65 20 64 65 | for lan|guage de|
|00001300| 73 69 67 6e 20 61 6e 64 | 20 20 63 6f 6d 70 69 6c |sign and|  compil|
|00001310| 65 72 20 63 6f 6e 73 74 | 72 75 63 74 69 6f 6e 0a |er const|ruction.|
|00001320| 28 65 2e 67 2e 20 66 6f | 72 20 41 6c 67 6f 6c 2d |(e.g. fo|r Algol-|
|00001330| 6c 69 6b 65 20 70 72 6f | 67 72 61 6d 6d 69 6e 67 |like pro|gramming|
|00001340| 20 6c 61 6e 67 75 61 67 | 65 73 29 2c 0a 61 6c 67 | languag|es),.alg|
|00001350| 65 62 72 61 69 63 20 6d | 65 74 68 6f 64 6f 6c 6f |ebraic m|ethodolo|
|00001360| 67 79 20 66 6f 72 20 73 | 6f 66 74 77 61 72 65 20 |gy for s|oftware |
|00001370| 65 6e 67 69 6e 65 65 72 | 69 6e 67 2c 0a 61 6c 67 |engineer|ing,.alg|
|00001380| 65 62 72 61 69 63 20 73 | 70 65 63 69 66 69 63 61 |ebraic s|pecifica|
|00001390| 74 69 6f 6e 73 20 61 6e | 64 20 61 6c 67 6f 72 69 |tions an|d algori|
|000013a0| 74 68 6d 73 20 74 6f 20 | 61 75 74 6f 6d 61 74 69 |thms to |automati|
|000013b0| 63 61 6c 6c 79 20 62 75 | 69 6c 64 0a 70 72 6f 67 |cally bu|ild.prog|
|000013c0| 72 61 6d 73 20 66 72 6f | 6d 20 73 75 63 68 20 73 |rams fro|m such s|
|000013d0| 70 65 63 69 66 69 63 61 | 74 69 6f 6e 73 2c 0a 65 |pecifica|tions,.e|
|000013e0| 78 74 72 61 63 74 69 6f | 6e 20 6f 66 20 70 72 6f |xtractio|n of pro|
|000013f0| 67 72 61 6d 73 20 66 72 | 6f 6d 20 63 6f 6e 73 74 |grams fr|om const|
|00001400| 72 75 63 74 69 76 65 20 | 70 72 6f 6f 66 73 2c 0a |ructive |proofs,.|
|00001410| 63 61 74 65 67 6f 72 69 | 63 61 6c 2c 20 61 6c 67 |categori|cal, alg|
|00001420| 65 62 72 61 69 63 20 61 | 6e 64 20 6c 6f 67 69 63 |ebraic a|nd logic|
|00001430| 20 70 72 6f 67 72 61 6d | 6d 69 6e 67 2c 0a 64 65 | program|ming,.de|
|00001440| 64 75 63 74 69 76 65 20 | 64 61 74 61 62 61 73 65 |ductive |database|
|00001450| 73 2c 20 71 75 65 72 79 | 20 6c 61 6e 67 75 61 67 |s, query| languag|
|00001460| 65 20 64 65 73 69 67 6e | 2c 0a 61 6c 67 65 62 72 |e design|,.algebr|
|00001470| 61 69 63 20 73 70 65 63 | 69 66 69 63 61 74 69 6f |aic spec|ificatio|
|00001480| 6e 20 6f 66 20 63 6f 6e | 63 75 72 72 65 6e 74 20 |n of con|current |
|00001490| 73 79 73 74 65 6d 73 2c | 0a 64 69 73 74 72 69 62 |systems,|.distrib|
|000014a0| 75 74 65 64 20 6f 70 65 | 72 61 74 69 6e 67 20 73 |uted ope|rating s|
|000014b0| 79 73 74 65 6d 73 2c 20 | 72 65 61 63 74 69 76 65 |ystems, |reactive|
|000014c0| 20 73 79 73 74 65 6d 73 | 2c 0a 70 72 61 63 74 69 | systems|,.practi|
|000014d0| 63 61 6c 20 74 65 63 68 | 6e 69 71 75 65 73 20 61 |cal tech|niques a|
|000014e0| 6e 64 20 65 78 61 6d 70 | 6c 65 73 20 66 6f 72 20 |nd examp|les for |
|000014f0| 76 65 72 69 66 69 63 61 | 74 69 6f 6e 20 6f 66 20 |verifica|tion of |
|00001500| 70 72 6f 67 72 61 6d 0a | 61 6e 64 2f 6f 72 20 73 |program.|and/or s|
|00001510| 70 65 63 69 66 69 63 61 | 74 69 6f 6e 20 70 72 6f |pecifica|tion pro|
|00001520| 70 65 72 74 69 65 73 2e | 0a 57 65 20 69 6e 76 69 |perties.|.We invi|
|00001530| 74 65 20 79 6f 75 20 74 | 6f 20 73 75 62 6d 69 74 |te you t|o submit|
|00001540| 20 61 20 74 77 6f 2d 70 | 61 67 65 20 61 62 73 74 | a two-p|age abst|
|00001550| 72 61 63 74 20 28 69 6e | 63 6c 75 64 69 6e 67 20 |ract (in|cluding |
|00001560| 61 20 66 65 77 0a 63 69 | 74 61 74 69 6f 6e 73 20 |a few.ci|tations |
|00001570| 6f 66 20 72 65 6c 65 76 | 61 6e 74 20 77 6f 72 6b |of relev|ant work|
|00001580| 29 20 6f 66 20 79 6f 75 | 72 20 74 61 6c 6b 20 74 |) of you|r talk t|
|00001590| 6f 0a 5c 62 65 67 69 6e | 7b 71 75 6f 74 65 7d 0a |o.\begin|{quote}.|
|000015a0| 41 4d 41 53 54 20 43 6f | 6e 66 65 72 65 6e 63 65 |AMAST Co|nference|
|000015b0| 2c 0a 55 6e 69 76 65 72 | 73 69 74 79 20 6f 66 20 |,.Univer|sity of |
|000015c0| 54 77 65 6e 74 65 2c 0a | 46 61 63 2e 5c 20 49 6e |Twente,.|Fac.\ In|
|000015d0| 66 6f 72 6d 61 74 69 63 | 61 2c 0a 41 74 74 2e 20 |formatic|a,.Att. |
|000015e0| 4d 72 73 2e 5c 20 59 2e | 20 52 6f 6b 6b 65 72 2c |Mrs.\ Y.| Rokker,|
|000015f0| 0a 5c 5c 0a 50 2e 4f 2e | 20 42 6f 78 20 32 31 37 |.\\.P.O.| Box 217|
|00001600| 2c 0a 4e 4c 2d 37 35 30 | 30 41 45 20 45 6e 73 63 |,.NL-750|0AE Ensc|
|00001610| 68 65 64 65 2c 0a 54 68 | 65 20 4e 65 74 68 65 72 |hede,.Th|e Nether|
|00001620| 6c 61 6e 64 73 0a 5c 20 | 5c 20 5c 20 28 70 68 6f |lands.\ |\ \ (pho|
|00001630| 6e 65 3a 20 2b 20 33 31 | 20 35 33 20 38 39 33 37 |ne: + 31| 53 8937|
|00001640| 30 31 29 0a 5c 65 6e 64 | 7b 71 75 6f 74 65 7d 0a |01).\end|{quote}.|
|00001650| 46 6f 75 72 2d 70 61 67 | 65 20 61 62 62 72 65 76 |Four-pag|e abbrev|
|00001660| 69 61 74 65 64 20 70 61 | 70 65 72 73 20 6f 66 20 |iated pa|pers of |
|00001670| 74 68 65 20 74 61 6c 6b | 73 20 70 72 65 73 65 6e |the talk|s presen|
|00001680| 74 65 64 20 61 74 20 74 | 68 65 20 63 6f 6e 66 65 |ted at t|he confe|
|00001690| 72 65 6e 63 65 2c 20 74 | 6f 67 65 74 68 65 72 0a |rence, t|ogether.|
|000016a0| 77 69 74 68 20 74 68 65 | 20 69 6e 76 69 74 65 64 |with the| invited|
|000016b0| 20 74 61 6c 6b 73 2c 20 | 77 69 6c 6c 20 62 65 20 | talks, |will be |
|000016c0| 63 6f 6c 6c 65 63 74 65 | 64 20 69 6e 20 74 68 65 |collecte|d in the|
|000016d0| 20 70 61 72 74 69 63 69 | 70 61 6e 74 73 27 20 65 | partici|pants' e|
|000016e0| 64 69 74 69 6f 6e 20 6f | 66 20 74 68 65 0a 70 72 |dition o|f the.pr|
|000016f0| 6f 63 65 65 64 69 6e 67 | 73 2c 20 77 68 69 63 68 |oceeding|s, which|
|00001700| 20 77 69 6c 6c 20 62 65 | 20 61 76 61 69 6c 61 62 | will be| availab|
|00001710| 6c 65 20 74 6f 20 74 68 | 65 20 61 74 74 65 6e 64 |le to th|e attend|
|00001720| 65 65 73 20 75 70 6f 6e | 20 74 68 65 69 72 20 61 |ees upon| their a|
|00001730| 72 72 69 76 61 6c 20 69 | 6e 0a 54 77 65 6e 74 65 |rrival i|n.Twente|
|00001740| 2e 0a 54 68 65 20 61 75 | 74 68 6f 72 73 20 61 72 |..The au|thors ar|
|00001750| 65 20 65 78 70 65 63 74 | 65 64 20 74 6f 20 62 72 |e expect|ed to br|
|00001760| 69 6e 67 20 66 75 6c 6c | 20 76 65 72 73 69 6f 6e |ing full| version|
|00001770| 73 20 6f 66 20 74 68 65 | 69 72 20 70 61 70 65 72 |s of the|ir paper|
|00001780| 73 20 61 74 20 74 68 65 | 0a 63 6f 6e 66 65 72 65 |s at the|.confere|
|00001790| 6e 63 65 2c 20 66 6f 72 | 20 66 75 72 74 68 65 72 |nce, for| further|
|000017a0| 20 72 65 76 69 65 77 20 | 61 6e 64 20 69 6e 63 6c | review |and incl|
|000017b0| 75 73 69 6f 6e 20 69 6e | 20 74 68 65 20 41 4d 41 |usion in| the AMA|
|000017c0| 53 54 27 39 33 20 50 72 | 6f 63 65 65 64 69 6e 67 |ST'93 Pr|oceeding|
|000017d0| 73 2c 0a 74 6f 20 62 65 | 20 70 75 62 6c 69 73 68 |s,.to be| publish|
|000017e0| 65 64 20 62 79 20 53 70 | 72 69 6e 67 65 72 2d 56 |ed by Sp|ringer-V|
|000017f0| 65 72 6c 61 67 2c 20 4c | 6f 6e 64 6f 6e 2e 20 0a |erlag, L|ondon. .|
|00001800| 41 20 73 70 65 63 69 61 | 6c 20 69 73 73 75 65 20 |A specia|l issue |
|00001810| 6f 66 20 7b 5c 65 6d 20 | 54 68 65 6f 72 65 74 69 |of {\em |Theoreti|
|00001820| 63 61 6c 20 43 6f 6d 70 | 75 74 65 72 20 53 63 69 |cal Comp|uter Sci|
|00001830| 65 6e 63 65 7d 20 77 69 | 6c 6c 20 62 65 20 64 65 |ence} wi|ll be de|
|00001840| 64 69 63 61 74 65 64 20 | 74 6f 0a 74 68 69 73 20 |dicated |to.this |
|00001850| 63 6f 6e 66 65 72 65 6e | 63 65 3b 20 70 61 72 74 |conferen|ce; part|
|00001860| 69 63 69 70 61 6e 74 73 | 20 77 69 6c 6c 20 62 65 |icipants| will be|
|00001870| 20 69 6e 76 69 74 65 64 | 20 74 6f 20 73 75 62 6d | invited| to subm|
|00001880| 69 74 20 74 68 65 69 72 | 20 66 75 6c 6c 20 70 61 |it their| full pa|
|00001890| 70 65 72 0a 66 6f 72 20 | 70 6f 73 73 69 62 6c 65 |per.for |possible|
|000018a0| 20 70 75 62 6c 69 63 61 | 74 69 6f 6e 20 69 6e 20 | publica|tion in |
|000018b0| 74 68 69 73 20 6a 6f 75 | 72 6e 61 6c 2e 0a 0a 5c |this jou|rnal...\|
|000018c0| 73 6d 61 6c 6c 73 6b 69 | 70 5c 6e 6f 69 6e 64 65 |smallski|p\noinde|
|000018d0| 6e 74 5c 75 6e 64 65 72 | 6c 69 6e 65 7b 7b 5c 62 |nt\under|line{{\b|
|000018e0| 66 20 49 6d 70 6f 72 74 | 61 6e 74 20 44 75 65 20 |f Import|ant Due |
|000018f0| 44 61 74 65 73 7d 7d 0a | 5c 5c 0a 24 5c 62 75 6c |Dates}}.|\\.$\bul|
|00001900| 6c 65 74 24 0a 54 77 6f | 20 70 61 67 65 20 61 62 |let$.Two| page ab|
|00001910| 73 74 72 61 63 74 20 73 | 75 62 6d 69 73 73 69 6f |stract s|ubmissio|
|00001920| 6e 20 62 79 20 44 65 63 | 65 6d 62 65 72 20 31 35 |n by Dec|ember 15|
|00001930| 2c 20 31 39 39 32 2e 0a | 5c 5c 0a 24 5c 62 75 6c |, 1992..|\\.$\bul|
|00001940| 6c 65 74 24 0a 4e 6f 74 | 69 66 69 63 61 74 69 6f |let$.Not|ificatio|
|00001950| 6e 20 6f 66 20 61 63 63 | 65 70 74 61 6e 63 65 20 |n of acc|eptance |
|00001960| 62 79 20 4d 61 72 63 68 | 20 33 31 2c 20 31 39 39 |by March| 31, 199|
|00001970| 33 2e 0a 5c 5c 0a 24 5c | 62 75 6c 6c 65 74 24 0a |3..\\.$\|bullet$.|
|00001980| 43 61 6d 65 72 61 2d 72 | 65 61 64 79 20 66 6f 75 |Camera-r|eady fou|
|00001990| 72 2d 70 61 67 65 20 70 | 61 70 65 72 0a 74 6f 20 |r-page p|aper.to |
|000019a0| 61 70 70 65 61 72 20 69 | 6e 20 70 61 72 74 69 63 |appear i|n partic|
|000019b0| 69 70 61 6e 74 73 27 20 | 70 72 6f 63 65 65 64 69 |ipants' |proceedi|
|000019c0| 6e 67 73 20 62 79 20 4d | 61 79 20 31 2c 20 31 39 |ngs by M|ay 1, 19|
|000019d0| 39 33 2e 0a 5c 5c 0a 24 | 5c 62 75 6c 6c 65 74 24 |93..\\.$|\bullet$|
|000019e0| 0a 46 75 6c 6c 20 70 61 | 70 65 72 20 66 6f 72 20 |.Full pa|per for |
|000019f0| 41 4d 41 53 54 27 39 33 | 20 50 72 6f 63 65 65 64 |AMAST'93| Proceed|
|00001a00| 69 6e 67 73 2c 20 61 74 | 20 74 68 65 20 63 6f 6e |ings, at| the con|
|00001a10| 66 65 72 65 6e 63 65 2e | 0a 0a 5c 73 6d 61 6c 6c |ference.|..\small|
|00001a20| 73 6b 69 70 5c 6e 6f 69 | 6e 64 65 6e 74 0a 46 75 |skip\noi|ndent.Fu|
|00001a30| 72 74 68 65 72 20 69 6e | 66 6f 72 6d 61 74 69 6f |rther in|formatio|
|00001a40| 6e 20 63 61 6e 20 62 65 | 20 6f 62 74 61 69 6e 65 |n can be| obtaine|
|00001a50| 64 20 66 72 6f 6d 3a 0a | 5c 62 65 67 69 6e 7b 63 |d from:.|\begin{c|
|00001a60| 65 6e 74 65 72 7d 0a 5c | 73 6d 61 6c 6c 0a 5c 62 |enter}.\|small.\b|
|00001a70| 65 67 69 6e 7b 74 61 62 | 75 6c 61 72 7d 7b 6c 20 |egin{tab|ular}{l |
|00001a80| 6c 20 6c 7d 0a 7b 5c 69 | 74 20 49 6e 20 43 61 6e |l l}.{\i|t In Can|
|00001a90| 61 64 61 5c 2f 7d 3a 20 | 26 20 7b 5c 69 74 20 49 |ada\/}: |& {\it I|
|00001aa0| 6e 20 45 75 72 6f 70 65 | 5c 2f 7d 3a 20 26 20 7b |n Europe|\/}: & {|
|00001ab0| 5c 69 74 20 49 6e 20 55 | 2e 53 2e 41 5c 2f 7d 3a |\it In U|.S.A\/}:|
|00001ac0| 20 5c 5c 0a 56 2e 53 2e | 20 41 6c 61 67 61 72 20 | \\.V.S.| Alagar |
|00001ad0| 20 20 20 20 20 20 20 20 | 20 26 20 43 68 61 72 6c |        | & Charl|
|00001ae0| 65 73 20 52 61 74 74 72 | 61 79 20 20 20 20 20 20 |es Rattr|ay      |
|00001af0| 20 20 20 20 20 20 20 26 | 20 54 65 6f 64 6f 72 20 |       &| Teodor |
|00001b00| 52 75 73 20 5c 5c 0a 43 | 6f 6e 63 6f 72 64 69 61 |Rus \\.C|oncordia|
|00001b10| 20 55 6e 69 76 65 72 73 | 69 74 79 20 26 20 55 6e | Univers|ity & Un|
|00001b20| 69 76 65 72 73 69 74 79 | 20 6f 66 20 53 74 69 72 |iversity| of Stir|
|00001b30| 6c 69 6e 67 20 20 20 20 | 20 20 26 20 55 6e 69 76 |ling    |  & Univ|
|00001b40| 65 72 73 69 74 79 20 6f | 66 20 49 6f 77 61 20 20 |ersity o|f Iowa  |
|00001b50| 20 20 20 5c 5c 0a 44 65 | 70 74 2e 5c 20 6f 66 20 |   \\.De|pt.\ of |
|00001b60| 43 6f 6d 70 75 74 65 72 | 20 53 63 69 65 6e 63 65 |Computer| Science|
|00001b70| 20 26 20 44 65 70 74 2e | 5c 20 6f 66 20 4d 61 74 | & Dept.|\ of Mat|
|00001b80| 68 65 6d 61 74 69 63 73 | 20 26 0a 20 20 20 20 20 |hematics| &.     |
|00001b90| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001ba0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001bb0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 44 65 |        |      De|
|00001bc0| 70 74 2e 5c 20 6f 66 20 | 43 6f 6d 70 75 74 65 72 |pt.\ of |Computer|
|00001bd0| 20 53 63 69 65 6e 63 65 | 20 5c 5c 0a 31 34 35 35 | Science| \\.1455|
|00001be0| 20 44 65 20 4d 61 69 73 | 6f 6e 6e 65 75 76 65 20 | De Mais|onneuve |
|00001bf0| 42 6c 76 64 2e 5c 20 57 | 65 73 74 20 26 20 61 6e |Blvd.\ W|est & an|
|00001c00| 64 20 43 6f 6d 70 75 74 | 69 6e 67 20 53 63 69 65 |d Comput|ing Scie|
|00001c10| 6e 63 65 20 26 20 49 6f | 77 61 20 43 69 74 79 20 |nce & Io|wa City |
|00001c20| 5c 5c 20 0a 4d 6f 6e 74 | 72 65 61 6c 2c 20 51 75 |\\ .Mont|real, Qu|
|00001c30| 65 62 65 63 20 48 33 47 | 20 31 4d 38 20 26 20 53 |ebec H3G| 1M8 & S|
|00001c40| 74 69 72 6c 69 6e 67 2c | 20 53 63 6f 74 6c 61 6e |tirling,| Scotlan|
|00001c50| 64 2c 20 46 4b 39 20 34 | 4c 41 20 26 20 20 49 41 |d, FK9 4|LA &  IA|
|00001c60| 20 35 32 32 34 32 20 5c | 5c 0a 43 61 6e 61 64 61 | 52242 \|\.Canada|
|00001c70| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00001c80| 20 20 20 26 20 47 72 65 | 61 74 20 42 72 69 74 61 |   & Gre|at Brita|
|00001c90| 69 6e 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |in      |        |
|00001ca0| 20 26 20 55 53 41 20 20 | 5c 5c 0a 70 68 6f 6e 65 | & USA  |\\.phone|
|00001cb0| 3a 20 2b 20 31 20 35 31 | 34 20 38 34 38 33 30 32 |: + 1 51|4 848302|
|00001cc0| 32 20 20 26 20 70 68 6f | 6e 65 3a 20 2b 20 34 34 |2  & pho|ne: + 44|
|00001cd0| 20 37 38 36 20 37 33 31 | 37 31 20 20 20 20 20 26 | 786 731|71     &|
|00001ce0| 20 70 68 6f 6e 65 3a 20 | 2b 20 31 20 33 31 39 20 | phone: |+ 1 319 |
|00001cf0| 33 33 35 30 37 34 32 20 | 5c 5c 0a 66 61 78 20 3a |3350742 |\\.fax :|
|00001d00| 20 20 2b 20 31 20 35 31 | 34 20 38 34 38 32 38 33 |  + 1 51|4 848283|
|00001d10| 30 20 20 26 20 66 61 78 | 20 3a 20 20 2b 20 34 34 |0  & fax| :  + 44|
|00001d20| 20 37 38 36 20 36 34 35 | 35 31 20 20 20 20 20 26 | 786 645|51     &|
|00001d30| 20 66 61 78 20 3a 20 20 | 2b 20 31 20 33 31 39 20 | fax :  |+ 1 319 |
|00001d40| 33 33 35 30 36 32 37 20 | 5c 5c 0a 65 2d 6d 61 69 |3350627 |\\.e-mai|
|00001d50| 6c 3a 20 61 6c 61 67 61 | 72 40 63 6f 6e 63 6f 75 |l: alaga|r@concou|
|00001d60| 72 2e 63 73 2e 63 6f 6e | 63 6f 72 64 69 61 2e 63 |r.cs.con|cordia.c|
|00001d70| 61 0a 26 20 65 2d 6d 61 | 69 6c 3a 20 63 72 40 63 |a.& e-ma|il: cr@c|
|00001d80| 73 2e 73 74 69 72 2e 61 | 63 2e 75 6b 20 26 20 65 |s.stir.a|c.uk & e|
|00001d90| 2d 6d 61 69 6c 3a 20 72 | 75 73 40 63 73 2e 75 69 |-mail: r|us@cs.ui|
|00001da0| 6f 77 61 2e 65 64 75 20 | 5c 5c 0a 5c 65 6e 64 7b |owa.edu |\\.\end{|
|00001db0| 74 61 62 75 6c 61 72 7d | 0a 5c 65 6e 64 7b 63 65 |tabular}|.\end{ce|
|00001dc0| 6e 74 65 72 7d 0a 5c 65 | 6e 64 7b 64 6f 63 75 6d |nter}.\e|nd{docum|
|00001dd0| 65 6e 74 7d 0a          |                         |ent}.   |        |
+--------+-------------------------+-------------------------+--------+--------+