These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << March 2023 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
4
|
|||
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
|
19
|
20
|
21
|
22
|
23
|
24
|
25
|
|
26
|
27
|
28
|
29
|
30
|
31
|
|
CfP special issue of IJAR on logics for the new AI spring
We invite submissions for a Special Issue on Logics for the new AI Spring, to be published with the International Journal of Approximate Reasoning.
The development of logics capable of representing human-like reasoning has always been one of the central objectives of logic-based Artificial Intelligence. In addition to providing very successful tools for knowledge representation and reasoning, logic-based AI is now facing the new and pressing challenge related to the integration of symbolic and sub-symbolic AI. In pursuing it, logic can once again shape significantly the future developments of AI. The primary goal of this special issue is to gather cutting-edge contributions which will jointly provide a comprehensive state-of-the-art in the subject.
To achieve this, the scope of the special issue focuses on, but is not limited to, the following topics: (1) Logical methods in symbolic AI; (2) Logical methods in machine learning; (3) Machine learning in a logical setting; (4) Reasoning and (interactive) decision making under uncertainty.
6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual
The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.
Conference Scope:
A. Pre-Avicennan Logic
B. Avicenna’s Logic
C. Post-Avicennan Logic
D. Comparative logic
6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual
The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.
Conference Scope:
A. Pre-Avicennan Logic
B. Avicenna’s Logic
C. Post-Avicennan Logic
D. Comparative logic
6 - 8 March 2023, Conference on the history of logic in the islamic world, Tehran (Iran) & Virtual
The Iranian Institute of Philosophy (IRIP) in collaboration with the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) in Iran is organizing an international conference on the history of logic in the Islamic world. The event will be held in a hybrid format where, depending on their choice, some speakers will talk virtually and others will attend in person at the Iranian Institute of Philosophy (IRIP) in Tehran.
Conference Scope:
A. Pre-Avicennan Logic
B. Avicenna’s Logic
C. Post-Avicennan Logic
D. Comparative logic
23 June 2023, LLRC conference: curriculum and course design for language teaching, Leiden, the Netherlands
In higher education, curricula and courses are often not cast in stone. They need adaptations regularly, for instance because another course in the curriculum changes. In secondary education, changes are less common. However, in the Netherlands, a curriculum reform is planned to be implemented in the next years, also concerning foreign languages. A question that arises in this context is how reforms are best effectuated, and how courses in existing curricula can be changed?
On June 23rd, 2023, LLRC will organize a one-day conference on precisely this topic. We are very happy to announce that Dr. Marjon Tammenga-Helmantel (SLO) has agreed to give the keynote lecture. She is a specialist in foreign language teaching and currently involved in facilitating the process of curriculum reform in secondary education. Her keynote will start the day with a brief overview about curriculum development at national, school and classroom levels. Concrete tools to facilitate curriculum changes or adaptations in foreign language education will be discussed.
We invite foreign language teachers and researchers to send in an abstract for the conference. The following topics would fit the theme:
- Research on language teaching course design
- Research on curriculum design including foreign language teaching
- Research on changes in language teaching
- Good practice in language teaching course design
- Good practice in curriculum design including foreign language teaching
- Good practice in changes in language teaching
We welcome abstracts for a variety of presentation types: research presentations, good practice presentations, or workshops.
28 - 30 June 2023, Nineteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford, U.K.
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Computer Science, Artificial Intelligence, Game Theory, Decision Theory, Philosophy, Logic, Linguistics, and Cognitive Science, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Previous conferences have been held bi-annually around the world. The information of all previous TARK conferences can be accessed at http://www.tark.org
Topics of interest:
These include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, computational social choice, algorithmic game theory, and foundations of multi-agent systems.
Submissions are invited to TARK 2023. Extended abstracts can be submitted at: https://easychair.org/conferences/?conf=tark2023. Deadline for abstract registrations: March 15, 2023, anywhere on earth. Deadline for submissions: March 22, 2023, anywhere on earth.
Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. Extended abstracts should be no longer than 10 pages. Optional technical details such as proofs may be included in an appendix. To format your paper, please use the EPTCS LaTeX style from: http://style.eptcs.org/. TARK reviewing is not double-anonymised, so author names can be included in the submission.
18 - 22 September 2023, Fourteenth International Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023), Telavi, Georgia
The Fourteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 18-22 September 2023 in Telavi, located in the Kakheti region, Georgia, north-east of Tbilisi. The Symposium is organised by the TSU Razmadze Mathematical Institute, the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences, the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam.
The programme will include the following tutorials and a series of invited lecturers:
Tutorial speakers:
- Language: Peter Sutton (UPF, Barcelona)
- Logic & Computation: Frank Wolter (University of Liverpool)
Invited speakers:
- Language: Heather Burnett (CNRS-LLF, Paris), Stephanie Solt (ZAS, Berlin)
- Logic & Computation: Balder ten Cate (University of Amsterdam), one more speaker to be confirmed
There will be two workshops embedded in the conference programme:
- "The Semantics of Hidden Meanings"
- "Learning and Logic"
The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.
Authors can submit an abstract for presentation at the symposium of up to 3 pages excluding references, and max 4 pages including references. Abstracts should report on original, unpublished work. Submissions should be done via the EasyChair conference system. All accepted abstracts will be compiled into an informal proceedings volume which will be made available electronically in advance of the symposium.
After the symposium, authors of accepted abstracts will be invited to submit a full-length paper to the post-proceedings of the symposium, which will be published in the LNCS series of Springer. The full-length submissions will undergo a new single-blind peer review process.
18 - 24 September 2023, 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023), Oslo, Norway
The 7th International Joint Conference on Rules and Reasoning (RuleML+RR 2023) is the leading international joint conference in the field of rule-based reasoning. One of the main goals of RuleML+RR is to build bridges between academia and industry in the area of semantic reasoning.
The RuleML+RR 2023 conference is part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School. It features the RuleChallenge and a Doctoral Consortium as associated events.
We are looking for high-quality papers related to theoretical advances, novel technologies, and artificial intelligence applications that involve rule-based representation and reasoning.
We accept the following submission formats for papers:
* Long papers (up to 15 pages in LNCS style including references)
* Short papers (up to 8 pages in LNCS style including references)
Long papers should present original and significant research and/or development results. Short papers should concisely describe general results or specific applications, systems, or position statements. All submissions must be prepared in Springer's LNCS style.
Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference/workshop with formal proceedings. Double submission to a workshop with informal proceedings is allowed. Papers put on arXiv are also allowed as long as they are not refereed (i.e., formally reviewed by peers). Papers can be submitted using EasyChair.
18 - 22 June 2023, Logica 2023, Tepla Monastery, Czech Republic
The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2023', the 36th in the series of annual international symposia devoted to logic, to be held in Tepla Monastery, Czech Republic, on Sunday 18 June -- Thursday 22 June 2023. Invited speakers: David Corfield (University of Kent), Wesley Holliday (UC Berkeley), Gillian Russell (Australian Catholic University), Sara Uckelman (Durham University)
If you are interested in presenting a paper at the symposium, please submit a two-page blinded abstract via EasyChair by 27 March 2023. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for philosophically and mathematically oriented logicians.
Simultaneous submission to other conferences or journals is allowed,
and we will also consider submissions based on recently published
papers. However, such submissions will not be considered for the
post-proceedings volume.
27 - 28 March 2023, 1st Amsterdam/Saint-Etienne Workshop on Social Choice
We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.
Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.
27 - 28 March 2023, 1st Amsterdam/Saint-Etienne Workshop on Social Choice
We invite everyone working in the area of social choice to join us on 27-28 March 2023 in Amsterdam for the 1st Amsterdam/Saint-Etienne Workshop on Social Choice.
Local colleagues and students are very welcome to attend but are asked to register by the deadline indicated.