Workshops

From ERCIM Working Group on Many-Valued Logics
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Meetings about Many-valued logics and related topics.

Forthcoming events

2017

  • LORI 2017: The sixth international conference on Logic, Rationality and Interaction. Sapporo, Japan, 11 - 14 September 2017.
  • EUSFLAT 2017: 10th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Warsaw, Poland, 11 - 15 June September 2017.
  • ManyVal 2017: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Reasoning under uncertainty and inconsistency". Toulouse, France, 15 - 17 November 2017.


Past events

2017

  • WoLLIC 2017: 24th Workshop on Logic, Language, Information and Computation. London, UK, 18 - 21 July 2017eus.
  • TACL 2017: Topology, Algebra, and Categories in Logic 2017. Prague, Czech Republic, 26 - 30 June 2017.

2016

  • SYSMICS 2016: SYNTAX MEETS SEMANTICS 2016. Barcelona, Spain, 5 - 9 September 2016.
  • AiML-2016: Advances in Modal Logic. Budapest, Hungary, 29 August - 2 September 2016.
  • LATD 2016: Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 28 - 30 June 2016. Fifth official conference of the MathFuzzLog.
  • ISMVL 2016: 46th IEEE International Symposium on Multiple-Valued Logic. Sapporo, Japan, 18 - 20 May 2016.
  • ICMF 2016: International Conference on Mathematics and Fuzzines. Zanjan, Iran, 27 - 29 April 2016.
  • FNC: Frontiers of Non-Classicality: Logic, Mathematics, Philosophy. Auckland, New Zealand, 26 - 29 January 2016.
  • FSTA 2016: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 24 - 29 January 2016.
  • LFCS 2016: Logical Foundations of Computer Science 2016. Deerfield Beach, Florida, USA, 4 - 7 January 2016.

2015

  • ManyVal 2015: International workshop on the logical and algebraic aspects of many-valued reasoning. This year the topic is "Modal and first-order many-valued logics". Les Diablerets, Switzerland, 11 - 13 December 2015.
  • LPAR-20: 20th International Conference on Logic for Programming Artificial Intelligence and Reasoning. University of the Pacific, Suva, Fiji, 24 - 28 November 2015.
  • LORI 2015: The fifth international conference on Logic, Rationality and Interaction. Taipei, Taiwan, 28 - 30 October 2015.
  • TbiLLC 2015: Eleventh International Tbilisi Symposium on Language, Logic and Computation. Tbilisi, Georgia, 21 - 25 September 2015.
  • Tableaux 2015: The 23rd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods. Wroclaw, Poland, 21 - 24 September 2015.
  • ESSFLA 2015: First European Summer School on Fuzzy Logic and Applications. Lake Como School of Advanced Studies, Como, Italy, 7 - 11 September 2015.
  • CLMPS 2015: 15th Congress on Logic, Methodology, and Philosophy of Science CLMPS, co-located with Logic Colloquium. Helsinki, Finland, 3 - 8 August 2015.
  • WL4AI 2015: IJCAI-2015 Workshop WL4AI'15. Weighted Logics for AI: logic, uncertain beliefs, preferences, partial truth. Buenos Aires, Argentina, 25 - 27 July 2015.
  • WoLLIC 2015: 22nd Workshop on Logic, Language, Information and Computation. Bloomington, Indiana, USA, 20 - 23 July 2015.
  • LICS 2015: Thirtieth annual ACM/IEEE Symposium on Logic in Computer Science. Kyoto, Japan, 6 - 10 July 2015.
  • IFSA/EUSFLAT 2015: 16th World Congress of the International Fuzzy Systems Association (IFSA) and 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT). Gijón, Spain, 30 June - 3 July 2015.
  • Trends in Logic XV: Logics for Social Behaviour. Delft University of Technology Delft, The Netherlands, 29 June - 3 July 2015.
  • TACL 2015: Topology, Algebra, and Categories in Logic 2015. School: Campus of Salerno, Fisciano 15 - 19 June 2015. Conference: Ischia, Italy, 21 - 26 June 2015.
  • Logica 2015: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 15 - 19 June 2015.
  • ISMVL 2015: 45th IEEE International Symposium on Multiple-Valued Logic. Waterloo, Ontario, Canada, 18 - 20 May 2015.
  • LAMAS 2015: Workshop on Logical Aspects of Multi-Agent Systems, Istanbul, 4-5 May 2015.
  • LNAT 3: The semantics and pragmatics of logical constants. Brussels, 5 - 6 February 2015.
  • BLAST 2015: 6th BLAST conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. Las Cruces, New Mexico, USA, 5 - 9 January 2015.

