Pages that link to "Item:Q163528"

The following pages link to Electronic Notes in Theoretical Computer Science (Q163528):

Displaying 50 items.

• Proceedings of the 1st international workshop on Probabilistic methods in verification (PROBMIV '98), Indianapolis, IN, USA, June 19--20, 1998 (satellite event to the 13th international IEEE symposium on Logic in computer science, LICS '98) (Q1294792) (← links)
• Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999 (Q1294793) (← links)
• Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999 (Q1299567) (← links)
• A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 -- July 1, 1999 (Q1574777) (← links)
• Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11--12, 1999 (Q1574778) (← links)
• RealComp '98. Number computation, Indianapolis, IN, USA, June 19--20, 1998 (Q1574779) (← links)
• The 1998 ARO/ONR/NSF/DARPA Monterey workshop on engineering automation for computer based systems. Carmel, CA, USA, October 23--26, 1998 (Q1574780) (← links)
• HOOTS '99. Higher order operational techniques in semantics. Paris, France, September 30 and October 1, 1999 (Q1574781) (← links)
• EXPRESS '99. The 6th international workshop on expressiveness in concurrency, Eindhoven, the Netherlands, August 23, 1999 (Q1574782) (← links)
• WDS '99. Workshop on distributed systems. A satellite workshop to FCT '99, Iassy, Romania, September 2--3, 1999 (Q1574783) (← links)
• CTCS '99. Conference on category theory and computer science, Edinburgh, GB, September 10--12, 1999 (Q1574784) (← links)
• Developing theories of types and computability via realizability (Q1574785) (← links)
• Workshop on verification of logic programs. Las Cruces, NM, USA, December 1, 1999 (Q1574965) (← links)
• WOID '99. Workshop on optimization and implementation of declarative programs. Las Cruces, NM, USA, December 2--3, 1999 (Q1574966) (← links)
• Parallelism and implementation technology for (constraint) logic programming. Workshop in conjunction with ICLP '99, Las Cruces, NM, USA, December 1, 1999 (Q1574967) (← links)
• WLPE '99. 10th workshop on logic programming environments, Las Cruces, NM, USA, November 29, 1999 (Q1574968) (← links)
• CATS 2000 Computing: the Australasian theory symposium, Canberra, Australia, February 1--2, 2000 (Q1574969) (← links)
• Workshop on secure architectures and information flow. Royal Holloway, Univ. of London, GB, December 1--3, 1999 (Q1574970) (← links)
• CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000 (Q1574971) (← links)
• Domains IV. Workshop, Haus Humboldtstein, Remagen-Rolandseck, Germany, October 2--4, 1998 (Q1585420) (← links)
• Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23--24, 2017 (Q1630076) (← links)
• Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016 (Q1682301) (← links)
• Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016 (Q1682314) (← links)
• Proceedings of the 7th international symposium on domain theory and its applications (ISDT), Shijiazhuang, China, June 2--6, 2017 (Q1686831) (← links)
• Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6--9, 2018 (Q1738363) (← links)
• 2000 ACM SIGPLAN Haskell workshop (satellite event of PLI 2000), Montreal, Canada, September 17, 2000. Proceedings (Q1948368) (← links)
• HLCL 2000. 4th international workshop on high-level concurrent languages (satellite to PLI 2000), Montreal, Canada, September 20, 2000 (Q1948369) (← links)
• HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings (Q1948370) (← links)
• UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 -- April 1, 2001. Proceedings (Q1948371) (← links)
• Declarative programming. Selected papers from AGP 2000, La Habana, Cuba, December 4--6, 2000. Proceedings (Q1948372) (← links)
• GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12--13, 2001. Proceedings (Q1948374) (← links)
• VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings (Q1948375) (← links)
• GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22--23, 2001. Proceedings (Q1948376) (← links)
• Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10--12, 2001. Proceedings (Q1948377) (← links)
• MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20--21, 2000 (Q1948980) (← links)
• EXPRESS'00: 7th international workshop on expressiveness in concurrency. Proceedings of the satellite workshop of CONCUR 2000, University Park, PA, USA, August 21, 2000 (Q1948981) (← links)
• CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001 (Q1948982) (← links)
• MFPS 2001. Papers from the 17th conference on the mathematical foundations of programming semantics, Aarhus University, Aarhus, Denmark, May 23--26, 2001. (Q1948983) (← links)
• IWCIA 2001. Proceedings of the 8th international workshop on combinatorial image analysis, Temple University, Philadelphia, PA, USA, August 23--24, 2001 (Q1949020) (← links)
• EXPRESS'01. Proceedings of the 8th international workshop on expressiveness in concurrency, a satellite workshop of CONCUR 2001, Aalborg, Denmark, August 20, 2001 (Q1949051) (← links)
• Formal verification based on Boolean expression diagrams (Q1954165) (← links)
• WRS 2001. 1st international workshop on reduction strategies in rewriting and programming, Utrecht, The Netherlands, May 26, 2001. Post-workshop proceedings (Q1954166) (← links)
• MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001 (Q1954167) (← links)
• STRATEGIES 2001. Selected papers of the 4th international workshop on strategies in automated deduction (in connection with IJCAR 2001), Siena, Italy, June 18, 2001 (Q1954183) (← links)
• RULE 2001. Proceedings of the 2nd international workshop on rule-based programming (Satellite Event of PLI 2001), Florence, Italy, September 4, 2001 (Q1954184) (← links)
• UNCL'2002. Unification in non-classical logics. Papers from the ICALP satellite workshop, Málaga, Spain, July 12, 2002 (Q1954218) (← links)
• Proceedings of the 3rd international workshop on interactions between computer science and biology (CS2Bio'12), Stockholm, Sweden, June 16, 2012 (Q2018755) (← links)
• Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013 (Q2018791) (← links)
• Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013 (Q2018792) (← links)
• Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio'13), Florence, Italy, June 6, 2013 (Q2018799) (← links)