Computer logic - Congresses.
Overview
| Works: | 68 works in 59 publications in 59 languages | |
|---|---|---|
Titles
Rewriting logic and its applications = 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers /
by:
(Language materials, printed)
Computer safety, reliability, and security = 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Artificial intelligence logic and applications = the 3rd International Conference, AILA 2023, Changchun, China, august 5-6, 2023 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023 : proceedings /
by:
(Language materials, printed)
Computer performance engineering and stochastic modelling = 19th European Workshop, EPEW 2023, and 27th International Conference, ASMTA 2023, Florence, Italy, June 20-23, 2023 : proceedings /
by:
(Language materials, printed)
Logics in artificial intelligence = 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022 : proceedings /
by:
(Language materials, printed)
Artificial intelligence logic and applications = the 2nd International Conference, AILA 2022, Shanghai, China, August 26-28, 2022 : proceedings /
by:
(Language materials, printed)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Vagueness in communication = international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers /
by:
(Language materials, printed)
Control, computation and information systems = first international conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25 - 27, 2011 : proceedings /
by:
(Language materials, printed)
Logic, language, and computation = 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
by:
(Language materials, printed)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(Language materials, printed)
Fields of logic and computation II = essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Theory and applications of formal argumentation = third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015 : revised selected papers /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(Language materials, printed)
Reversible computation = 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012 : revised papers /
by:
(Language materials, printed)
Logic, language, and computation = 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
by:
(Language materials, printed)
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
(Language materials, printed)
Computational logic in multi-agent systems = 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers /
by:
(Language materials, printed)
Argumentation in multi-agent systems = 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(Language materials, printed)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(Language materials, printed)
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
(Language materials, printed)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(Language materials, printed)
Logical aspects of computational linguistics = 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012 : proceedings /
by:
(Language materials, printed)
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(Language materials, printed)
Logic, language and meaning = 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011 : revised selected papers /
by:
(Language materials, printed)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(Language materials, printed)
Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers /
by:
(Language materials, printed)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation = first International Workshop, TAFA 2011. Barcelona, Spain, July 16-17, 2011 : revised selected papers /
by:
(Language materials, printed)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Language materials, printed)
Computer science logic = 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Godel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings /
by:
(Language materials, printed)
Automated reasoning = second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings /
by:
(Language materials, printed)
Computer science logic = 18th international workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings /
by:
(Language materials, printed)
Logic, language, and computation = 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers /
by:
(Language materials, printed)
Theory and applications of formal argumentation = second International Workshop, TAFA 2013, Beijing, China, August 3-5, 2013 : revised selected papers /
by:
(Language materials, printed)
Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by:
(Language materials, printed)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Rewriting logic and its applications = 11th International Workshop, WRLA 2016, held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016 : revised selected papers /
by:
(Language materials, printed)
Knowledge engineering and knowledge management = EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016 : revised selected papers /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(Language materials, printed)
Applications of computer algebra = Kalamata, Greece, July 20-23 2015 /
by:
(Language materials, printed)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(Language materials, printed)
Theory and applications of formal argumentation = 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017 : revised selected papers /
by:
(Language materials, printed)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(Language materials, printed)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(Language materials, printed)
Rewriting logic and its applications = 12th International Workshop, WRLA 2018, held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018 : proceedings /
by:
(Language materials, printed)
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(Language materials, printed)
Reversible computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = 37th International Conference, SAFECOMP 2018, Vasteras, Sweden, September 19-21, 2018 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Vasteras, Sweden, September 18, 2018 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 20th International Workshop, CASC 2018, Lille, France, September 17-21, 2018 : proceedings /
by:
(Language materials, printed)
Computer algebra in scientific computing = 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017 : proceedings /
by:
(Language materials, printed)
Reversible computation = 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017 : proceedings /
by:
(Language materials, printed)
Language, logic, and computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers /
by:
(Language materials, printed)
Show more
Fewer
Subjects