2014

  • AsubL5: Algebra and Substructural Logics is a workshop on algebraic structures related to substructural logic. La Trobe University, Melbourne, Australia, 13 - 16 December 2014.
  • Beyond True and False: Logic, Algebra and Topology. Florence, Italy, 3 - 5 December 2014. Kick-off meeting of the ERCIM ManyVal working group.
  • ISRALOG'14: Israeli Workshop on Non-Classical Logics and Their Applications. Haifa, Israel, 29 September - 1 October 2014.
  • IEEE IS'14: IEEE Intelligent Systems IS'14. Warsaw, Poland, 24 - 26 September 2014.
  • JELIA 2014: 14th European Conference on Logics in Artificial Intelligence. Madeira Island, Portugal, 24 - 26 September 2014.
  • FedCSIC 2014: Federated Conference on Computer Science and Information Systems. Warsaw, Poland, 7 - 10 September 2014.
  • WoLLIC 2014: 21st Workshop on Logic, Language, Information and Computation. Valparaíso, Chile, 1 - 4 September 2014.
  • ESSLLI 2014: 26th European Summer School in Logic, Language and Information. Tübingen, Germany, 11 - 22 August 2014, with the course Gentle introduction to Mathematical Fuzzy Logic.
  • PRUV 2014: First International Workshop on Logics for Reasoning about Preferences, Uncertainty and Vagueness. Vienna, Austria, 23 - 24 July 2014.
  • LATD 2014: Logic, Algebra and Truth Degrees 2014. Vienna, Austria, 16 - 19 July 2014.
  • IPMU 2014: 15th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference. Montpellier, France, 15 - 19 July 2014.
  • Trends in Logic XIV: The Road Less Travelled, Off-stream applications of formal methods. University of Ghent, Belgium, 8 - 11 July 2014.
  • Trends in Logic XIII: Gentzen's and Jaśkowski's heritage; 80 years of Natural Deduction and Sequent Calculi. University of Lodz, Poland, 2 - 5 July 2014.
  • AAA88: AAA88 Workshop on General Algebra. Warsaw, Poland, 19 - 22 June 2014.
  • Logica 2014: Any topic on Logic, except those focused on specialized technical applications. Hejnice Monastery, Hejnice, Czech Republic, 16 - 20 June 2014.
  • ICAISC 2014: 13th International Conference on Artificial Intelligence and Soft Computing, Zakopane, Poland, 1 - 5 June 2014.
  • ISMVL 2014: 44th IEEE International Symposium on Multiple-Valued Logic. Bremen, Germany, 19 - 21 May 2014.
  • EBL 2014: 17th Brazilian Logic Conference. Petropolis, Brazil, 7-11 April 2014.
  • IMI AJD: Applications of Algebra XVIII. Zakopane, Poland, 10 - 16 March 2014.
  • FoIKS 2014: Eighth International Symposium on Foundations of Information and Knowledge Systems. Bordeaux, France, 3 - 7 March 2014.
  • ESTYLF 2014: Spanish Congress of Fuzzy Logic and Technology. Zaragoza, Spain, 5 - 7 February 2014.
  • FSTA 2014: Twelfth International Conference on Fuzzy Set Theory and Applications. Liptovský Ján, Slovakia, 26 - 31 January 2014.
Retrieved from "https://wiki.ercim.eu/wg/ManyVal/index.php?title=Workshops&oldid=76"