C I F M A

International Workshop on

Cognition: Interdisciplinary Foundations, Models and Applications

Yearly Event

Postproceedings published by Springer as part of LNCS volume

Co-located with SEFM (International Conference on Software Engineering and Formal Methods)

Next/Current Event | Previous Event

Next/Current Event 7th International Workshop (CIFMA 2025): Date: 11 November 2025 Organisation: Toledo, Spain Mode: Physical Event Program Co-chairs: Francesco Bianchini and Arianna Pavone Keynote Speakers: TBA Previous Events 6th International Workshop (CIFMA 2024): Date: 5 November 2024 Organisation: Aveiro, Portugal Mode: Physical Event Program Co-chairs: Reinhard Kahle and Graham Pluck Keynote Speakers: João Gama 5th International Workshop (CIFMA 2023): Date:7 November 2023 Organisation: Eindhoven, The Netherlands Mode: Physical Event Program Co-chairs: Alessandro Aldini Keynote Speakers: Davide Grossi Post-proceedings: https://link.springer.com/book/10.1007/978-3-031-66021-4 4th International Workshop (CIFMA 2022): Date: Tuesday 27 September 2022 Organisation: Humboldt University, Berlin, Germany Mode: Physical Event Program Co-chairs: Pierluigi Graziani Keynote Speakers: Ulrich Kohlenbach Post-proceedings: https://link.springer.com/book/10.1007/978-3-031-26236-4 3rd International Workshop (CIFMA 2021): Date: Monday 6 December 2021 Organisation: Nazarbayev University, Nur-Sultan, Kazakhstan, and the University of York, York, UK Mode: Virtual Event Program Co-chairs:Pierluigi Graziani and Gentiane Venture Keynote Speaker: Martin Davis Post-proceedings: https://link.springer.com/book/10.1007/978-3-031-12429-7 2nd International Workshop (CIFMA 2020): Date: Monday 14 September 2020 Organisation: CWI, Amsterdam, The Netherlands Mode: Virtual Event Program Co-chairs: Pierluigi Graziani and Pedro Quaresma Keynote Speaker: Johan van Benthem Post-proceedings: https://link.springer.com/book/10.1007/978-3-030-67220-1 1st International Workshop (CIFMA 2019): Date: Tuesday 17 September 2021 Organisation: University of Oslo, Oslo, Norway Mode: Physical Event Program Co-chairs: Antonio Cerone and Alan Dix Keynote Speaker: Jim Tørresen Post-proceedings: https://link.springer.com/book/10.1007/978-3-030-57506-9

BACK TO TOP

Created: Sat 29 April 2023	Maintained by
Updated: Fri 4 April 2025	Antonio Cerone