From dmanet@math.utwente.nl Thu Aug 14 01:05:49 1997 Date: Tue, 5 Aug 1997 15:16:23 METDST From: DMANET Reply-To: kuske@NALW01.math.tu-dresden.de To: DMA-LIST@NIC.SURFNET.NL Subject: Announcement: Traces and Logic (a PS-version of this announcement is appended) Traces and Logic November 3-5, 1997 at Technische Universit\"at Dresden A workshop of the Graduiertenkolleg "Spezifikation diskreter Prozesse und Prozesssysteme durch operationelle Modelle und Logiken" We are very happy to announce the following invited speakers and lectures: V. Diekert (Stuttgart): Rewriting systems over traces - a survey P. Gastin (Paris): Formal power series in partially commuting variables Y. Matiyasevich (St. Petersburg): Solving trace equations A. Muscholl (Stuttgart): Some decision problems for traces A. Petit (Cachan): Traces and logic -- a semigroup approach D. Th\'erien (Montreal) : Algebraic characterizations and decision procedures in temporal logic W. Thomas (Kiel): Monadic second-order logic over partial orders I. Walukiewicz (Warsaw): A temporal logic for traces All lecturers are asked to give a general survey on their field of interest followed by recent research results. It is planned that after further short communications, promissing new research developments are discussed among the participants of the workshop. The lectures will take place in Willersbau, Zellescher Weg, at the Department of Mathematics. More up to date information can be obtained via the URL http://www.math.tu-dresden.de/~kuske/TracesAndLogic.html Interested participants are most welcome. Manfred Droste and Dietrich Kuske Institut f\"ur Algebra, TU Dresden, D-01062 Dresden Fax. +49 351 463 4235\\ email: \{droste,kuske\}@math.tu-dresden.de %!PS-Adobe-2.0 %%Creator: dvips 5.58 Copyright 1986, 1994 Radical Eye Software %%Title: plakat.dvi %%CreationDate: Wed Jul 23 14:00:09 1997 %%Pages: 1 %%PageOrder: Ascend %%BoundingBox: 0 0 596 842 %%EndComments %DVIPSCommandLine: D:\EMTEX\BIN\DVIPS.EXE plakat %DVIPSParameters: dpi=300, compressed, comments removed %DVIPSSource: TeX output 1997.07.23:1359 %%BeginProcSet: texc.pro /TeXDict 250 dict def TeXDict begin /N{def}def /B{bind def}N /S{exch}N /X{S N}B /TR{translate}N /isls false N /vsize 11 72 mul N /hsize 8.5 72 mul N /landplus90{false}def /@rigin{isls{[0 landplus90{1 -1}{-1 1} ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[matrix currentmatrix{dup dup round sub abs 0.00001 lt{round}if} forall round exch round exch]setmatrix}N /@landscape{/isls true N}B /@manualfeed{statusdict /manualfeed true put}B /@copies{/#copies X}B /FMat[1 0 0 -1 0 0]N /FBB[0 0 0 0]N /nn 0 N /IE 0 N /ctr 0 N /df-tail{ /nn 8 dict N nn begin /FontType 3 N /FontMatrix fntrx N /FontBBox FBB N string /base X array /BitMaps X /BuildChar{CharBuilder}N /Encoding IE N end dup{/foo setfont}2 array copy cvx N load 0 nn put /ctr 0 N[}B /df{ /sf 1 N /fntrx FMat N df-tail}B /dfs{div /sf X /fntrx[sf 0 0 sf neg 0 0] N df-tail}B /E{pop nn dup definefont setfont}B /ch-width{ch-data dup length 5 sub get}B /ch-height{ch-data dup length 4 sub get}B /ch-xoff{ 128 ch-data dup length 3 sub get sub}B /ch-yoff{ch-data dup length 2 sub get 127 sub}B /ch-dx{ch-data dup length 1 sub get}B /ch-image{ch-data dup type /stringtype ne{ctr get /ctr ctr 1 add N}if}B /id 0 N /rw 0 N /rc 0 N /gp 0 N /cp 0 N /G 0 N /sf 0 N /CharBuilder{save 3 1 roll S dup /base get 2 index get S /BitMaps get S get /ch-data X pop /ctr 0 N ch-dx 0 ch-xoff ch-yoff ch-height sub ch-xoff ch-width add ch-yoff setcachedevice ch-width ch-height true[1 0 0 -1 -.1 ch-xoff sub ch-yoff .1 sub]/id ch-image N /rw ch-width 7 add 8 idiv string N /rc 0 N /gp 0 N /cp 0 N{rc 0 ne{rc 1 sub /rc X rw}{G}ifelse}imagemask restore}B /G{{id gp get /gp gp 1 add N dup 18 mod S 18 idiv pl S get exec}loop}B /adv{cp add /cp X}B /chg{rw cp id gp 4 index getinterval putinterval dup gp add /gp X adv}B /nd{/cp 0 N rw exit}B /lsh{rw cp 2 copy get dup 0 eq{pop 1}{ dup 255 eq{pop 254}{dup dup add 255 and S 1 and or}ifelse}ifelse put 1 adv}B /rsh{rw cp 2 copy get dup 0 eq{pop 128}{dup 255 eq{pop 127}{dup 2 idiv S 128 and or}ifelse}ifelse put 1 adv}B /clr{rw cp 2 index string putinterval adv}B /set{rw cp fillstr 0 4 index getinterval putinterval adv}B /fillstr 18 string 0 1 17{2 copy 255 put pop}for N /pl[{adv 1 chg} {adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{ adv rsh nd}{1 add adv}{/rc X nd}{1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]dup{bind pop}forall N /D{/cc X dup type /stringtype ne{] }if nn /base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{dup dup length 1 sub dup 2 index S get sf div put}if put /ctr ctr 1 add N}B /I{ cc 1 add D}B /bop{userdict /bop-hook known{bop-hook}if /SI save N @rigin 0 0 moveto /V matrix currentmatrix dup 1 get dup mul exch 0 get dup mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N /eop{SI restore showpage userdict /eop-hook known{eop-hook}if}N /@start{userdict /start-hook known{start-hook}if pop /VResolution X /Resolution X 1000 div /DVImag X /IE 256 array N 0 1 255{IE S 1 string dup 0 3 index put cvn put}for 65781.76 div /vsize X 65781.76 div /hsize X}N /p{show}N /RMat[1 0 0 -1 0 0]N /BDot 260 string N /rulex 0 N /ruley 0 N /v{/ruley X /rulex X V}B /V {}B /RV statusdict begin /product where{pop product dup length 7 ge{0 7 getinterval dup(Display)eq exch 0 4 getinterval(NeXT)eq or}{pop false} ifelse}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale rulex ruley false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR rulex ruley scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B /QV{gsave newpath transform round exch round exch itransform moveto rulex 0 rlineto 0 ruley neg rlineto rulex neg 0 rlineto fill grestore}B /a{moveto}B /delta 0 N /tail {dup /delta X 0 rmoveto}B /M{S p delta add tail}B /b{S p tail}B /c{-4 M} B /d{-3 M}B /e{-2 M}B /f{-1 M}B /g{0 M}B /h{1 M}B /i{2 M}B /j{3 M}B /k{ 4 M}B /w{0 rmoveto}B /l{p -4 w}B /m{p -3 w}B /n{p -2 w}B /o{p -1 w}B /q{ p 1 w}B /r{p 2 w}B /s{p 3 w}B /t{p 4 w}B /x{0 S rmoveto}B /y{3 2 roll p a}B /bos{/SS save N}B /eos{SS restore}B end %%EndProcSet TeXDict begin 39158280 55380996 1000 300 300 (/TEXTE/GK-W/plakat.dvi) @start /Fa 2 104 df102 D<12F8120FEA03806C7E6C7EB11370 7F131EEB03C0EB1E0013385B5BB1485A485A000FC7FC12F812317DA419>I E /Fb 31 124 df45 D<1403A25CA25CA25C142FA2EC4F80 A21487A2EB01071302A21304A21308131813101320A290387FFFC0EB40031380EA0100A2 1202A25AA2120C003CEB07E0B4EB3FFC1E237DA224>65 D<90B6FC90380F000F1503A213 1EA21502A25BA214011500EB7802A21406140EEBFFFCEBF00CA33801E008A391C7FC485A A4485AA4120FEAFFF820227DA120>70 D77 D<90B512C090380F0070153C151C011E130EA2150FA249 131EA3153C4913381570EC01E0EC07809038FFFC00EBF00E80EC0380D801E013C0A43903 C00780A43907800F001501A2EC0702120F39FFF0038CC812F020237DA124>82 D<903801F02090380E0C4090381802C0EB3001136001E0138013C01201A200031400A291 C7FCA27FEA01F813FF6C13E06D7EEB1FF8EB03FCEB007C143C80A30020131CA314180060 1338143000705B5C38C80180D8C607C7FCEA81FC1B247DA21B>I<001FB512F8391E03C0 3800181418123038200780A200401410A2EB0F001280A200001400131EA45BA45BA45BA4 485AA41203B5FC1D2277A123>I97 DI<137EEA01C13803 0180EA0703EA0E07121C003CC7FC12381278A35AA45B12701302EA300CEA1830EA0FC011 157B9416>I<143CEB03F8EB0038A31470A414E0A4EB01C013F9EA0185EA0705380E0380 A2121C123C383807001278A3EAF00EA31410EB1C201270133C38305C40138C380F078016 237BA219>I<13F8EA0384EA0E02121C123C1238EA7804EAF018EAFFE0EAF000A25AA413 02A2EA6004EA7018EA3060EA0F800F157A9416>I<143E144714CFEB018F1486EB0380A3 EB0700A5130EEBFFF0EB0E00A35BA55BA55BA55BA45B1201A2EA718012F100F3C7FC1262 123C182D82A20F>II<13F0EA0FE01200A3485AA4485AA448C7FC131FEB2180EBC0C0380F00 E0A2120EA2381C01C0A438380380A3EB070400701308130E1410130600E01320386003C0 16237DA219>I<13C0EA01E013C0A2C7FCA8121E12231243A25AA3120EA25AA35AA21340 EA7080A3EA71001232121C0B217BA00F>I108 D<391C0F80F8392610C10C 39476066063987807807A2EB0070A2000EEBE00EA44848485AA3ED382026380380134015 70168015303A7007003100D83003131E23157B9428>I<38380F80384C30C0384E406038 8E8070EA8F00128EA24813E0A4383801C0A3EB03840070138814081307EB031012E03860 01E016157B941B>I<137EEA01C338038180380701C0120E001C13E0123C12381278A338 F003C0A21480130700701300130E130CEA3018EA1870EA07C013157B9419>I<3801C1F0 380262183804741C3808780CEB700EA2141EEA00E0A43801C03CA3147838038070A2EBC0 E0EBC1C038072380EB1E0090C7FCA2120EA45AA3EAFFC0171F7F9419>III<13FCEA018338020080EA0401EA0C0314 0090C7FC120F13F0EA07FC6C7EEA003E130F7F1270EAF006A2EAE004EA4008EA2030EA1F C011157D9414>I<13C01201A4EA0380A4EA0700EAFFF8EA0700A2120EA45AA45AA31310 EA7020A213401380EA3100121E0D1F7C9E10>I<001E1360002313E0EA4380EB81C01283 EA8701A238070380120EA3381C0700A31408EB0E101218121CEB1E20EA0C263807C3C015 157B941A>I<381C0180382603C0EA47071303EA8701EA8E00A2000E13805AA338380100 A31302A25B5B1218EA0C30EA07C012157B9416>I<001EEB60E00023EBE0F0384380E1EB 81C000831470D887011330A23907038020120EA3391C070040A31580A2EC0100130F380C 0B02380613843803E0F81C157B9420>I<001E133000231370EA438014E01283EA8700A2 380701C0120EA3381C0380A4EB0700A35BEA0C3EEA03CEEA000EA25B1260EAF038133048 5AEA80C0EA4380003EC7FC141F7B9418>121 D<3801E0203803F0603807F8C038041F80 380801001302C65A5B5B5B5B5B48C7FC120248138038080100485AEA3F06EA61FEEA40FC EA807013157D9414>II E /Fc 58 128 df12 D<132013401380EA01005A12061204120CA25AA25AA312701260A312E0AE1260A3 12701230A37EA27EA2120412067E7EEA0080134013200B327CA413>40 D<7E12407E7E12187E12041206A27EA2EA0180A313C01200A313E0AE13C0A312011380A3 EA0300A21206A21204120C5A12105A5A5A0B327DA413>I<497EB0B612FEA23900018000 B01F227D9C26>43 D<127012F812FCA212741204A41208A21210A212201240060F7C840E >II<127012F8A3127005057C840E>I<14801301A2EB0300A313 06A35BA35BA35BA35BA35BA3485AA448C7FCA31206A35AA35AA35AA35AA35AA311317DA4 18>II<13801203120F12F31203 B3A9EA07C0EAFFFE0F217CA018>III<1303A25BA25B1317A21327136713471387120113071202120612041208A2 12101220A2124012C0B512F838000700A7EB0F80EB7FF015217FA018>I<00101380381E 0700EA1FFF5B13F8EA17E00010C7FCA6EA11F8EA120CEA1C07381803801210380001C0A2 14E0A4127012F0A200E013C01280EA4003148038200700EA1006EA0C1CEA03F013227EA0 18>I<137EEA01C138030080380601C0EA0C03121C381801800038C7FCA212781270A2EA F0F8EAF30CEAF4067F00F81380EB01C012F014E0A51270A3003813C0A238180380001C13 00EA0C06EA070CEA01F013227EA018>I57 D<127012F8A312701200AB1270 12F8A3127005157C940E>I64 D<497EA3497EA3EB05E0A2EB09F01308A2 EB1078A3497EA3497EA2EBC01F497EA248B51280EB0007A20002EB03C0A348EB01E0A348 EB00F0121C003EEB01F839FF800FFF20237EA225>I<903807E0109038381830EBE00639 01C0017039038000F048C7FC000E1470121E001C1430123CA2007C14101278A200F81400 A812781510127C123CA2001C1420121E000E14407E6C6C13803901C001003800E002EB38 1CEB07E01C247DA223>67 DI70 D73 D75 DII80 D82 D<3803F020380C0C60EA1802383001E0 EA70000060136012E0A21420A36C1300A21278127FEA3FF0EA1FFE6C7E0003138038003F C0EB07E01301EB00F0A214707EA46C1360A26C13C07E38C8018038C60700EA81FC14247D A21B>I<007FB512F839780780780060141800401408A300C0140C00801404A400001400 B3A3497E3801FFFE1E227EA123>I<39FFFC07FF390FC000F86C4813701520B3A5000314 407FA2000114806C7E9038600100EB3006EB1C08EB03F020237EA125>I<3BFFF03FFC03 FE3B1F8007E000F86C486C48137017206E7ED807801540A24A7E2603C0021480A39039E0 04780100011600A2EC083CD800F01402A2EC101E01785CA2EC200F013C5CA20260138890 391E400790A216D090391F8003F0010F5CA2EC00016D5CA20106130001025C2F237FA132 >87 D<387FFFFE387E003E0078133C007013781260004013F012C0EB01E0388003C0A2EB 07801200EB0F005B131E5BA25BA25B1201EBE001EA03C0A2EA07801403EA0F00001E1302 A2481306140E48131E00F8137EB512FE18227DA11E>90 D97 D<120E12FE121E120EAB131FEB61C0EB8060380F0030000E1338143C 141C141EA7141C143C1438000F1370380C8060EB41C038083F0017237FA21B>II<14E0130F13011300ABEA01F8EA0704EA0C02EA1C01EA 38001278127012F0A7127012781238EA1801EA0C0238070CF03801F0FE17237EA21B>I< EA01FCEA0707380C0380381C01C01238007813E0EA700012F0B5FC00F0C7FCA512700078 132012386C13406C138038070300EA00FC13157F9416>I<133E13E33801C780EA038713 0748C7FCA9EAFFF80007C7FCB27FEA7FF0112380A20F>I<14703803F198380E1E18EA1C 0E38380700A200781380A400381300A2EA1C0EEA1E1CEA33F00020C7FCA212301238EA3F FE381FFFC06C13E0383000F0481330481318A400601330A2003813E0380E03803803FE00 15217F9518>I<120E12FE121E120EABEB1F80EB60C0EB80E0380F0070A2120EAF38FFE7 FF18237FA21B>I<121C123EA3121CC7FCA8120E127E121E120EB1EAFFC00A227FA10E>I< 120E12FE121E120EABEB03FCEB01F014C01480EB02005B5B5B133813F8EA0F1CEA0E1E13 0E7F1480EB03C0130114E0EB00F014F838FFE3FE17237FA21A>107 D<120E12FE121E120EB3ADEAFFE00B237FA20E>I<390E1FC07F3AFE60E183803A1E8072 01C03A0F003C00E0A2000E1338AF3AFFE3FF8FFE27157F942A>I<380E1F8038FE60C038 1E80E0380F0070A2120EAF38FFE7FF18157F941B>III114 DI<1202A41206A3120E121E123E EAFFFCEA0E00AB1304A6EA07081203EA01F00E1F7F9E13>I<000E137038FE07F0EA1E00 000E1370AD14F0A238060170380382783800FC7F18157F941B>I<38FF80FE381E007814 30000E1320A26C1340A2EB80C000031380A23801C100A2EA00E2A31374A21338A3131017 157F941A>I<39FF8FF87F393E01E03C001CEBC01814E0000E1410EB0260147000071420 EB04301438D803841340EB8818141CD801C81380EBD00C140E3900F00F00497EA2EB6006 EB400220157F9423>I<38FF83FE381F00F0000E13C06C1380EB8100EA0383EA01C2EA00 E41378A21338133C134E138FEA0187EB0380380201C0000413E0EA0C00383E01F038FF03 FE17157F941A>I<38FF80FE381E00781430000E1320A26C1340A2EB80C000031380A238 01C100A2EA00E2A31374A21338A31310A25BA35B12F05B12F10043C7FC123C171F7F941A >I126 DI E /Fd 49 128 df12 D19 D<38380380387C07C038FE0FE000FF13F0A2EA7F07383B03B038030030A300061360A248 13C0EA1C010018138038700700EA200214117EA21D>34 D<1238127C12FE12FFA2127F12 3B1203A31206A2120C121C12181270122008117C8610>44 DI< 1238127C12FEA3127C123807077C8610>I<13181378EA01F812FFA21201B3A7387FFFE0 A213207C9F1C>49 D<13FE3807FFC0380F07E0381E03F0123FEB81F8A3EA1F0314F01200 14E0EB07C0EB1F803801FE007F380007C0EB01F014F8EB00FCA2003C13FE127EB4FCA314 FCEA7E01007813F8381E07F0380FFFC03801FE0017207E9F1C>51 D<00301320383E01E0383FFFC0148014005B13F8EA33C00030C7FCA4EA31FCEA37FF383E 0FC0383807E0EA3003000013F0A214F8A21238127C12FEA200FC13F0A2387007E0003013 C0383C1F80380FFF00EA03F815207D9F1C>53 D<12601278387FFFFEA214FC14F8A214F0 38E0006014C038C00180EB0300A2EA00065B131C131813381378A25BA31201A31203A76C 5A17227DA11C>55 D57 D<1470A214F8A3497EA2497EA3EB067FA2010C7F143FA2496C7EA201307F140F01707FEB 6007A201C07F90B5FC4880EB8001A2D803007F14004880000680A23AFFE007FFF8A22522 7EA12A>65 D68 D71 D73 D76 DII80 D<3801FE023807FF86381F01FE383C007E007C131E0078130EA200F81306A27E 1400B4FC13E06CB4FC14C06C13F06C13F86C13FC000313FEEA003F1303EB007F143FA200 C0131FA36C131EA26C133C12FCB413F838C7FFE00080138018227DA11F>83 D<007FB61280A2397E03F80F00781407007014030060140100E015C0A200C01400A40000 1500B3A248B512F0A222227EA127>IIII89 D97 DIII<13FE3807FF80380F87C0381E01 E0003E13F0EA7C0014F812FCA2B5FCA200FCC7FCA3127CA2127E003E13186C1330380FC0 703803FFC0C6130015167E951A>II<3801FE0F3907FFBF80380F87C738 1F03E7391E01E000003E7FA5001E5BEA1F03380F87C0EBFF80D809FEC7FC0018C8FCA212 1C381FFFE06C13F86C13FE001F7F383C003F48EB0F80481307A40078EB0F006C131E001F 137C6CB45A000113C019217F951C>II<121C123E127FA3123E121CC7FCA7B4FCA212 1FB2EAFFE0A20B247EA310>I 107 DI<3AFF07F007F090391FFC1FFC3A1F30 3E303E01401340496C487EA201001300AE3BFFE0FFE0FFE0A22B167E9530>I<38FF07E0 EB1FF8381F307CEB403CEB803EA21300AE39FFE1FFC0A21A167E951F>I<13FE3807FFC0 380F83E0381E00F0003E13F848137CA300FC137EA7007C137CA26C13F8381F01F0380F83 E03807FFC03800FE0017167E951C>I<38FF0FE0EB3FF8381FE07CEB803E497E1580A2EC 0FC0A8EC1F80A29038803F00EBC03EEBE0FCEB3FF8EB0FC090C8FCA8EAFFE0A21A207E95 1F>I 114 DI<487E A41203A21207A2120F123FB5FCA2EA0F80ABEB8180A5EB8300EA07C3EA03FEEA00F81120 7F9F16>I<38FF01FEA2381F003EAF147E14FE380F81BE3907FF3FC0EA01FC1A167E951F> I<39FFE01FE0A2391F800700000F1306EBC00E0007130C13E000035BA26C6C5AA26C6C5A A2EB7CC0A2137F6D5AA26DC7FCA2130EA21B167F951E>I<3AFFE3FF07F8A23A1F007800 C09038807C01000F1580A23A07C07E030014DE5D3903E1DF06148FD801F1138CEBF307A2 D800FF13D8EBFE0315F890387C01F0A2013C5BEB3800A225167F9528>I<39FFE01FE0A2 391F800700000F1306EBC00E0007130C13E000035BA26C6C5AA26C6C5AA2EB7CC0A2137F 6D5AA26DC7FCA2130EA2130CA25B1278EAFC3813305BEA69C0EA7F80001FC8FC1B207F95 1E>121 D<387FFFF0A2387C03E0387007C0EA600F38E01F8000C01300133E137EC65A5B 485A00031330EA07E013C0380F8070121F383F0060003E13E0EA7C03B5FCA214167E9519 >I127 D E /Fe 12 116 df76 D<007FB8FCA39039C00FF801D87E00EC003F007C82007882 A200708200F01780A3481603A5C792C7FCB3AA017FB6FCA331307DAF38>84 D97 D99 DII<90391FF007C09039FFFE3FE03A01F83F79F03907E00FC3 000F14E19039C007E0E0001FECF000A2003F80A5001F5CA2000F5CEBE00F00075C2603F8 3FC7FC3806FFFE380E1FF090C9FC121EA2121F7F90B57E6C14F015FC6C806C801680000F 15C0003FC7127F007EEC1FE0007C140F00FC1407A4007EEC0FC0003E1580003F141FD80F C0EB7E003907F803FC0001B512F0D8001F90C7FC242F7E9F28>103 D105 D<3903F007F800FFEB3FFEEC783F02C013803A0FF1801FC03807F30001F6 14E013FCA35BB3B500C3B5FCA328207D9F2D>110 DI<3803F03F00FFEB7FC09038F1C3E01487390FF30FF0EA07F6A290 38FC07E0EC03C091C7FCA25BB2B512E0A31C207E9F21>114 D<3801FF86000713FEEA1F 00003C133E48131E140E12F8A36C90C7FCB47E13FC387FFFC06C13F0806C7F00077F0001 7FEA003F01001380143F0060131F00E0130FA27E15007E6C131E6C131C38FF807838F3FF F038C07F8019207D9F20>I E end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%PaperSize: a4 %%EndSetup %%Page: 1 1 1 0 bop 588 50 a Fe(T)-7 b(races)27 b(and)f(Logic)641 149 y Fd(No)n(v)n(em)n(b)r(er)17 b(3-5,)h(1997)464 209 y(at)g(T)-5 b(ec)n(hnisc)n(he)19 b(Univ)n(ersit\177)-28 b(at)18 b(Dresden)430 324 y(A)h(w)n(orkshop)g(of)g(the)f(Graduiertenk)n (olleg)151 384 y("Sp)r(ezi\014k)m(ation)e(diskreter)h(Prozesse)h(und)h (Prozesssysteme)d(durc)n(h)446 444 y(op)r(erationelle)g(Mo)r(delle)h (und)i(Logik)n(en")0 618 y Fc(W)l(e)d(are)g(v)o(ery)f(happ)o(y)i(to)f (announce)h(the)f(follo)o(wing)g(in)o(vited)f(sp)q(eak)o(ers)h(and)h (lectures:)25 725 y Fd(V.)h(Diek)n(ert)d Fc(\(Stuttgart\):)119 b Fb(R)n(ewriting)18 b(systems)f(over)h(tr)n(ac)n(es)f(-)h(a)f(survey) 25 785 y Fd(P)-5 b(.)19 b(Gastin)d Fc(\(P)o(aris\):)237 b Fb(F)l(ormal)17 b(p)n(ower)g(series)h(in)g(p)n(artial)r(ly)f(c)n (ommuting)h(variables)25 845 y Fd(Y.)g(Matiy)n(asevic)n(h)e Fc(\(St.)21 b(P)o(etersburg\):)32 b Fb(Solving)20 b(tr)n(ac)n(e)d(e)n (quations)25 905 y Fd(A.)h(Musc)n(holl)f Fc(\(Stuttgart\):)81 b Fb(Some)18 b(de)n(cision)g(pr)n(oblems)f(for)g(tr)n(ac)n(es)25 966 y Fd(A.)h(P)n(etit)e Fc(\(Cac)o(han\):)219 b Fb(T)l(r)n(ac)n(es)17 b(and)h(lo)n(gic)g({)f(a)g(semigr)n(oup)g(appr)n(o)n(ach)25 1026 y Fd(D.)h(Th)o(\023)-27 b(erien)15 b Fc(\(Mon)o(treal\):)114 b Fb(A)o(lgebr)n(aic)19 b(char)n(acterizations)e(and)h(de)n(cision)f (pr)n(o)n(c)n(e)n(dur)n(es)668 1086 y(in)h(temp)n(or)n(al)f(lo)n(gic)25 1146 y Fd(W.)h(Thomas)d Fc(\(Kiel\):)201 b Fb(Monadic)18 b(se)n(c)n(ond-or)n(der)e(lo)n(gic)j(over)e(p)n(artial)g(or)n(ders)25 1206 y Fd(I.)h(W)-5 b(alukiewicz)15 b Fc(\(W)l(arsa)o(w\):)50 b Fb(A)18 b(temp)n(or)n(al)e(lo)n(gic)j(for)d(tr)n(ac)n(es)0 1409 y Fc(All)f(lecturers)g(are)h(ask)o(ed)g(to)g(giv)o(e)f(a)h (general)g(surv)o(ey)f(on)i(their)e(\014eld)h(of)g(in)o(terest)f(follo) o(w)o(ed)g(b)o(y)0 1469 y(recen)o(t)g(researc)o(h)h(results.)0 1590 y(It)g(is)g(planned)g(that)h(after)f(further)g(short)h(comm)o (unic)o(ations,)d(promissing)h(new)h(researc)o(h)0 1650 y(dev)o(elopmen)o(ts)d(are)k(discussed)f(among)g(the)g(participan)o(ts) g(of)g(the)g(w)o(orkshop.)0 1770 y(The)21 b(lectures)e(will)g(tak)o(e)h (place)g(in)g(Willersbau,)h(Zellesc)o(her)d(W)l(eg,)j(at)g(the)f (Departmen)o(t)f(of)0 1830 y(Mathematics.)0 1951 y(More)d(up)g(to)h (date)f(information)g(can)g(b)q(e)g(obtained)h(via)f(the)g(URL)221 2011 y(h)o(ttp://www.math.tu-dresden.de/~kusk)o(e/T)l(racesAndLogic.h)o (tml)0 2131 y(In)o(terested)f(participan)o(ts)h(are)g(most)g(w)o (elcome.)504 2233 y(Manfred)g(Droste)g(and)h(Dietric)o(h)e(Kusk)o(e)332 2293 y(Institut)h(f)q(\177)-26 b(ur)17 b(Algebra,)f(TU)g(Dresden,)g (D-01062)i(Dresden)640 2353 y(F)l(ax.)j(+49)c(351)g(463)h(4235)430 2414 y(email:)h Fa(f)p Fc(droste,kusk)o(e)p Fa(g)p Fc (@math.tu-dresden.de)p eop %%Trailer end userdict /end-hook known{end-hook}if %%EOF -- ****************************************************** Contributions to be spread via DMANET are submitted to DMANET@math.utwente.nl Replies to a message carried on DMANET should NOT be addressed to DMANET but to the original sender. The original sender, however, is invited to prepare an update of the replies received and to communicate it via DMANET. DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)