% File: abbrevs.bib -*-BibTeX-*- Last modified on 30 Oct 2003 % Liste des abbrevs deja definies dans LaTeX: % % acmcs,acta,cacm,ibmjrd,ibmsj,ieeese,ieeetc,ieeetcad,ipl,jacm,jcss,scp,sicomp, % tocs,tods,tog,toms,toois,toplas,tcs % Cf. /usr/local/lib/texmf/bibtex/bst/abbrv.bst % % JOURNALS (c'est de l'anglais) % @string{acta = "Acta Informatica"} @string{ai = "Artificial Intelligence"} @string{amm = "Amer.\ Math.\ Monthly"} @string{anmath = "Annals of Mathematics"} @string{amai = "Annals of Mathematics and Artificial Intelligence"} @string{apal = "Annals of Pure and Applied Logic"} @string{arcs = "Ann.\ Rev.\ Comput.\ Sci."} @string{bams = "Bull.\ Amer.\ Math.\ Soc."} @string{beatcs = "EATCS Bull."} @string{bsl = "Bulletin of the Section of Logic"} @string{cai = "Computers and Artificial Intelligence"} @string{constraints = "Constraints"} @string{compj = "The Computer Journal"} @string{discomp = "Distributed Computing"} @string{entcs = "Electronic Notes in Theor.\ Comp.\ Sci."} @string{fac = "Formal Aspects of Computing"} @string{fmsd = "Formal Methods in System Design"} @string{fundi = "Fundamenta Informaticae"} @string{fundm = "Fundamenta Mathematicae"} @string{icca = "ICCA Journal"} @string{icomp = "Information and Computation"} @string{icont = "Information and Control"} @string{ieeetcom = "IEEE Trans.\ Communications"} @string{ieeetpar = "IEEE Trans.\ Parallel and Distributed Systems"} @string{ieeetsmc = "IEEE Trans.\ Systems, Man and Cybernetics"} @string{ijfcs = "Int.\ J.\ of Foundations Computer Science"} @string{ijcis = "Int.\ Journal Computer and Information Sciences"} @string{ijpp = "Int.\ Journal Parallel Programming"} @string{ipl = "Information Processing Letters"} @string{ita = "Theoretical Informatics and Applications"} @string{jalc = "Journal of Automata, Languages and Combinatorics"} @string{jancl = "Journal of Applied Non-Classical Logics"} @string{jar = "Journal of Automated Reasoning"} @string{jct = "Journal of Combinatorial Theory"} @string{jcta = "Journal of Combinatorial Theory, Series A"} @string{jigpl = "Logic Journal of the IGPL"} @string{jipc = "Journal Information Processing and Cybernetics"} @string{jlap = "Journal of Logic and Algebraic Programming"} @string{jlc = "Journal of Logic and Computation"} @string{jlli = "Journal of Logic, Language, and Information"} @string{jlp = "Journal of Logic Programming"} @string{jpaa = "Journal of Pure and Applied Algebra"} @string{jsc = "Journal of Symbolic Computation"} @string{jsl = "The Journal of Symbolic Logic"} @string{jss = "Journal of Systems and Software"} @string{jsttt = "Journal of Software Tools for Technology Transfer"} @string{larecherche = "La Recherche"} @string{lp = "Lisp Pointers"} @string{lsc = "Lisp and Symbolic Computation"} @string{mscs = "Math.\ Struct.\ in Comp.\ Science"} @string{mst = "Mathematical Systems Theory"} @string{mvl = "Multiple-Valued Logic"} @string{ndjfl = "Notre Dame Journal of Formal Logic"} @string{njc = "Nordic Journal of Computing"} @string{pacif = "Pacific J.\ Math."} @string{pnl = "Petri Nets Newsletter"} @string{rairoit = "RAIRO Informatique Th\'{e}orique"} @string{rairoita = "RAIRO Informatique Th\'{e}orique et Applications"} @string{rts = "Real-Time Systems"} @string{sciam = "Sci.\ Am."} @string{scp = "Science of Computer Programming"} @string{sicomp = "SIAM J.\ Computing"} @string{sicont = "SIAM J.\ Control and Optimization"} @string{signot = "SIGPLAN Notices"} @string{sigsoft = "Software Engineering Notes"} @string{spe = "Software - Practice and Experience"} @string{studlog = "Studia Logica"} @string{tams = "Trans.\ Amer.\ Math.\ Soc."} @string{tcs = "Theoretical Computer Science"} @string{tocl = "ACM Trans.\ Computational Logic"} @string{tsi = "Technique et Science Informatiques"} % % PUBLISHERS % @string{ACM = "ACM Press"} @string{AMS = "American Mathematical Society"} @string{AP = "Academic Press"} @string{ARMANDCOLIN = "Armand Colin"} @string{AW = "Addison-Wesley"} @string{CHAPMANHALL = "Chapman \& Hall"} @string{CUP = "Cambridge Univ.\ Press"} @string{ELSEVIER = "Elsevier Science"} @string{EUP = "Edinburgh Univ.\ Press"} @string{HERMES = "Herm\`es"} @string{IEEECSP = "IEEE Comp.\ Soc.\ Press"} @string{KLUWER = "Kluwer Academic"} @string{MASSON = "Masson"} @string{MGH = "McGraw-Hill"} @string{MIT = "MIT Press"} @string{NH = "North-Holland"} @string{OUP = "Oxford Univ.\ Press"} @string{PH = "Prentice Hall Int."} @string{PP = "Pergamon Press"} @string{REIDEL = "D.\ Reidel Publishing"} @string{SV = "Springer"} @string{USENIX = "Usenix Association"} @string{VUIBERT = "Vuibert"} @string{WILEY = "John Wiley \& Sons"} @string{WS = "World Scientific"} @string{ irit = "{I}{R}{I}{T} {P}ress" } % % EDITORS % @string{ taln07ed = "{H}athout, {N}abil and {M}uller, {P}hilippe" } @string{ ecs07ed = "{V}osniadou, {S}tella and {K}ayser, {D}aniel and {P}rotopapas, {A}thanassios" } % % CONFERENCES % @string{ ecs07 = "Proc.\ 2nd {E}uropean {C}ognitive {S}cience conf. ({E}uro{C}og{S}ci'07)" } @string{ cl07 = "Proc.\ {C}orpus {L}inguistics 2007" } @string{ taln07 = "Actes de la 14{\`e}me conf{\'e}rence sur le {T}raitement {A}utomatique des {L}angues {N}aturelles ({T}{A}{L}{N}'07)" } @string{ riao07 = "Proc.\ Recherche d'Information Assist{\'e}e par Ordinateur ({R}{I}{A}{O} 2007) - {L}arge-{S}cale {S}emantic {A}ccess to {C}ontent ({T}ext, {I}mage, {V}ideo and {S}ound)" } @string{ ranlp07= "Proc.\ {I}nt.\ {C}onf.\ {R}ecent {A}dvances in {N}atural {L}anguage {P}rocessing ({R}{A}{N}{L}{P}'07)" } @string{ lt07 = "Proc.\ 3rd {L}anguage \& {T}echnology {C}onference: {H}uman {L}anguage {T}echnologies as a {C}hallenge for {C}omputer {S}cience and {L}inguistics" } @string{ daarc07= "Proc.\ 6th {D}iscourse {A}naphora and {A}naphor {R}esolution colloquium ({D}{A}{A}{R}{C}'07)" } @string{adpm2000 = "Proc.\ 4th Int.\ Conf.\ Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM'2000), Dortmund, Germany, Sept.\ 2000"} @string{alp88 = "Proc.\ 1st Int.\ Workshop on Algebraic and Logic Programming (ALP'88), Gaussig, DDR, Nov.\ 1988"} @string{alp94 = "Proc.\ 4th Int.\ Conf.\ on Algebraic and Logic Programming (ALP'94), Madrid, Spain, Sep.\ 1994"} @string{amast89 = "Proc.\ Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'89), Iowa City, Iowa, USA, May 1989"} @string{amast91 = "Proc.\ 2nd Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'91), Iowa City, USA, May 1991"} @string{amast93 = "Proc.\ 3rd Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'93), Twente, NL, June 1993"} @string{amast95 = "Proc.\ 4th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'95), Montreal, Canada, July 1995"} @string{amast96 = "Proc.\ 5th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'96), Munich, Germany, July 1996"} @string{amast97 = "Proc.\ 6th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'97), Sydney, Australia, Dec.\ 1997"} @string{amast98 = "Proc.\ 7th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'98), Amazonia, Brazil, Jan.\ 1999"} @string{amast2002 = "Proc.\ 9th Int.\ Conf.\ Algebraic Methodology and Software Technology (AMAST'2002), Saint-Gilles-les-Bains, Reunion Island, France, Sep.\ 2002"} @string{apn85 = "Advances in Petri Nets 1985"} @string{apn88 = "Advances in Petri Nets 1988"} @string{apn91 = "Advances in Petri Nets 1991"} @string{apn92 = "Advances in Petri Nets 1992"} @string{arts97 = "Proc.\ 4th Int.\ AMAST Workshop Real-Time Systems and Concurrent and Distributed Software (ARTS'97), Palma de Mallorca, Spain, May 1997"} @string{arts99 = "Proc.\ 5th Int.\ AMAST Workshop Formal Methods for Real-Time and Probabilistic Systems (ARTS'99), Bamberg, Germany, May 1999"} @string{asian2000 = "Proc.\ 6th Asian Computing Science Conference (ASIAN'2000), Penang, Malaysia, Nov. 2000"} @string{atpn82 = "Proc.\ 3rd European Workshop Applications and Theory of Petri Nets, Varenna, Italy, Sep.\ 1982"} @string{atpn90 = "Proc.\ 11th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'90), Paris, France, June 1990"} @string{atpn92 = "Proc.\ 13th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'92), Sheffield, UK, June 1992"} @string{atpn93 = "Proc.\ 14th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'93), Chicago, IL, USA, June 1993"} @string{atpn94 = "Proc.\ 15th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'94), Zaragoza, Spain, June 1994"} @string{atpn95 = "Proc.\ 16th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'95), Turin, Italy, June 1995"} @string{atpn97 = "Proc.\ 18th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'97), Toulouse, France, June 1997"} @string{atpn98 = "Proc.\ 19th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'98), Lisbon, Portugal, June 1998"} @string{atpn99 = "Proc.\ 20th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'99), Williamsburg, VA, USA, June 1999"} @string{atpn2000 = "Proc.\ 21st Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2000), Aarhus, Denmark, June 2000"} @string{atpn2001 = "Proc.\ 22nd Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2001), Newcastle upon Tyne, UK, June 2001"} @string{atpn2002 = "Proc.\ 23rd Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2002), Adelaide, Australia, June 2002"} @string{atpn2003 = "Proc.\ 24th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2003), Eindhoven, The Netherlands, June 2003"} @string{atpn2004 = "Proc.\ 25th Int.\ Conf.\ Application and Theory of Petri Nets (ICATPN'2004), Bologna, Italy, June 2004"} @string{caap81 = "Proc.\ 6th Coll.\ on Trees in Algebra and Programming (CAAP'81), Genoa, Italy, Mar.\ 1981"} @string{caap85 = "Proc.\ 10th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'85), Berlin, FRG, Mar.\ 1985"} @string{caap87 = "Proc.\ 12th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'87), Pisa, Italy, Mar.\ 1987"} @string{caap94 = "Proc.\ 19th Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'94), Edinburgh, Scotland, Apr.\ 1994"} @string{caap96 = "Proc.\ 21st Int.\ Coll.\ on Trees in Algebra and Programming (CAAP'96), Link{\"o}ping, Sweden, Apr.\ 1996"} @string{cade80 = "Proc.\ 5th Conf.\ on Automated Deduction (CADE'80), Les Arcs, France, July 1980"} @string{cade84 = "Proc.\ 7th Int.\ Conf.\ on Automated Deduction (CADE'84), Napa, CA, USA, May 1984"} @string{cade94 = "Proc.\ 12th Int.\ Conf.\ Automated Deduction (CADE'94), Nancy, France, June-July 1994"} @string{cade97 = "Proc.\ 14th Int.\ Conf.\ Automated Deduction (CADE'97), Townsville, North Queensland, Australia, July 1997"} @string{cade99 = "Proc.\ 16th Int.\ Conf.\ Automated Deduction (CADE'99), Trento, Italy, July 1999"} @string{cade2002 = "Proc.\ 18th Int.\ Conf.\ Automated Deduction (CADE'2002), Copenhagen, Denmark, July 2002"} @string{cav89 = "Proc.\ Int.\ Workshop Automatic Verification Methods for Finite State Systems (CAV'89), Grenoble, June 1989"} @string{cav90 = "Proc.\ 2nd Int.\ Workshop Computer-Aided Verification (CAV'90), New Brunswick, NJ, USA, June 1990"} @string{cav91 = "Proc.\ 3rd Int.\ Workshop Computer Aided Verification (CAV'91), Aalborg, Denmark, July 1991"} @string{cav92 = "Proc.\ 4th Int.\ Workshop Computer Aided Verification (CAV'92), Montreal, Canada, June--July 1992"} @string{cav93 = "Proc.\ 5th Int.\ Conf.\ Computer Aided Verification (CAV'93), Elounda, Greece, June 1993"} @string{cav94 = "Proc.\ 6th Int.\ Conf.\ Computer Aided Verification (CAV'94), Stanford, CA, USA, June 1994"} @string{cav95 = "Proc.\ 7th Int.\ Conf.\ Computer Aided Verification (CAV'95), Li\`ege, Belgium, July 1995"} @string{cav96 = "Proc.\ 8th Int.\ Conf.\ Computer Aided Verification (CAV'96), New Brunswick, NJ, USA, July-Aug.\ 1996"} @string{cav97 = "Proc.\ 9th Int.\ Conf.\ Computer Aided Verification (CAV'97), Haifa, Israel, June 1997"} @string{cav98 = "Proc.\ 10th Int.\ Conf.\ Computer Aided Verification (CAV'98), Vancouver, BC, Canada, June-July 1998"} @string{cav99 = "Proc.\ 11th Int.\ Conf.\ Computer Aided Verification (CAV'99), Trento, Italy, July 1999"} @string{cav2000 = "Proc.\ 12th Int.\ Conf.\ Computer Aided Verification (CAV'2000), Chicago, IL, USA, July 2000"} @string{cav2001 = "Proc.\ 13th Int.\ Conf.\ Computer Aided Verification (CAV'2001), Paris, France, July 2001"} @string{cav2002 = "Proc.\ 14th Int.\ Conf.\ Computer Aided Verification (CAV'2002), Copenhagen, Denmark, July 2002"} @string{cav2003 = "Proc.\ 15th Int.\ Conf.\ Computer Aided Verification (CAV'2003), Boulder, CO, USA, July 2003"} @string{ciaa2000 = "Proc.\ 5th Int.\ Conf.\ Implementation and Application of Automata (CIAA'2000), London, ON, Canada, July 2000"} @string{cifa2000 = "Actes 1\`ere Conf.\ Int.\ Francophone d'Automatique (CIFA'2000), Lille, France, July 2000"} @string{ccs96 = "Proc.\ 3rd ACM Conf. on Computer and Communications Security, New Delhi, India, Mar.\ 1996"} @string{concur90 = "Proc.\ Theories of Concurrency (CONCUR'90), Amsterdam, NL, Aug.\ 1990"} @string{concur91 = "Proc.\ 2nd Int.\ Conf.\ Theory of Concurrency (CONCUR'91), Amsterdam, NL, Aug.\ 1991"} @string{concur92 = "Proc.\ 3rd Int.\ Conf.\ Concurrency Theory (CONCUR'92), Stony Brook, NY, USA, Aug.\ 1992"} @string{concur93 = "Proc.\ 4th Int.\ Conf.\ Concurrency Theory (CONCUR'93), Hildesheim, Germany, Aug.\ 1993"} @string{concur94 = "Proc.\ 5th Int.\ Conf.\ Theory of Concurrency (CONCUR'94), Uppsala, Sweden, Aug.\ 1994"} @string{concur95 = "Proc.\ 6th Int.\ Conf.\ Theory of Concurrency (CONCUR'95), Philadelphia, PA, USA, Aug.\ 1995"} @string{concur96 = "Proc.\ 7th Int.\ Conf.\ Concurrency Theory (CONCUR'96), Pisa, Italy, Aug.\ 1996"} @string{concur97 = "Proc.\ 8th Int.\ Conf.\ Concurrency Theory (CONCUR'97), Warsaw, Poland, Jul.\ 1997"} @string{concur98 = "Proc.\ 9th Int.\ Conf.\ Concurrency Theory (CONCUR'98), Nice, France, Sep.\ 1998"} @string{concur99 = "Proc.\ 10th Int.\ Conf.\ Concurrency Theory (CONCUR'99), Eindhoven, The Netherlands, Aug.\ 1999"} @string{concur2000 = "Proc.\ 11th Int.\ Conf.\ Concurrency Theory (CONCUR'2000), University Park, PA, USA, Aug.\ 2000"} @string{concur2001 = "Proc.\ 12th Int.\ Conf.\ Concurrency Theory (CONCUR'2001), Aalborg, Denmark, Aug.\ 2001"} @string{concur2002 = "Proc.\ 13th Int.\ Conf.\ Concurrency Theory (CONCUR'2002), Brno, Czech Republic, Aug.\ 2002"} @string{concur2003 = "Proc.\ 14th Int.\ Conf.\ Concurrency Theory (CONCUR'2003), Marseille, France, Sep.\ 2003"} @string{csfw97 = "Proc.\ 10th IEEE Computer Security Foundations Workshop, Rockport, MA, USA, June 1997"} @string{csfw2001 = "Proc.\ 14th IEEE Computer Security Foundations Workshop (CSFW'01), Cape Breton, Nova Scotia, Canada, June 2001"} @string{csl91 = "Proc.\ 5th Workshop on Computer Science Logic (CSL'91), Berne, Switzerland, Oct.\ 1991"} @string{csl93 = "7th Workshop Computer Science Logic (CSL'93), Swansea, UK, Sep.\ 1993: selected papers"} @string{csl97 = "Proc.\ 11th Int.\ Workshop Computer Science Logic (CSL'97), Aarhus, Denmark, Aug.\ 1997"} @string{csl99 = "Proc.\ 13th Int.\ Workshop Computer Science Logic (CSL'99), Madrid, Spain, Sep.\ 1999"} @string{csl2000 = "Proc.\ 14th Int.\ Workshop Computer Science Logic (CSL'2000), Fischbachau, Germany, Aug.\ 2000"} @string{csl2001 = "Proc.\ 15th Int.\ Workshop Computer Science Logic (CSL'2001), Paris, France, Sep.\ 2001"} @string{csl2002 = "Proc.\ 16th Int.\ Workshop Computer Science Logic (CSL'2002), Edinburgh, Scotland, Sep.\ 2002"} @string{csl2003 = "Proc.\ 17th Int.\ Workshop Computer Science Logic (CSL'2003) and 8th Kurt G{\"o}del Coll.\ (KGL'2003), Vienna, Austria, Aug.\ 2003"} @string{disc99 = "Proc.\ 13th Int.\ Symp.\ on Distributed Computing (DISC'99), Bratislava, Slovak Republic, Sep.\ 1999"} @string{disc2001 = "Proc.\ 15th Int.\ Conf.\ on Distributed Computing (DISC'2001), Lisbon, Portugal, Oct.\ 2001"} @string{dlt2003 = "Proc.\ 7th Int.\ Conf.\ Developments in Language Theory (DLT'2003), Szeged, Hungary, July 2003"} @string{esop92 = "Proc.\ 4th European Symposium on Programming (ESOP'92), Rennes, France, Feb.\ 1992"} @string{esop94 = "Proc.\ 5th European Symposium on Programming (ESOP'94), Edinburgh, Scotland, Apr.\ 1994"} @string{esop2000 = "Proc.\ 9th European Symposium on Programming (ESOP'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @string{esop2003 = "Proc.\ 12th European Symposium on Programming (ESOP'2003), Warsaw, Poland, Apr.\ 2003"} @string{fme97 = "Proc.\ 4th Int.\ Symposium of Formal Methods Europe (FME'97), Graz, Austria, Sep.\ 1997"} @string{focs72 = "Proc.\ 13th IEEE Symp.\ on Switching and Automata Theory, The University of Maryland, MD, USA, Oct.\ 1972"} @string{focs76 = "Proc.\ 17th IEEE Symp.\ Foundations of Computer Science (FOCS'76), Houston, TX, USA, Oct.\ 1976"} @string{focs77 = "Proc.\ 18th IEEE Symp.\ Foundations of Computer Science (FOCS'77), Providence, RI, USA, Oct.-Nov.\ 1977"} @string{focs79 = "Proc.\ 20th IEEE Symp.\ Foundations of Computer Science (FOCS'79), San Juan, Puerto Rico, Oct.\ 1979"} @string{focs80 = "Proc.\ 21st IEEE Symp.\ Foundations of Computer Science (FOCS'80), Syracuse, NY, USA, Oct.\ 1980"} @string{focs81 = "Proc.\ 22nd IEEE Symp.\ Foundations of Computer Science (FOCS'81), Nashville, TN, USA, Oct.\ 1981"} @string{focs82 = "Proc.\ 23rd IEEE Symp.\ Foundations of Computer Science (FOCS'82), Chicago, IL, USA, Nov.\ 1982"} @string{focs83 = "Proc.\ 24th IEEE Symp.\ Foundations of Computer Science (FOCS'83), Tucson, AZ, USA, Nov.\ 1983"} @string{focs85 = "Proc.\ 26th IEEE Symp.\ Foundations of Computer Science (FOCS'85), Portland, OR, USA, Oct.\ 1985"} @string{focs88 = "Proc.\ 29th IEEE Symp.\ Foundations of Computer Science (FOCS'88), White Plains, NY, USA, Oct.\ 1988"} @string{focs89 = "Proc.\ 30th IEEE Symp.\ Foundations of Computer Science (FOCS'89), Research Triangle Park, NC, USA, Oct.\ 1989"} @string{focs93 = "Proc.\ 34th IEEE Symp.\ Foundations of Computer Science (FOCS'93), Palo Alto, CA, USA, Nov.\ 1993"} @string{focs95 = "Proc.\ 36th IEEE Symp.\ Foundations of Computer Science (FOCS'95), ??, 1995"} @string{focs97 = "Proc.\ 38th IEEE Symp.\ Foundations of Computer Science (FOCS'97), Miami Beach, FL, USA, Oct.\ 1997"} @string{focs2001 = "Proc.\ 42nd Symp.\ Foundations of Computer Science (FOCS'2001), Las Vegas, NV, USA, Oct.\ 2001"} @string{forte88 = "Proc.\ 1st Int.\ Conf.\ Formal Description Techniques (FORTE'88), Stirling, Scotland, UK, Sep.\ 1988"} @string{forte89 = "Proc.\ 2nd Int.\ Conf.\ Formal Description Techniques (FORTE'89), Vancouver, Canada, Dec.\ 1989"} @string{forte94 = "Proc.\ Formal Description Techniques (FORTE'94), Bern, Switzerland, Oct.\ 1994"} @string{forte97 = "Proc.\ Joint Int.\ Conf.\ Formal Description Techniques and Protocol Specification, Testing, and Verification (FORTE/PSTV'97), Osaka, Japan, Nov.\ 1997"} @string{forte98 = "Proc.\ {IFIP} Joint Int.\ Conf.\ Formal Description Techniques \& Protocol Specification, Testing, and Verification (FORTE-PSTV'98), Paris, France, Nov.\ 1998"} @string{fossacs98 = "Proc.\ Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'98), Lisbon, Portugal, Mar.-Apr.\ 1999"} @string{fossacs99 = "Proc.\ 2nd Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'99), Amsterdam, The Netherlands, Mar.\ 1999"} @string{fossacs2000 = "Proc.\ 3rd Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @string{fossacs2001 = "Proc.\ 4th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2001), Genova, Italy, Apr.\ 2001"} @string{fossacs2002 = "Proc.\ 5th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2002), Grenoble, France, Apr.\ 2002"} @string{fossacs2003 = "Proc.\ 6th Int.\ Conf.\ Foundations of Software Science and Computation Structures (FOSSACS'2003), Warsaw, Poland, Apr.\ 2003"} @string{fsttcs84 = "Proc.\ 4th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'84), Bangalore, India, Dec.\ 1984"} @string{fsttcs86 = "Proc.\ 6th Conf.\ on Foundations of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'86), New Delhi, India, Dec.\ 1986"} @string{fsttcs87 = "Proc.\ 7th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'87), Pune, India, Dec.\ 1987"} @string{fsttcs90 = "Proc.\ 10th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'90), Bangalore, India, Dec.\ 1990"} @string{fsttcs91 = "Proc.\ 11th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'91), New Delhi, India, Dec.\ 1991"} @string{fsttcs92 = "Proc.\ 12th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'92), New Delhi, India, Dec.\ 1992"} @string{fsttcs95 = "Proc.\ 15th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'95), Bangalore, India, Dec.\ 1995"} @string{fsttcs96 = "Proc.\ 16th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'96), Hyderabad, India, Dec.\ 1996"} @string{fsttcs97 = "Proc.\ 17th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'97), Kharagpur, India, Dec.\ 1997"} @string{fsttcs98 = "Proc.\ 18th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'98), Chennai, India, Dec.\ 1998"} @string{fsttcs99 = "Proc.\ 19th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'99), Chennai, India, Dec.\ 1999"} @string{fsttcs2000 = "Proc.\ 20th Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'2000), New Delhi, India, Dec.\ 2000"} @string{fsttcs2002 = "Proc.\ 22nd Conf.\ Found.\ of Software Technology and Theor.\ Comp.\ Sci.\ (FST\&TCS'2002), Kanpur, India, Dec.\ 2002"} @string{ftrtft94 = "Proc.\ 3rd Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFTS'94), L{\"u}beck, Germany, Sep.\ 1994"} @string{ftrtft96 = "Proc.\ 4th Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFTS'96), Uppsala, Sweden, Sep.\ 1996"} @string{ftrtft2002 = "Proc.\ 7th Int.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'2002), Oldenburg, Germany, Sep.\ 2002"} @string{hart97 = "Proc.\ Int.\ Workshop Hybrid and Real-Time Systems (HART'97), Grenoble, France, Mar.\ 1997"} @string{iccd95 = "Proc.\ 1995 Int.\ Conf.\ on Computer Design (ICCD '95), VLSI in Computers and Processors, Austin, TX, USA, Oct.\ 1995"} @string{icalp74 = "Proc.\ 2nd Coll.\ Automata, Languages and Programming (ICALP'74), Saarbr{\"u}cken, FRG, July-Aug.\ 1974"} @string{icalp77 = "Proc.\ 4th Coll.\ Automata, Languages, and Programming (ICALP'77), Turku, Finland, July 1977"} @string{icalp78 = "Proc.\ 5th Coll.\ Automata, Languages, and Programming (ICALP'78), Udine, Italy, Jul.\ 1978"} @string{icalp79 = "Proc.\ 6th Coll.\ Automata, Languages and Programming (ICALP'79), Graz, Austria, Jul.\ 1979"} @string{icalp80 = "Proc.\ 7th Coll.\ Automata, Languages and Programming (ICALP'80), Noordwijkerhout, NL, Jul.\ 1980"} @string{icalp81 = "Proc.\ 8th Coll.\ Automata, Languages and Programming (ICALP'81), Acre, Israel, Jul.\ 1981"} @string{icalp82 = "Proc.\ 9th Coll.\ Automata, Languages and Programming (ICALP'82), Aarhus, Denmark, Jul.\ 1982"} @string{icalp83 = "Proc.\ 10th Coll.\ Automata, Languages and Programming (ICALP'83), Barcelona, Jul.\ 1983"} @string{icalp84 = "Proc.\ 11th Coll.\ Automata, Languages and Programming (ICALP'84), Antwerp, Belgium, Jul.\ 1984"} @string{icalp85 = "Proc.\ 12th Coll.\ Automata, Languages and Programming (ICALP'85), Nafplion, Greece, Jul.\ 1985"} @string{icalp86 = "Proc.\ 13th Int.\ Coll.\ Automata, Languages and Programming (ICALP'86), Rennes, France, Jul.\ 1986"} @string{icalp87 = "Proc.\ 14th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'87), Karlsruhe, FRG, July 1987"} @string{icalp88 = "Proc.\ 15th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'88), Tampere, Finland, Jul.\ 1988"} @string{icalp89 = "Proc.\ 16th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'89), Stresa, Italy, July 1989"} @string{icalp90 = "Proc.\ 17th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'90), Warwick University, England, July 1990"} @string{icalp91 = "Proc.\ 18th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'91), Madrid, Spain, July 1991"} @string{icalp92 = "Proc.\ 19th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'92), Vienna, Austria, July 1992"} @string{icalp93 = "Proc.\ 20th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'93), Lund, Sweden, July 1993"} @string{icalp94 = "Proc.\ 21st Int.\ Coll.\ Automata, Languages, and Programming (ICALP'94), Jerusalem, Israel, July 1994"} @string{icalp95 = "Proc.\ 22nd Int.\ Coll.\ Automata, Languages, and Programming (ICALP'95), Szeged, Hungary, July 1995"} @string{icalp96 = "Proc.\ 23rd Int.\ Coll.\ Automata, Languages, and Programming (ICALP'96), Paderborn, Germany, July 1996"} @string{icalp97 = "Proc.\ 24th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'97), Bologna, Italy, July 1997"} @string{icalp98 = "Proc.\ 25th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'98), Aalborg, Denmark, July 1998"} @string{icalp99 = "Proc.\ 26th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'99), Prague, Czech Republic, July 1999"} @string{icalp2000 = "Proc.\ 27th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2000), Geneva, Switzerland, July 2000"} @string{icalp2001 = "Proc.\ 28th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2001), Crete, Greece, July 2001"} @string{icalp2002 = "Proc.\ 29th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2002), Malaga, Spain, July 2002"} @string{icalp2003 = "Proc.\ 30th Int.\ Coll.\ Automata, Languages, and Programming (ICALP'2003), Eindhoven, NL, July 2003"} @string{iclp2001 = "Proc.\ 17th Int.\ Conf.\ Logic Programming (ICLP'2001), Paphos, Cyprus, Nov.\ 2001"} @string{iclp2002 = "Proc.\ 18th Int.\ Conf.\ Logic Programming (ICLP'2002), Copenhagen, Denmark, July-Aug.\ 2002"} @string{icp2000 = "Proc.\ 4th Int.\ PLCopen Conf.\ on Industrial Control Programming (ICP'2000), Utrecht, The Netherlands, Oct.\ 2000"} @string{ijcai2 = "Proc.\ 2nd IJCAI, London"} @string{ijcai6 = "Proc.\ 6th IJCAI, Tokyo"} @string{ijcai83 = "Proc.\ 7th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'83), Karlsruhe, FRG, Aug.\ 1983"} @string{ijcai9 = "Proc.\ 9th IJCAI, Los Angeles"} @string{ijcai10 = "Proc.\ 10th IJCAI, Milano"} @string{ijcai14 = "Proc.\ 14th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'95), Montreal, Canada, Aug.\ 1995"} @string{ijcai15 = "Proc.\ 15th Int.\ Joint Conf.\ Artificial Intelligence (IJCAI'97), Nagoya, Japan, Aug.\ 1997"} @string{infinity96= "Proc.\ 1st Int.\ Workshop on Verification of Infinite State Systems (INFINITY'96), Pisa, Italy, Aug.\ 1996"} @string{infinity97 = "Proc.\ 2nd Int.\ Workshop on Verification of Infinite State Systems (INFINITY'97), Bologna, Italy, July 1997"} @string{infinity98 = "Proc.\ 3rd Int.\ Workshop on Verification of Infinite State Systems (INFINITY'98), Aalborg, Denmark, July 1998"} @string{infinity2003 = "Proc.\ 5th Int.\ Workshop on Verification of Infinite State Systems (INFINITY'2003), Marseille, France, Sep.\ 2003"} @string{ieeesp97 = "Proc.\ IEEE Symp.\ Security and Privacy, Oakland, CA, USA, May 1997"} @string{islp88 = "Proc.\ 5th Int.\ Conference and Symposium on Logic Programming (ISLP'88), Seattle, WA, USA, Aug.\ 1988"} @string{islp90 = "Proc.\ 7th Int.\ Conference on Logic Programming, Jerusalem (ISLP'90), Israel, June 1990"} @string{islp91 = "Proc.\ 1991 International Symposium on Logic Programming (ISLP'91), San Diego, CA, USA, Oct.\ 1991"} @string{latin98 = "Proc.\ 3rd Latin American Theoretical Informatics Symposium (LATIN'98), Campinas, Brazil, Apr.\ 1998"} @string{latin2000 = "Proc.\ 4th Latin American Symposium on Theoretical Informatics (LATIN'2000), Punta del Este, Uruguay, Apr.\ 2000"} @string{latin2002 = "Proc.\ 5th Latin American Symposium on Theoretical Informatics (LATIN'2002), Canc{\'u}n, M{\'e}xico, Apr.\ 2002"} @string{lfp = "Proc.\ ACM Conf.\ Lisp and Functional Programming"} @string{lfp84 = "Proc.\ 1984 ACM Conf.\ Lisp and Functional Programming, Austin, TX, USA"} @string{lfp86 = "Proc.\ 1986 ACM Conf.\ Lisp and Functional Programming, Cambridge, MA, USA"} @string{lfp90 = "Proc.\ 1990 ACM Conf.\ Lisp and Functional Programming, Nice, France"} @string{lics86 = "Proc.\ 1st IEEE Symp.\ Logic in Computer Science (LICS'86), Cambridge, MA, USA, June 1986"} @string{lics87 = "Proc.\ 2nd IEEE Symp.\ Logic in Computer Science (LICS'87), Ithaca, NY, USA, June 1987"} @string{lics88 = "Proc.\ 3rd IEEE Symp.\ Logic in Computer Science (LICS'88), Edinburgh, Scotland, July 1988"} @string{lics89 = "Proc.\ 4th IEEE Symp.\ Logic in Computer Science (LICS'89), Asilomar, CA, USA, June 1989"} @string{lics90 = "Proc.\ 5th IEEE Symp.\ Logic in Computer Science (LICS'90), Philadelphia, PA, USA, June 1990"} @string{lics91 = "Proc.\ 6th IEEE Symp.\ Logic in Computer Science (LICS'91), Amsterdam, The Netherlands, July 1991"} @string{lics92 = "Proc.\ 7th IEEE Symp.\ Logic in Computer Science (LICS'92), Santa Cruz, CA, USA, June 1992"} @string{lics93 = "Proc.\ 8th IEEE Symp.\ Logic in Computer Science (LICS'93), Montreal, Canada, June 1993"} @string{lics95 = "Proc.\ 10th IEEE Symp.\ Logic in Computer Science (LICS'95), San Diego, CA, USA, June 1995"} @string{lics96 = "Proc.\ 11th IEEE Symp.\ Logic in Computer Science (LICS'96), New Brunswick, NJ, USA, July 1996"} @string{lics97 = "Proc.\ 12th IEEE Symp.\ Logic in Computer Science (LICS'97), Warsaw, Poland, June--July 1997"} @string{lics98 = "Proc.\ 13th IEEE Symp.\ Logic in Computer Science (LICS'98), Indianapolis, IN, USA, June 1998"} @string{lics99 = "Proc.\ 14th IEEE Symp.\ Logic in Computer Science (LICS'99), Trento, Italy, July 1999"} @string{lics2000 = "Proc.\ 15th IEEE Symp.\ Logic in Computer Science (LICS'2000), Santa Barbara, CA, USA, June 2000"} @string{lics2001 = "Proc.\ 16th IEEE Symp.\ Logic in Computer Science (LICS'2001), Boston, MA, USA, June 2001"} @string{lics2002 = "Proc.\ 17th IEEE Symp.\ Logic in Computer Science (LICS'2002), Copenhagen, Denmark, July 2002"} @string{lics2003 = "Proc.\ 18th IEEE Symp.\ Logic in Computer Science (LICS'2003), Ottawa, Canada, June 2003"} @string{lpar2003 = "Proc.\ 10th Int.\ Conf.\ Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'2003), Almaty, Kazakhstan, Sep.\ 2003"} @string{mfcs78 = "Proc.\ 7th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'78), Zakopane, Poland, Sep.\ 1978"} @string{mfcs79 = "Proc.\ 8th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'79), Olomouc, CZ, Sep.\ 1979"} @string{mfcs80 = "Proc.\ 9th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'80), Rydzyna, Poland, Sep.\ 1980"} @string{mfcs84 = "Proc.\ 11th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'84), Praha, CZ, Sep.\ 1984"} @string{mfcs90 = "Proc.\ 15th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'90), Bansk{\'a} Bystrica, CZ, Aug.\ 1990"} @string{mfcs91 = "Proc.\ 16th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'91), Kazimierz Dolny, Poland, Sep.\ 1991"} @string{mfcs92 = "Proc.\ 17th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'92), Prague, Czechoslovakia, Aug.\ 1992"} @string{mfcs93 = "Proc.\ 18th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'93), Gda{\'n}sk, Poland, Aug.-Sep.\ 1993"} @string{mfcs95 = "Proc.\ 20th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'95), Prague, Czech Republic, Aug.-Sep.\ 1995"} @string{mfcs96 = "Proc.\ 21st Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'96), Cracow, Poland, Sep.\ 1996"} @string{mfcs97 = "Proc.\ 22nd Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'97), Bratislava, Slovakia, Aug.\ 1997"} @string{mfcs98 = "Proc.\ 23rd Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'98), Brno, Czech Republic, Aug.\ 1998"} @string{mfcs99 = "Proc.\ 24th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'99), Szklarska Poreba, Poland, Sep.\ 1999"} @string{mfcs2000 = "Proc.\ 25th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2000), Bratislava, Slovakia, Aug.\ 2000"} @string{mfcs2001 = "Proc.\ 26th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2001), Marianske Lazne, Czech Republic, Aug.\ 2001"} @string{mfcs2002 = "Proc.\ 27th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2002), Warsaw, Poland, Aug.\ 2002"} @string{mfcs2003 = "Proc.\ 28th Int.\ Symp.\ Math.\ Found.\ Comp.\ Sci.\ (MFCS'2003), Bratislava, Slovakia, Aug.\ 2003"} @string{podc83 = "Proc.\ 2nd ACM Symp.\ Principles of Distributed Computing (PODC'83), Montreal, Canada, Aug.\ 1983"} @string{podc84 = "Proc.\ 3rd ACM Symp.\ Principles of Distributed Computing, (PODC'84), Vancouver, B.C., Canada, Aug.\ 1984"} @string{podc85 = "Proc.\ 4th ACM Symp.\ Principles of Distributed Computing (PODC'85), Minaki, ON, Canada, Aug.\ 1985"} @string{podc87 = "Proc.\ 6th ACM Symp.\ Principles of Distributed Computing (PODC'87), Vancouver, B.C., Canada, Aug.\ 1987"} @string{podc88 = "Proc.\ 7th ACM Symp.\ Principles of Distributed Computing (PODC'88), Toronto, ON, Canada, Aug.\ 1988"} @string{podc89 = "Proc.\ 8th ACM Symp.\ Principles of Distributed Computing (PODC'89), Edmonton, Alberta, Canada, Aug.\ 1989"} @string{podc90 = "Proc.\ 9th ACM Symp.\ Principles of Distributed Computing (PODC'90), Quebec City, Canada, Aug.\ 1990"} @string{podc91 = "Proc.\ 10th ACM Symp.\ Principles of Distributed Computing (PODC'91), Montreal, Canada, Aug.\ 1991"} @string{podc92 = "Proc.\ 11th ACM Symp.\ Principles of Distributed Computing (PODC'92), Vancouver, BC, Canada, Aug.\ 1992"} @string{pods97 = "Proc.\ 16th ACM Symp.\ Principles of Database Systems (PODS'97), Tucson, AZ, USA, May 1997"} @string{popl1 = "Proc.\ 1st ACM Symp.\ Principles of Programming Languages, Boston, MA, USA"} @string{popl2 = "Proc.\ 2nd ACM Symp.\ Principles of Programming Languages, Palo Alto, CA, USA"} @string{popl3 = "Proc.\ 3rd ACM Symp.\ Principles of Programming Languages, Atlanta, GA, USA"} @string{popl4 = "Proc.\ 4th ACM Symp.\ Principles of Programming Languages, Los Angeles, CA, USA"} @string{popl5 = "Proc.\ 5th ACM Symp.\ Principles of Programming Languages, Tucson, AZ, USA"} @string{popl6 = "Proc.\ 6th ACM Symp.\ Principles of Programming Languages, San Antonio, TX, USA"} @string{popl80 = "Proc.\ 7th ACM Symp.\ Principles of Programming Languages (POPL'80), Las Vegas, NV, USA, Jan.\ 1980"} @string{popl81 = "Proc.\ 8th ACM Symp.\ Principles of Programming Languages (POPL'81), Williamsburg, VA, USA, Jan.\ 1981"} @string{popl82 = "Proc.\ 9th ACM Symp.\ Principles of Programming Languages, (POPL'82), Albuquerque, NM, USA, Jan.\ 1982"} @string{popl83 = "Proc.\ 10th ACM Symp.\ Principles of Programming Languages (POPL'83), Austin, TX, USA, Jan.\ 1983"} @string{popl84 = "Proc.\ 11th ACM Symp.\ Principles of Programming Languages (POPL'84), Salt Lake City, USA, Jan.\ 1984"} @string{popl85 = "Proc.\ 12th ACM Symp.\ Principles of Programming Languages (POPL'85), New Orleans, LA, USA, Jan.\ 1985"} @string{popl13 = "Proc.\ 13th ACM Symp.\ Principles of Programming Languages, St.\ Petersburg Beach, FL, USA"} @string{popl14 = "Proc.\ 14th ACM Symp.\ Principles of Programming Languages, Munich, Germany"} @string{popl88 = "Proc.\ 15th ACM Symp.\ Principles of Programming Languages (POPL'88), San Diego, CA, USA, Jan.\ 1988"} @string{popl89 = "Proc.\ 16th ACM Symp.\ Principles of Programming Languages (POPL'89), Austin, TX, USA, Jan.\ 1989"} @string{popl90 = "Proc.\ 17th ACM Symp.\ Principles of Programming Languages, San Francisco, CA, USA"} @string{popl91 = "Proc.\ 18th ACM Symp.\ Principles of Programming Languages, Orlando"} @string{popl92 = "Proc.\ 19th ACM Symp.\ Principles of Programming Languages, Albuquerque, NM, USA"} @string{popl95 = "Proc.\ 22nd ACM Symp.\ Principles of Programming Languages (POPL'95), San Francisco, CA, USA, Jan.\ 1995"} @string{popl2000 = "Proc.\ 27th ACM Symp.\ Principles of Programming Languages (POPL'2000), Boston, MA, USA, Jan.\ 2000"} @string{popl2002 = "Proc.\ 29th ACM Symp.\ Principles of Programming Languages (POPL'2002), Portland, OR, USA, Jan.\ 2002"} @string{popl2003 = "Proc.\ 30th ACM Symp.\ Principles of Programming Languages (POPL'2003), New Orleans, LA, USA, Jan.\ 2003"} @string{plilp90 = "Proc.\ 3rd Int.\ Symp.\ Programming Language Implementation and Logic Programming (PLILP'90), Link{\"o}ping, Sweden, Aug.\ 1990"} @string{plilp91 = "Proc.\ 4th Int.\ Symp.\ Programming Language Implementation and Logic Programming (PLILP'91), Passau, Germany, Aug.\ 1991"} @string{pstv85 = "Proc.\ 5th IFIP Int.\ Workshop on Protocol Specification, Testing, and Verification (PSTV'85), Toulouse-Moissac, France, June 1985"} @string{pstv87 = "Proc.\ 7th IFIP WG6.1 Int.\ Workshop on Protocol Specification, Testing, and Verification (PSTV'87), Zurich, Switzerland, May 1987"} @string{pstv89 = "Proc.\ 9th IFIP WG 6.1 Int.\ Symp.\ Protocol Specification, Testing and Verification (PSTV'89), Enschede, NL, June 1989"} @string{pstv95 = "Proc.\ 15th Int.\ Conf.\ Protocol Specification, Testing and Verification (PSTV'95), Warsaw, Poland, June 1995"} @string{renpar96 = "Proc.\ 8th Rencontres Francophones du Parall\'elisme (RenPar'96), Bordeaux, France, May 1996"} @string{renpar97 = "Proc.\ 9th Rencontres Francophones du Parall\'elisme (RenPar'97), Lausanne, Switzerland, May 1997"} @string{rta85 = "Proc.\ Rewriting Techniques and Applications (RTA'85), Dijon, France, May 1985"} @string{rta95 = "Proc.\ 6th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'95), Kaiserslautern, Germany, Apr.\ 1995"} @string{rta96 = "Proc.\ 7th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'96), New Brunswick, NJ, USA, July 1996"} @string{rta97 = "Proc.\ 8th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'97), Sitges, Spain, June 1997"} @string{rta98 = "Proc.\ 9th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'98), Tsukuba, Japan, Mar.--Apr.\ 1998"} @string{rta2002 = "Proc.\ 13th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'2002), Copenhagen, Denmark, July 2002"} @string{rta2003 = "Proc.\ 14th Int.\ Conf.\ Rewriting Techniques and Applications (RTA'2003), Valencia, Spain, June 2003"} @string{rtas98 = "Proc.\ 4th IEEE Real-Time Technology and Applications Symposium (RTAS'98), Denver, CO, USA, June.\ 1998"} @string{rtss94 = "Proc.\ 15th IEEE Real-Time Systems Symposium (RTSS'94), San Juan, Puerto Rico, Dec.\ 1994"} @string{rtss95 = "Proc.\ 16th IEEE Real-Time Systems Symposium (RTSS'95), Pisa, Italy, Dec.\ 1995"} @string{rtss96 = "Proc.\ 17th IEEE Real-Time Systems Symposium (RTSS'96), Washington, DC, USA, Dec.\ 1996"} @string{rtss97 = "Proc.\ 18th IEEE Real-Time Systems Symposium (RTSS'97), San Francisco, CA, USA, Dec.\ 1997"} @string{rtss98 = "Proc.\ 19th IEEE Real-Time Systems Symposium (RTSS'98), Madrid, Spain, Dec.\ 1998"} @string{sas95 = "Proc.\ 2nd Int.\ Symp.\ Static Analysis (SAS'95), Glasgow, UK, Sep.\ 1995"} @string{sas2000 = "Proc.\ 7th Int.\ Symp.\ Static Analysis (SAS'2000), Santa Barbara, CA, USA, June 2000"} @string{sas2002 = "Proc.\ 9th Int.\ Symp.\ Static Analysis (SAS'2002), Madrid, Spain, Sep.\ 2002"} @string{security98 = "Proc.\ 7th {USENIX} Security Symposium (SECURITY'98), San Antonio, TX, USA, Jan.\ 1998"} @string{sigsoft94 = "Proc.\ 2nd ACM SIGSOFT Symp.\ Foundations of Software Engineering (FSE'94), New Orleans, LA, USA, Dec.\ 1994"} @string{sigsoft95 = "Proc.\ 3rd ACM SIGSOFT Symp.\ Foundations of Software Engineering (FSE'95), Washington, DC, USA, Oct.\ 1995"} @string{sigsoft98 = "Proc.\ 6th ACM SIGSOFT Int.\ Symp.\ Foundations of Software Engineering (FSE'98), Lake Buena Vista, FL, USA, Nov.\ 1998"} @string{smc98 = "Proc.\ IEEE Int.\ Conf.\ Systems, Man, and Cybernetics (SMC'98), San Diego, CA, USA, October 1998"} @string{smc2000 = "Proc.\ IEEE Int.\ Conf.\ Systems, Man and Cybernetics (SMC'2000), Nashville, TN, USA, Oct.\ 2000"} @string{sofsem96 = "Proc.\ 23rd Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'96), Milovy, Czech Republic, Nov.\ 1996"} @string{sofsem99 = "Proc.\ 26th Conf.\ Current Trends in Theory and Practice of Informatics (SOFSEM'99), Milovy, Czech Republic, Nov.\ 1999"} @string{sofsem2001 = "Proc.\ 28th Conf.\ Current Trends in Theory and Practice of Informatics (SOFSEM'2001), Piestany, Slovak Republic, Nov.\ 2001"} @string{stacs84 = "Proc.\ STACS'84, Paris, LNCS 166"} @string{stacs91 = "Proc.\ 8th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'91), Hamburg, Germany, Feb.\ 1991"} @string{stacs92 = "Proc.\ 9th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'92), Cachan, France, Feb.\ 1992"} @string{stacs93 = "Proc.\ 10th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'93), W{\"u}rzburg, Germany, Feb.\ 1993"} @string{stacs94 = "Proc.\ 11th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'94), Caen, France, Feb.\ 1994"} @string{stacs95 = "Proc.\ 12th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'95), Munich, Germany, Mar.\ 1995"} @string{stacs96 = "Proc.\ 13th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'96), Grenoble, France, Feb.\ 1996"} @string{stacs97 = "Proc.\ 14th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'97), L{\"u}beck, Germany, Feb.-Mar.\ 1997"} @string{stacs98 = "Proc.\ 15th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'98), Paris, France, Feb.\ 1998"} @string{stacs99 = "Proc.\ 16th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'99), Trier, Germany, Mar.\ 1999"} @string{stacs2000 = "Proc.\ 17th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2000), Lille, France, Feb.\ 2000"} @string{stacs2001 = "Proc.\ 18th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2001), Desden, Germany, Feb.\ 2001"} @string{stacs2002 = "Proc.\ 19th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2002), Antibes Juan-les-Pins, France, Mar.\ 2002"} @string{stacs2003 = "Proc.\ 20th Ann.\ Symp.\ Theoretical Aspects of Computer Science (STACS'2003), Berlin, Germany, Feb.\ 2003"} @string{stoc71 = "Proc.\ 3rd ACM Symp.\ Theory of Computing (STOC'71), Shaker Heights, Ohio, USA, May 1971"} @string{stoc73 = "Proc.\ 5th ACM Symp.\ Theory of Computing (STOC'73), Austin, TX, USA, Apr.-May 1973"} @string{stoc75 = "Proc.\ 7th ACM Symp.\ Theory of Computing (STOC'75), Albuquerque, NM, USA, May 1975"} @string{stoc76 = "Proc.\ 8th ACM Symp.\ Theory of Computing (STOC'76), Hershey, PA, USA, May 1976"} @string{stoc77 = "Proc.\ 9th ACM Symp.\ Theory of Computing (STOC'77), Boulder, CO, USA, May 1977"} @string{stoc81 = "Proc.\ 13th ACM Symp.\ Theory of Computing (STOC'81), Milwaukee, WI, USA, May 1981"} @string{stoc82 = "Proc.\ 14th ACM Symp.\ Theory of Computing (STOC'82), San Francisco, CA, May 1982"} @string{stoc84 = "Proc.\ 16th ACM Symp.\ Theory of Computing (STOC'84), Washington, DC, USA, Apr.-May 1984"} @string{stoc85 = "Proc.\ 17th ACM Symp.\ Theory of Computing (STOC'85), Providence, RI, USA, May 1985"} @string{stoc91 = "Proc.\ 23rd ACM Symp.\ Theory of Computing (STOC'91), New Orleans, LA, May 1991"} @string{stoc92 = "Proc.\ 24th ACM Symp.\ Theory of Computing (STOC'92), Victoria, B.\ C., Canada, May 1992"} @string{stoc94 = "Proc.\ 26th ACM Symp.\ Theory of Computing (STOC'94), Montreal, Canada, May 1994"} @string{stoc95 = "Proc.\ 27th ACM Symp.\ Theory of Computing (STOC'95), Las Vegas, NV, May-June 1995"} @string{stoc2001 = "Proc.\ 33rd ACM Symp.\ Theory of Computing (STOC'2001), Heraklion, Crete, Greece, July 2001"} @string{symsac = "Proc.\ ACM Symp.\ Symbolic and Algebraic Computation"} @string{tableaux95 = "Proc.\ 4th Int.\ Workshop on Theorem Proving with Analytical Tableaux and Related Methods (TABLEAUX'95), Schloss Rheinfels, St. Goar, Germany, May 1995"} @string{tableaux96 = "Proc.\ 5th Int.\ Workshop on Theorem Proving with Analytical Tableaux and Related Methods (TABLEAUX'96), Terrasini, Palermo, Italy, May 1996"} @string{tableaux97 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytical Tableaux and Related Methods (TABLEAUX'97), Pont-{\`a}-Mousson, France, May 1997"} @string{tableaux99 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'99), Saratoga Springs, NY, USA, June 1999"} @string{tableaux2000 = "Proc.\ Int.\ Conf.\ Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'2000), St Andrews, Scotland, GB, July 2000"} @string{tacas95 = "Proc.\ 1st Int.\ Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), Aarhus, DK, May 1995"} @string{tacas97 = "Proc.\ 3rd Int.\ Workshop Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Enschede, NL, Apr.\ 1997"} @string{tacas98 = "Proc.\ 4th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Lisbon, Portugal, Mar.\ 1998"} @string{tacas99 = "Proc.\ 5th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'99), Amsterdam, The Netherlands, Mar.\ 1999"} @string{tacas2000 = "Proc.\ 6th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), Berlin, Germany, Mar.-Apr.\ 2000"} @string{tacas2001 = "Proc.\ 7th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2001), Genova, Italy, Apr.\ 2001"} @string{tacas2002 = "Proc.\ 8th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2002), Grenoble, France, Apr.\ 2002"} @string{tacas2003 = "Proc.\ 9th Int.\ Conf.\ Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003) Warsaw, Poland, Apr.\ 2003"} @string{tacs91 = "Proc.\ 1st Int.\ Conf.\ Theoretical Aspects of Computer Software (TACS'91), Sendai, Japan, Sep.\ 1991"} @string{tacs94 = "Proc.\ 2nd Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'94), Sendai, Japan, Apr.\ 1994"} @string{tacs97 = "Proc.\ 3rd Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'97), Sendai, Japan, Sep.\ 1997"} @string{tacs2001 = "Proc.\ 4th Int.\ Symp.\ Theoretical Aspects of Computer Software (TACS'2001), Sendai, Japan, Oct.\ 2001"} @string{tapsoft85 = "Proc.\ Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'85), Berlin, FRG, Mar.\ 1985"} @string{tapsoft93 = "Proc.\ 4th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'93), Orsay, France, Apr.\ 1993"} @string{tapsoft95 = "Proc.\ 6th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'95), Aarhus, Denmark, May 1995"} @string{tapsoft97 = "Proc.\ 7th Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'97), Lille, France, Apr.\ 1997"} @string{tlca95 = "Proc.\ 2nd Int.\ Conf.\ on Typed Lambda Calculi and Applications (TLCA'95), Edinburgh, Scotland, Apr.\ 1995"} @string{tlca2003 = "Proc.\ 6th Int.\ Conf.\ on Typed Lambda Calculi and Applications (TLCA'2003), Valencia, Spain, June 2003"} @string{tphol98 = "Proc.\ 11th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'98), Canberra, Australia, Sep.\ 1998"} @string{tphol2000 = "Proc.\ 13th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'2000), Portland, OR, USA, Aug.\ 2000"} @string{tphol2001 = "Proc.\ 14th Int.\ Conf.\ Theorem Proving in Higher Order Logics (TPHOLs'01), Edinburgh, Scotland, Sep.\ 2001"} @string{types96 = "Proc.\ Int.\ Workshop on Types for Proofs and Programs (TYPES'96), Aussois, France, Dec.\ 1996. Selected papers"} @string{types98 = "Proc.\ Int.\ Workshop on Types for Proofs and Programs (TYPES'98), Kloster Irsee, Germany, Mar.\ 1998. Selected papers"} @string{wadt2001 = "Recent Trends in Algebraic Development Techniques. Selected Papers from the 15th Int.\ Workshop on Algebraic Development Techniques (WADT'01), Genova, Italy, April 2001"} % % LABS % @string{cedric = "CEDRIC, Conservatoire National des Arts et M\'etiers"} @string{lfcs = "Lab.\ for Foundations of Computer Science"} @string{lifac = "LIFAC, \'Ecole Normale Sup\'erieure de Cachan"} @string{tum = "Institut f{\"u}r Informatik, TUM"} % % MISCELLANEOUS % @string{lsvaddr = "Lab. Specification and Verification, ENS de Cachan, 61 av. Pdt. Wilson, 94235 Cachan Cedex, France"} @string{R = "Report"} @string{RR = "Research Report"} @string{TR = "Tech.\ Report"} @string{thesealger = "Th\`ese d'Etat, USTHB, Alger"} @string{thesecachan = "Th\`ese ENS de Cachan"} @string{theseinpg = "Th\`ese de Doctorat, I.N.P.\ de Grenoble, France"} @string{theseujf = "Th\`ese de Doctorat, Univ.\ Joseph Fourier-Grenoble I, France"} @string{theseupmc = "Th\`ese de Doctorat, Univ.\ Pierre et Marie Curie-Paris VI, France"} % % LNCS % @string{lncs = "Lecture Notes in Computer Science"} @string{lnai = "Lecture Notes in Artificial Intelligence"} @string{lncs14 = icalp74} @string{lncs52 = icalp77} @string{lncs62 = icalp78} @string{lncs64 = mfcs78} @string{lncs70 = "Proc.\ Int.\ Symp.\ Semantics of Concurrent Computation, Evian, France, July 1979"} @string{lncs71 = icalp79} @string{lncs74 = mfcs79} @string{lncs84 = "Proc.\ Advanced Course Net Theory and Applications, Hamburg, FRG, Oct.\ 1979"} @string{lncs85 = icalp80} @string{lncs86 = "Proc.\ Winter School on Abstract Software Specifications, Copenhagen, Denmark, Jan.\ 1979"} @string{lncs87 = cade80} @string{lncs88 = mfcs80} @string{lncs104 = "Proc.\ 5th GI Conf.\ on Theor.\ Comp.\ Sci., Karlsruhe, FRG, Mar.\ 1981"} @string{lncs107 = "Proc.\ Int.\ Coll.\ Formalization of Programming Concepts, Peniscola, Spain, Apr.\ 1981"} @string{lncs112 = caap81} @string{lncs115 = icalp81} @string{lncs125 = "Proc.\ Logic of Programs Workshop, Zurich, LNCS 125"} @string{lncs131 = "Proc.\ Logics of Programs Workshop, Yorktown Heights, New York, May 1981"} @string{lncs137 = "Proc.\ 5th Int.\ Symp.\ on Programming, Turin, Italy, Apr.\ 1982"} @string{lncs140 = icalp82} @string{lncs144 = "Proc.\ EUROCAM'82, Marseille, LNCS 144"} @string{lncs145 = "Proc.\ 6th GI Conf.\ on Theor.\ Comp.\ Sci., Dortmund, FRG, Jan.\ 1983"} @string{lncs154 = icalp83} @string{lncs164 = "Proc.\ Workshop Logics of Programs, Pittsburgh, PA, USA, June 1983"} @string{lncs166 = stacs84} @string{lncs170 = cade84} @string{lncs172 = icalp84} @string{lncs173 = "Semantics of Data Types, Sophia-Antipolis, LNCS 173"} @string{lncs174 = "Proc.\ EUROSAM'84, Cambridge, LNCS 174"} @string{lncs176 = mfcs84} @string{lncs181 = fsttcs84} @string{lncs185 = caap85} @string{lncs186 = tapsoft85} @string{lncs190 = "Distributed systems: methods and tools for specification: an advanced course"} @string{lncs192 = "Automata on Infinite Words, Le Mont Dor\'{e}, LNCS 192"} @string{lncs193 = "Proc.\ Logics of Programs Workshop, Brooklyn College, NY, USA, June 1985"} @string{lncs194 = icalp85} @string{lncs197 = "Proc.\ Seminar on Concurrency, Pittsburgh, PA, USA, July 1984"} @string{lncs201 = "Functional Programming Languages and Computer Architecture, Nancy, LNCS 201"} @string{lncs202 = rta85} @string{lncs203 = "Proc.\ EUROCAL'85, Linz, LNCS 203"} @string{lncs204 = "Proc.\ EUROCAL'85, Linz, LNCS 204"} @string{lncs206 = "Proc.\ 5th Conf.\ on Foundations of Software Technology and Theor.\ Comp.\ Sci., LNCS 206"} @string{lncs210 = "Proc.\ STACS'86, Orsay, LNCS 210"} @string{lncs213 = "Proc.\ ESOP'86, Saarbr{\"u}cken, LNCS 213"} @string{lncs214 = "Proc.\ CAAP'86, Nice, LNCS 214"} @string{lncs217 = "Programs as Data Objects, Copenhagen, DK, LNCS 217"} @string{lncs222 = apn85} @string{lncs224 = "Current Trends in Concurrency, LNCS 224"} @string{lncs225 = "Proc.\ ICLP-3, LNCS 225"} @string{lncs226 = icalp86} @string{lncs230 = "Proc.\ 8th Conf.\ on Automated Deduction, Oxford, LNCS 230"} @string{lncs232 = "Fundamentals of Artificial Intelligence, LNCS 232"} @string{lncs233 = "Proc.\ Math.\ Found.\ Comp.\ Sci., Bratislava, LNCS 233"} @string{lncs241 = fsttcs86} @string{lncs247 = "Proc.\ STACS'87, Passau, LNCS 247"} @string{lncs249 = caap87} @string{lncs250 = "Proc.\ CFLP, Pisa, LNCS 250"} @string{lncs254 = "Petri Nets: Central Models and Their Properties, Bad Honnef, LNCS 254"} @string{lncs255 = "Petri Nets: Applications and Relationships to Other Models of Concurrency, Bad Honnef, LNCS 255"} @string{lncs256 = "Proc.\ Rewriting Techniques and Applications 87, Bordeaux, LNCS 256"} @string{lncs258 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'87), Eindhoven, NL, June 1987, vol.\ I: Parallel Architectures"} @string{lncs259 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'87), Eindhoven, NL, June 1987, vol.\ II: Parallel Languages"} @string{lncs266 = "Advances in Petri Nets 1987, LNCS 266"} @string{lncs267 = icalp87} @string{lncs272 = "Future Parallel Computers, an advanced course, Pisa, LNCS 272"} @string{lncs283 = "Proc.\ Category Theory and Computer Science, LNCS 283"} @string{lncs287 = fsttcs87} @string{lncs294 = "Proc.\ STACS'88, Bordeaux, LNCS 294"} @string{lncs298 = "Proc.\ 3rd Workshop on Mathematical Foundations of Programming Language Semantics, LNCS 298"} @string{lncs299 = "Proc.\ CAAP'88, Nancy, LNCS 299"} @string{lncs300 = "Proc.\ ESOP'88, Nancy, LNCS 300"} @string{lncs306 = "Proc.\ Workshop on Found.\ of Logic and Functional Programming, Trento, LNCS 306"} @string{lncs308 = "Proc.\ 1st Int.\ Workshop on Conditional Term Rewriting Systems, Orsay, LNCS 308"} @string{lncs310 = "Proc.\ 9th Conf.\ on Automated Deduction, Argonne, LNCS 310"} @string{lncs314 = "Graph Theoretic Concepts in Comp.\ Sci., LNCS 314"} @string{lncs317 = icalp88} @string{lncs324 = "Proc.\ Math.\ Found.\ Comp.\ Sci., LNCS 324"} @string{lncs331 = "Proc.\ Symp.\ Formal Techniques in Real-Time and Fault-Tolerant Systems, Warwick, UK, Sep.\ 1988"} @string{lncs335 = "Proc.\ Concurrency'88, LNCS 335"} @string{lncs340 = apn88} @string{lncs343 = alp88} @string{lncs349 = "Proc.\ STACS'89, Paderborn, LNCS 349"} @string{lncs351 = "Proc.\ Int.\ Joint Conf.\ Theory and Practice of Software Development (TAPSOFT'89), Barcelona, Spain, Mar.\ 1989, Vol.\ 1"} @string{lncs354 = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Proc.\ REX School/Workshop, Noordwijkerhout, NL, May-June 1988"} @string{lncs355 = "Proc.\ Rewriting Techniques and Applications 89, Chapel Hill, LNCS 355"} @string{lncs363 = "Logic at Botik'89: Symp.\ on Logical Foundations of Computer Science, Pereslavl-Zalessky, Russia, July 1989"} @string{lncs365 = "Proc.\ PARLE'89, vol.\ I: Parallel Architectures, Eindhoven, LNCS 365"} @string{lncs366 = "Proc.\ PARLE'89, vol.\ II: Parallel Languages, Eindhoven, LNCS 366"} @string{lncs372 = icalp89} @string{lncs378 = "Proc.\ EUROCAL'87, Leipzig, LNCS 378"} @string{lncs379 = "Proc.\ Math.\ Found.\ Comp.\ Sci., Porabka-Kozubnik, LNCS 379"} @string{lncs385 = "Proc.\ 2nd Workshop on Computer Science Logic, Duisburg, LNCS 385"} @string{lncs386 = "Formal Properties of Finite Automata and Applications, Ramatuelle, LNCS 386"} @string{lncs389 = "Proc.\ Category Theory and Computer Science, LNCS 389"} @string{lncs394 = "Algebraic Methods: Theory, Tools and Applications, LNCS 394"} @string{lncs398 = "Proc.\ Workshop Temporal Logic in Specification, Altrincham, UK, Apr.\ 1987"} @string{lncs407 = cav89} @string{lncs415 = "Proc.\ STACS 90, Rouen, LNCS 415"} @string{lncs417 = "Proc.\ International Conference on Computer Logic COLOG-88, LNCS 417"} @string{lncs424 = "Advances in Petri Nets 1989, LNCS 424"} @string{lncs430 = "Stepwise Refinement of Distributed Systems. Models, Formalisms, Correctness, Mook, LNCS 430"} @string{lncs431 = "Proc.\ CAAP'90, Copenhagen, Denmark, May 1990"} @string{lncs432 = "Proc.\ 3rd European Symp.\ on Programming (ESOP'90), Copenhagen, Denmark, May 1990"} @string{lncs440 = "Proc.\ 3rd Workshop on Computer Science Logic, Kaiserslautern, LNCS 440"} @string{lncs443 = icalp90} @string{lncs452 = mfcs90} @string{lncs456 = plilp90} @string{lncs458 = concur90} @string{lncs464 = "Aspects and Prospects of Theor.\ Comp.\ Sci., Smolenice, CZ, LNCS 464"} @string{lncs469 = "Semantics of Systems of Concurrent Processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, Apr.\ 1990"} @string{lncs470 = "Proc.\ 3rd Int.\ Conf.\ Database Theory (ICDT'90), Paris, France, Dec.\ 1990"} @string{lncs472 = fsttcs90} @string{lncs480 = stacs91} @string{lncs483 = "Advances in Petri Nets 1990, LNCS 483"} @string{lncs488 = "Proc.\ Rewriting Techniques and Applications 91, Como, LNCS 488"} @string{lncs491 = "Concurrency: Theory, Language, and Architecture. Proc.\ UK/Japan Workshop, Oxford, LNCS 491"} @string{lncs493 = "Proc.\ CAAP'91, Brighton, LNCS 493"} @string{lncs494 = "Proc.\ TAPSOFT'91, Brighton, LNCS 494"} @string{lncs505 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'91), Eindhoven, NL, June 1991, vol.\ I: Parallel Architectures and Algorithms"} @string{lncs506 = "Proc.\ Parallel Architectures and Languages Europe (PARLE'91), Eindhoven, NL, June 1991, vol.\ II: Parallel Languages"} @string{lncs510 = icalp91} @string{lncs520 = mfcs91} @string{lncs524 = apn91} @string{lncs526 = tacs91} @string{lncs527 = concur91} @string{lncs528 = plilp91} @string{lncs531 = cav90} @string{lncs560 = fsttcs91} @string{lncs566 = "Proc.\ Deductive and Object-Oriented Data Bases, LNCS 566"} @string{lncs575 = cav91} @string{lncs577 = stacs92} @string{lncs582 = esop92} @string{lncs583 = "Proc.\ First Latin American Symposium on Theoretical Informatics, Sao Paulo, Brazil, LNCS 583"} @string{lncs600 = "Real-Time: Theory in Practice, Proc.\ REX Workshop, Mook, NL, June 1991"} @string{lncs605 = "Proc.\ PARLE'92, Paris, LNCS 605"} @string{lncs609 = apn92} @string{lncs616 = atpn92} @string{lncs620 = "Proc.\ Logical Found.\ Comp.\ Sci., Tver, Russia, LNCS 620"} @string{lncs623 = icalp92} @string{lncs626 = csl91} @string{lncs629 = mfcs92} @string{lncs630 = concur92} @string{lncs652 = fsttcs92} @string{lncs655 = "Recent Trends in Data Type Specification (Selected Papers of the 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop)"} @string{lncs663 = cav92} @string{lncs665 = stacs93} @string{lncs666 = "Semantics: Foundations and Applications, Proc.\ REX Workshop, Beekbergen, NL, June 1992"} @string{lncs668 = tapsoft93} @string{lncs674 = "Advances in Petri Nets 1993"} @string{lncs691 = atpn93} @string{lncs697 = cav93} @string{lncs700 = icalp93} @string{lncs702 = "Proc.\ 6th Workshop on Computer Science Logic, San Miniato, Italy, LNCS 702"} @string{lncs710 = "Proc.\ 9th Int.\ Conf.\ Fundamentals of Computation Theory, Szeged, Hungary, LNCS 710"} @string{lncs711 = mfcs93} @string{lncs715 = concur93} @string{lncs735 = "Proc.\ Int.\ Conf.\ Formal Methods in Programming and Their Applications, Novosobirsk, LNCS 735"} @string{lncs736 = "Proc.\ Workshop Hybrid Systems, Lyngby, DK, Oct.\ 1992"} @string{lncs775 = stacs94} @string{lncs787 = caap94} @string{lncs788 = esop94} @string{lncs789 = tacs94} @string{lncs803 = "A Decade of Concurrency, Proc.\ REX School/Symp., Noordwijkerhout, NL, June 1993"} @string{lncs813 = "Proc.\ 3rd Int.\ Symp.\ Logical Foundations of Computer Science (LFCS'94), St.\ Petersburg, Russia, July 1994"} @string{lncs814 = cade94} @string{lncs815 = atpn94} @string{lncs818 = cav94} @string{lncs820 = icalp94} @string{lnai827 = "Proc.\ 1st Int.\ Conf.\ Temporal Logic, Bonn, Germany, July 1993"} @string{lncs832 = csl93} @string{lncs836 = concur94} @string{lncs850 = alp94} @string{lncs863 = ftrtft94} @string{lncs883 = "Logic Program Synthesis and Transformation --- Meta-Programming in Logic: Proc.\ 4th Int.\ Workshops, Pisa, Italy, June 1994"} @string{lncs900 = stacs95} @string{lncs902 = tlca95} @string{lncs906 = "Recent Trends in Data Type Specification (Selected Papers of the 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Santa Margherita, Italy, June 1994)"} @string{lncs909 = "Term rewriting: French Spring School of Theoretical Computer Science, Font Romeux, France, May 1993"} @string{lncs910 = "Constraint Programming: Basics and Trends. Selected papers from the May 1994 Ch{\^a}tillon Spring School"} @string{lncs914 = rta95} @string{lncs915 = tapsoft95} @string{lnai918 = tableaux95} @string{lncs935 = atpn95} @string{lncs936 = amast95} @string{lncs939 = cav95} @string{lncs944 = icalp95} @string{lncs959 = "Proc.\ 1st Int.\ Conf.\ Computing and Combinatorics, (COCOON'95), Xi'an, China, Aug.\ 1995"} @string{lncs962 = concur95} @string{lncs965 = "Proc.\ 10th Int.\ Conf.\ Fundamentals of Computation Theory (FCT'95), Dresden, Germany, Aug.\ 1995"} @string{lncs964 = "Proc.\ 3rd Int.\ Conf.\ Parallel Computing Technologies (PaCT'95), St.-Petersburg, Russia, LNCS 964"} @string{lncs969 = mfcs95} @string{lncs983 = sas95} @string{lncs999 = "Proc.\ Hybrid Systems {II}, Ithaca, NY, USA, Oct.\ 1994"} @string{lncs1000 = "Computer Science Today. Recent Trends and Developments"} @string{lncs1019 = tacas95} @string{lncs1026 = fsttcs95} @string{lncs1043 = "Logics for Concurrency: Structure Versus Automata"} @string{lncs1046 = stacs96} @string{lncs1059 = caap96} @string{lncs1066 = "Proc.\ Workshop Hybrid Systems {III}: Verification and Control, New Brunswick, NJ, USA, Oct.\ 1995"} @string{lnai1071 = tableaux96} @string{lncs1099 = icalp96} @string{lncs1101 = amast96} @string{lncs1102 = cav96} @string{lncs1103 = rta96} @string{lncs1113 = mfcs96} @string{lncs1119 = concur96} @string{lncs1130 = "Recent Trends in Data Type Specification (Selected papers of the 11th Workshop on Specification of Abstract Data Types joint with the 8th COMPASS Workshop, Oslo, Norway, Sep.\ 1995)"} @string{lncs1135 = ftrtft96} @string{lncs1158 = "Proc.\ Int.\ Workshop Types for Proofs and Programs (TYPES'95), Torino, Italy, June 1995"} @string{lncs1165 = "Formal methods for industrial applications: specifying and programming the steam boiler control"} @string{lncs1175 = sofsem96} @string{lncs1180 = fsttcs96} @string{lncs1200 = stacs97} @string{lncs1201 = hart97} @string{lncs1214 = tapsoft97} @string{lncs1217 = tacas97} @string{lncs1231 = arts97} @string{lncs1232 = rta97} @string{lncs1243 = concur97} @string{lncs1248 = atpn97} @string{lncs1249 = cade97} @string{lncs1254 = cav97} @string{lncs1256 = icalp97} @string{lnai1227 = tableaux97} @string{lncs1277 = "Proc.\ 4th Int.\ Conf.\ Parallel Computing Technologies (PaCT'97), Yaroslavl, Russia, Sep.\ 1997"} @string{lncs1281 = tacs97} @string{lncs1295 = mfcs97} @string{lncs1300 = "Proc.\ 3rd Int.\ {Euro-Par} Conference on Parallel Processing (EURO-PAR'97), Passau, Germany, Aug.\ 1997"} @string{lncs1313 = fme97} @string{lncs1346 = fsttcs97} @string{lncs1349 = amast97} @string{lncs1373 = stacs98} @string{lncs1378 = fossacs98} @string{lncs1379 = rta98} @string{lncs1380 = latin98} @string{lncs1384 = tacas98} @string{lncs1414 = csl97} @string{lncs1420 = atpn98} @string{lncs1427 = cav98} @string{lncs1443 = icalp98} @string{lncs1450 = mfcs98} @string{lncs1466 = concur98} @string{lncs1470 = "Proc.\ 4th Int.\ {Euro-Par} Conference (EUROPAR'98), Southampton, {UK}, Sept.\ 1998"} @string{lncs1479 = tphol98} @string{lnai1489 = "Proc.\ European Workshop Logics in Artificial Intelligence (JELIA'98), Dagstuhl, Germany, Oct.\ 1998"} @string{lncs1491 = "Advances in Petri Nets 1998"} @string{lncs1512 = types96} @string{lncs1530 = fsttcs98} @string{lncs1536 = "Proc.\ Int.\ Symp.\ Compositionality: The Significant Difference (COMPOS'97), Bad Malente, Germany, Sep.\ 1997"} @string{lncs1548 = amast98} @string{lncs1563 = stacs99} @string{lncs1578 = fossacs99} @string{lncs1579 = tacas99} @string{lncs1601 = arts99} @string{lnai1617 = tableaux99} @string{lncs1632 = cade99} @string{lncs1633 = cav99} @string{lncs1639 = atpn99} @string{lncs1644 = icalp99} @string{lncs1657 = types98} @string{lncs1664 = concur99} @string{lncs1672 = mfcs99} @string{lncs1683 = csl99} @string{lncs1693 = disc99} @string{lncs1708 = "Proc.\ World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse, France, Sep.\ 1999, vol.\ I"} @string{lncs1709 = "Proc.\ World Congress on Formal Methods in the Development of Computing Systems (FM'99), Toulouse, France, Sep.\ 1999, vol.\ II"} @string{lncs1710 = "Correct System Design. Recent Insights and Advances"} @string{lncs1723 = "The Unified Modeling Language - Beyond the Standard, Proc.\ 2nd Int.\ Conf., (UML'99) Fort Collins, CO, USA, Oct.\ 1999"} @string{lncs1725 = sofsem99} @string{lncs1738 = fsttcs99} @string{lncs1755 = "Proc.\ 3rd Int.\ Andrei Ershov Memorial Conf.\ Perspectives of System Informatics (PSI'99), Novosibirsk, Russia, Jul.\ 1999"} @string{lnai1761 = "Proc.\ Automated Deduction in Classical and Non Classical Logics"} @string{lncs1770 = stacs2000} @string{lncs1776 = latin2000} @string{lncs1782 = esop2000} @string{lncs1784 = fossacs2000} @string{lncs1785 = tacas2000} @string{lncs1800 = "Proc.\ 15 IPDPS 2000 Workshops, Cancun, Mexico, May 2000"} @string{lncs1817 = "Proc.\ 9th Int.\ Workshop.\ on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venezia, Italy, Sept.\ 1999"} @string{lncs1824 = sas2000} @string{lncs1825 = atpn2000} @string{lnai1847 = tableaux2000} @string{lncs1853 = icalp2000} @string{lncs1855 = cav2000} @string{lncs1862 = csl2000} @string{lncs1869 = tphol2000} @string{lncs1877 = concur2000} @string{lncs1885 = "{SPIN} Model Checking and Software Verification, Proc.\ 7th Int.\ {SPIN} Workshop, Stanford, CA, USA, Aug.\ 2000"} @string{lncs1893 = mfcs2000} @string{lncs1961 = asian2000} @string{lncs1974 = fsttcs2000} @string{lncs2000 = "Informatics: 10 Years Back, 10 Years Ahead"} @string{lncs2002 = "Constraints in Computational Logics: Theory and Applications"} @string{lncs2010 = stacs2001} @string{lncs2030 = fossacs2001} @string{lncs2031 = tacas2001} @string{lncs2057 = "Model Checking Software, Proc.\ 8th Int.\ {SPIN} Workshop, Toronto, Canada, May 2001"} @string{lncs2090 = "Lectures on Formal Methods and Performance Analysis"} @string{lncs2102 = cav2001} @string{lncs2034 = "Proc.\ 4th Int.\ Workshop Hybrid Systems: Computation and Control (HSCC'2001), Roma, Italy, Mar.\ 2001"} @string{lncs2075 = atpn2001} @string{lncs2076 = icalp2001} @string{lncs2088 = ciaa2000} @string{lncs2136 = mfcs2001} @string{lncs2142 = csl2001} @string{lncs2152 = tphol2001} @string{lncs2154 = concur2001} @string{lncs2165 = "Proc.\ Joint Int.\ Workshop Process Algebra and Probabilistic Methods (PAPM-PROBMIV'2001), Aachen, Germany, Sep.\ 2001"} @string{lncs2180 = disc2001} @string{lncs2215 = tacs2001} @string{lncs2234 = sofsem2001} @string{lncs2237 = iclp2001} @string{lncs2263 = "Advances in Object Modelling with the {OCL}"} @string{lncs2267 = wadt2001} @string{lncs2280 = tacas2002} @string{lncs2285 = stacs2002} @string{lncs2286 = latin2002} @string{lncs2289 = "Proc.\ 5th Int.\ Workshop Hybrid Systems: Computation and Control (HSCC'2002), Stanford, CA, USA, Mar.\ 2002"} @string{lncs2300 = "Formal and Natural Computing. Essays Dedicated to Grzegorz Rozenberg"} @string{lncs2303 = fossacs2002} @string{lncs2360 = atpn2002} @string{lncs2378 = rta2002} @string{lncs2380 = icalp2002} @string{lncs2392 = cade2002} @string{lncs2399 = "Proc.\ 2nd Joint Int.\ Workshop Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'2002), Copenhagen, Denmark, July 2002"} @string{lncs2401 = iclp2002} @string{lncs2404 = cav2002} @string{lncs2420 = mfcs2002} @string{lncs2421 = concur2002} @string{lncs2422 = amast2002} @string{lncs2469 = ftrtft2002} @string{lncs2471 = csl2002} @string{lncs2477 = sas2002} @string{lncs2556 = fsttcs2002} @string{lncs2575 = "Proc.\ 4th Int.\ Conf.\ Verification, Model Checking, and Abstract Interpretation (VMCAI'2003), New York, NY, USA, Jan.\ 2003"} @string{lncs2607 = stacs2003} @string{lncs2618 = esop2003} @string{lncs2619 = tacas2003} @string{lncs2620 = fossacs2003} @string{lncs2706 = rta2003} @string{lncs2679 = atpn2003} @string{lncs2701 = tlca2003} @string{lncs2710 = dlt2003} @string{lncs2719 = icalp2003} @string{lncs2725 = cav2003} @string{lncs2747 = mfcs2003} @string{lncs2761 = concur2003} @string{lncs2772 = "Proc.\ Int.\ Symp.\ Verification (Theory \& Practice). Celebrating Zohar Manna's $1000000_2$-th Birthday. Taormina, Italy, June--July 2003"} @string{lncs2803 = csl2003} @string{lnai2850 = lpar2003} @string{lncs2885 = "Proc.\ 5th Int.\ Conf.\ Formal Engineering Methods (ICFEM 2003), Singapore, Nov.\ 2003"} @string{lncs2895 = "Proc.\ 1st Asian Symp.\ on Programming Languages and Systems (APLAS'03), Beijing, China, Nov.\ 2003"} % @string{lncs3099 = atpn2004} % Des LNCS dont je ne connais pas encore le numero %================================================= %======================================================================== % % REMAINING PROBLEMS % %========================================================================