Professor in the Institute of Informatics, Warsaw University, Poland. Head of the Multi-Agent Systems Group of Warsaw University. Research areas: multi-agent systems, computational linguistics, non-monotonic logics, specification of programs, knowledge-based systems, logical models for intelligent systems.
Assistant Professor in the Institute of Philosophy, Warsaw University, Poland. Research areas: philosophy of language, semantics, pragmatics, early analytic philosophy.
The L3 group was established in 2008 by four logicians, Paweł Garbacz, Marek Lechniak, Piotr Kulicki and Robert Trypuz, from the Faculty of Philosophy at the John Paul Catholic University of Lublin. The group focuses on the use of formal and philosophical methods in Artificial Intelligence and Computer Science. In particular, their research concerns the development and application of the so-called engineering ontologies.
Professor and Director of the Rutgers Center for Cognitive Science, the State University of New Jersey, US. Research areas: philosophical logic, philosophy of language, cognitive science, philosophy of mind.
Professor in the Department of Philosophy, University of Toronto, Canada. Research areas: philosophy of language, linguistics, philosophy of mind, metaphysics, epistemology, conceptual issues in cyberspace (the owner of the online newspaper “The Second Life Herald ”, which covers events in a Massively Multiplayer Online Roleplaying Game).
Professor in the Institute of Philosophy, Warsaw University, Poland. Head of Cognitivistic Group & Logic Group of Warsaw University. Research areas: mathematical logic, philosophy of mathematics, natural language theory, cognitive science.
The group of researchers working on VerICS i.e. a model-checking tool which is aimed for verifying timed and multi-agent systems modeled by networks of communicating automata. It has been developedat the Institute of Computer Science of Polish Academy of Sciences (ICS, PAS) under the guidance of Wojciech Penczek (associate professor of ICS, PAS) and Piotr Dembiński (full professor and the director of ICS, PAS). VerICS project assembles a group of very creative, young scientists from several Polish research centers (universities).
Assistant Professor in the Institute of Mathematics, Polish Academy of Science. Research areas: mathematical logic, especially - arithmetic, finite model theory.
In 2002, Magdalena presented her work at one of the seminars in the Institute of Computer Science of Polish Academy of Science and it was the first time she met Basia Dunin-Kęplicz and had a very interesting chat with her. In Oct 2005, Basia Dunin-Kęplicz kindly agreed that Katarzyna may attend her course regarding multi-agent systems at Warsaw University. It was a year of exciting lectures and fruitful discussions. In 2006, Basia reviewed the PhD thesis of Magdalena. Since that time we have continued meeting with each other - especially to the accompaniment of Simply Red and the casserole of cauliflower.
Magdalena joined VerICS Group in 2002 after the conference Application of Algebra in Zakopane and started to work on verification of multi-agent systems. In particular, she focused on model checking of distributed systems properties which can be expressed in languages of logics like CTL, CTLK, CTLpK, CTLpKD, ATL, ATEL. Many hours shared with members of the VerICS Group resulted in a lot of ideas and papers presented on many international conferences as well as in meaningful friendships which have lasted up to this day. In Sept 2006, Katarzyna met people from VerICS Group in Germany at the conference Concurrency, Specification and Programming CS&P'2006. In Sept 2004, Katarzyna met Ernest Lepore and Peter Ludlow in Toruń at the conference Cognitive Systems as Representational Systems. Since then we have stayed in regular contact both on the professional and on the private level. We met in the United States couple of times – in July-Aug 2005 with Ernest Lepore when Katarzyna was a visiting scholar in the Center for Cognitive Science at Rutgers University, and with Peter Ludlow in 2004 at the conferences: The State of Play Conference (New York), and Workshop in Philosophy and Linguistics (University of Michigan, Ann Arbor). In Sept 2005, Katarzyna and Magdalena met Marcin Mostowski and Konrad Zdanowski in Ruciane Nida at the conference Trends in Logic III: International Conference in memoriam of Andrzej Mostowski, Helena Rasiowa, Cecylia Rauszer. Since then we have been attending seminars of Professor Mostowski and the meetings of Logic and Cognitivistic Groups. We were also given an opportunity to present there the results of our research a couple of times. |
Friends