Previous Conferences

Liverpool has hosted a number of conferences and workshops, and research staff have helped organise those held elsewhere.
Some of these are listed below:

• Upcoming/Current
  • 2rd Liverpool Discrete Mathematics Colloquium
    2nd - 3rd September 2025
  • 3rd Bertinoro Workshop on Distributed Geometric Algorithms
    29th September - 3rd October 2025
• Previous
• 2025
  • Workshop on Algorithmic Aspects of Temporal Graphs
    (satellite of the 52nd EATCS International Colloquium on Automata, Languages, and Programming (ICALP)
    7th July 2025
  • SAND 2025: 4th Symposium on Algorithmic Foundations of Dynamic Networks
    9th-11th June 2025
• 2024
  • Liverpool Discrete Mathematics Colloquium
    12th-13th November 2024
  • MACSMIN: 6th Conference on Mathematics and Computer Science for Materials Innovation
    9th-13th September 2024
  • VL/HCC-2024: IEEE Symposium on Visual Languages and Human-Centric Computing
    2nd-5th September 2024
    (satellite of the 35th Psychology of Programming Interest Group Annual Workshop- PPIG 2024)
  • NSG 2024: Second Symposium on NLP for Social Good 2024
    25th-26th April 2024
  • BCSWomen Lovelace Colloquium 2024
    4th April 2024
• 2023
  • LETC5: 5th Liverpool Economic Theory and Computation Workshop
    22nd September 2023, Liverpool
  • NSG 2023: First Symposium on NLP for Social Good 2023
    8th-9th June 2023
  • MACSMIN: 4th Conference on Mathematics and Computer Science for Materials Innovation
    22nd-25th May 2023
  • Digital Theme UK-Ukraine Twinning Initiative
    27th-30th March 2023
• 2022
  • 3rd Conference on Mathematics and Computer Science for Materials Innovation: Crystal Lattice Classifications
    (satellite of 33rd European Crystallographic Meeting)
    5th-9th September 2022
  • GAMENET: Current Trends in Graph and Stochastic Games
    7th-9th April 2022
  • LMS Workshop on Algorithmic and Probabilistic Aspects of Space Efficiency
    25th March 2022
• 2021
  • RP'21: 15th International Conference on Reachability Problems
    25th-27th October 2021
  • MACSMIN: 2nd Conference on Mathematics and Computer Science for Materials Innovation
    25th-27th October 2021
  • Mathematics for Materials Science symposium
    (part of BMC-BAMC 2021)
    6th-9th April 2021, (online)
  • BCTCS2021: 37th British Colloquium for Theoretical Computer Science
    29th March-1st April 2021, (online)
• 2020
  • MACSMIN: Mathematics and Computer Science for Materials Innovation
    7th-8th September 2020, (online)
  • ViTac Workshop
    (part of ICRA 2020)
    31st May 2020, (online)
  • Algorithmic and Combinatorial Aspects of Temporal Graph Theory workshop (postponed)
    30th March 2020
• 2019
  • Formal Methods for Autonomous Systems Workshop
    (Satellite workshop of Formal Methods 2019 World Congress)
    11th October 2019, Porto, Portugal
  • LETC4: 4th Liverpool Economic Theory and Computation Workshop
    27th September 2019, Liverpool
  • Scoping Certifiable Autonomous Nuclear Robotics
    12th April 2019, Manchester
  • Space Security Scoping Workshop
    1st February 2019, London
• 2018
  • AISB 2018: Society for the Study of Artificial Intelligence and Simulation of Behaviour
    AI for the Digital Society
    4th-6th April 2018, Liverpool
  • Algorithmic Aspects of Temporal Graphs workshop
    (Satellite workshop of ICALP 2018)
    9th July 2018, Prague, Czech Republic
  • International Workshop on Verification and Validation of Autonomous Systems
    (Satellite workshop of FLoC 2018)
    18-19th July 2018, Oxford
  • MFCS 2018: 43rd International Symposium on Mathematical Foundations of Computer Science
    27th-31st August 2018, Liverpool
  • Topological Data Analysis workshop
    (Satellite workshop of MFCS 2018)
    Combined with the 11th meeting of the Applied Algebraic Topology network
    31st August 2018, Liverpool
  • 2nd Algorithms UK Workshop
    19th-20th September 2018, Liverpool
  • LETC3: 3rd Liverpool Economic Theory and Computation Workshop
    21st September 2018, Liverpool
• 2017
  • TARK 2017: 16th Conference on Theoretical Aspects of Rationality and Knowledge
    24th-26th July 2017, Liverpool
  • SR 2017: 5th International Workshop on Strategic Reasoning
    27th-28th July 2017, Liverpool
  • LETC2: 2nd Liverpool Economic Theory and Computation Workshop
    22nd September 2017, Liverpool
• 2016
  • MALIC: Workshop on Learning, Inference and Control of Multi-Agent Systems
    9th December 2016, Barcelona, Spain
    Part of the Thirtieth Annual Conference on Neural Information Processing Systems (NIPS 2016)
  • LETC1: 1st Liverpool Economic Theory and Computation Workshop
    23rd September 2016, Liverpool
  • SAGT 2016: 9th International International Symposium on Algorithmic Game Theory
    19th-21st September 2016, Liverpool
  • ARW 2016: 23rd Automated Reasoning Workshop
    19th-20th May, Liverpool
  • ALA 2016: 15th Adaptive Learning Agents Workshop
    9th-10th May, Singapore (Singapore)
• 2015
  • OWLED 2015: 12th OWL Experiences and Directions Workshop
    9th-10th October, Bethlehem (USA)
  • AV 2015: Agent Verification Workshop
    11th September, Liverpool
  • TAROS 2015: 16th Towards Autonomous Robotic Systems
    8th-10th September, Liverpool
  • DLT 2015: 19th International Conference on Developments in Language Theory
    27th-30th July, Liverpool
  • ALA 2015: 14th Adaptive Learning Agents Workshop
    5th May, Istanbul (Turkey)
  • ArgMAS 2015: 12th International Workshop on Argumentation in Multi-Agent Systems
    4th-8th May, Istanbul (Turkey)
• 2014
  • Workshop on Wireless Communication 2014
    25th June, Liverpool
• 2013
  • FCT 2013: 19th International Symposium on Fundamentals of Computation Theory
    19th-21st August, Liverpool
  • Workshop on Argumentation and AI and Law
    (Satellite workshop of ICAIL2013)
    10th June, Rome
• 2012
  • WINE 2012: 8th Workshop on Internet and Network Economics
    9th-12th December, Liverpool
• 2011
  • ICEC11: 13th International Conference on Electronic Commerce
    3rd-5th August, Liverpool
  • FTP 2011: 8th International Workshop on First-Order Theorem Proving
    4th July, Bern (Switzerland)
  • FOMC 2011: 7th International Workshop on Foundations of Mobile Computing
    9th June, San Jose (USA)
• 2010
  • ALGO 2010 comprising:
    18th European Symposium of Algorithms,
    10th Workshop on Algorithms in Bioinformatics,
    10th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, and
    8th Workshop on Approximation and Online Algorithms,
    6th-10th September, Liverpool
  • RP2010: 4th Workshop on Reachability Problems
    28th-29th August, Brno (Czech Rep)
  • LOFT2010: 9th Conference on Logic and the Foundations of Game and Decision Theory
    5th-7th July, Toulouse (France)
• 2009
  • ARW09: 16th Automated Reasoning Workshop
    21st-22nd April, Liverpool
• 2008
  • RP2008: 2nd Workshop on Reachability Problems
    15th-17th September, Liverpool
• 2007
  • FROCOS07: 6th International Symposium on Frontiers of Combining Systems
    10th-12th September, Liverpool
  • FTP07: 6th International Workshop on First-Order Theorem Proving
    12th-13th September, Liverpool
• 2005
  • Workshop on Argumentation in AI and Law
    (Satellite workshop of ICAIL2005)
    10th June, Bologna
  • UK-KDD'05: First UK Symposium on Knowledge Discovery and Data Mining
    6th April, Liverpool
• 2006
  • JELIA06: 10th European Conference on Logics in Artificial Intelligence
    13th-15th September, Liverpool
  • COMMA06: 1st International Conference on Computational Models of Argument
    11th-12th September, Liverpool
  • LOFT06: 7th Conference on Logic and the Foundations of Game and Decision Theory
    13th-15th July, Liverpool
  • SIROCCO 2006: 13th Colloquium on Structural Information and Communication Complexity
    3rd-5th July, Chester
• 2003
  • WDA 2003: Second International Workshop on Web Document Analysis
    3rd August, Edinburgh (Scotland)
    Co-located with ICDAR2003
  • ARW 2003: 10th Workshop on Automated Reasoning
    15th-16th April, Liverpool
• 2002
  • VRI 2002: Second Visual Representations & Interpretations Workshop
    9th-12th September, Liverpool
• 2001
  • WDA 2001: First International Workshop on Web Document Analysis
    8th September, Seattle (USA)
    Associated with ICDAR'01
• 1999
  • Phase Transition Phenomena in Combinatorial Problems Workshop
    25th-27th January, Liverpool
• 1998
  • VRI'98: First Visual Representations & Interpretations Workshop
    22nd-23rd September, Liverpool
• 1995
  • IPCAT'95: International Workshop on Information Processing in Cells and Tissues
    6th-8th September, Liverpool
• 1991
  • BCTCS 7: Seventh British Colloquium for Theoretical Computer Science
    26th-28th March, Liverpool