This is a hybrid event, please contact the organizer for a link to the online meeting.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here: https://listserv.gu.se/sympa/subscribe/nordiclogic.

In this talk we will explore the basic ideas of category theory as an alternative framework for mathematical thought. We will use CT to help us reframe familiar ideas, and explore some new ones. If you've ever heard one of your peers look at some daunting new concept and say "Oh! This is just..." and say a word you swore you knew the meaning of, but apparently don't, this talk is for you. My goal is not to teach you category theory: there are professionals to do that. My goal is to help you understand what it is, and why it seems to capture the obsession of everyone who studies it.

Abstract:
Planning models are usually defined in lifted, i.e., first order formalisms, while most solvers need (variable-free) grounded representations. Though techniques for grounding prune unnecessary parts of the model, grounding might – nevertheless – be prohibitively expensive in terms of runtime. To overcome this issue, there has been renewed interest in solving planning problems based on the lifted representation in the last years.

While these approaches are based on (heuristic) search, we present an encoding of lifted classical planning in propositional logic and use SAT solvers to solve it. Evaluating this approach shows that it is competitive with the heuristic search-based approaches in satisficing planning and even outperforms them if we are looking for (length-)optimal solutions.

Abstract: Bilateral State-based Modal Logic (BSML) is a modal logic employing team/state-based semantics which can be used to model free choice inference and other natural language phenomena. We introduce a natural deduction system for BSML as well as for two extensions: BSML with the inquisitive disjunction and BSML with a novel emptiness operator. We also study the expressive power of these logics—we show that the two extensions are expressively complete.

On Tuesday the deans of the Faculties of Science and Humanities will visit the ILLC and a programme was sent around earlier this week. Because of this event we decided to not also organise a Current Affairs Meeting that week.

This is a hybrid talk, please contact the organizer if you are interested in joining the online meeting.

On the 14th of February the boards of the faculties of FNWI and FGw will visit the ILLC.

There are two prominent accounts of counterfactuals in the literature---variably strict conditional accounts first developed by Stalnaker and Lewis, and strict conditional accounts defended by von Fintel, Hájek, and others. Unfortunately, both accounts face serious challenges. In the first half of this paper, I argue that existing strict conditional accounts fail to accommodate our probabilistic judgments about counterfactuals. The same goes for several other semantic theories of counterfactuals.

Having presented these challenges, I introduce and defend my own positive account of counterfactuals. The account incorporates a key insight of variably strict accounts--namely, that the antecedent of a counterfactual often influences what worlds are relevant to its truth conditions at a context. But unlike variably strict accounts, my view preserves a strict conditional semantics according to which Antecedent Strengthening is valid, thereby capturing the data that have motivated other strict conditional theorists. By adopting the right account of the pragmatics of counterfactuals, we can endorse a strict conditional semantics and still straightforwardly capture the full range of our intuitive judgments, including probabilistic judgments about counterfactuals.

The Nordic Online Logic Seminar (NOL Seminar) is organised monthly over Zoom, with expository talks on topics of interest for the broader logic community. The seminar is open for professional or aspiring logicians and logic aficionados worldwide.

This is the announcement for the next talk. Those who wish to receive the Zoom ID and password for it, as well as further announcements, can subscribe here:https://listserv.gu.se/sympa/subscribe/nordiclogic.

This is a hybrid seminar, please contact the organizer if you would like to lister to the seminar online.

Everyone is talking about ChatGPT, and many predict that it and similar ‘large language models’ will have a major impact on education, learning, science and publishing. The ILLC – home to Amsterdam’s largest research group studying language models – invites lecturers, students and collaborators to an afternoon on ChatGPT & the university.

How does it work? What can it do, and what can it not do? What are some of the ehtical and legal dilemma’s when using this technology? We’ll have some short talks and demonstrations, and plenty of time to answer your questions.With: Prof Raquel Fernández (dialogue systems), Prof Robert van Rooij (semantics), Dr Jelle Zuidema (explainable AI), Dr Jelke Bloem (digital humanities), Dr. Sandro Pezelle (responsible AI), Ece Takmaz (vision-language models), Mario Guilianelli (language generation), and others.

Reasoning about causal relationships is an important theme throughout science. The Nobel Prize in Economics was awarded last year to Guido Imbens and Joshua Angrist, for their role in the development of methods to investigate how researchers understand and analyze causal relationships. This webinar, which the Academy organizes together with the Association for Logic (VvL), brings together various experts in the field of reasoning about causality from different disciplines.

Speakers: Guido Imbens, Sara Magliacane, Thomas Icard and Katrin Schulz. The evening will be chaired by Rineke Verbrugge, professor of logic and cognition at the University of Groningen, and Balder ten Cate, associate professor of logic and theoretical computer science at the University of Amsterdam. The language will be English.

This session of the DSCC is organised jointly with the ENCODE project. Speakers will include Richard Pettigrew (Bristol), Marcus Pivato (Cergy) and Peter Wakker (Rotterdam).

At this year’s Dies Natalis of the University of Amsterdam, Professor dr. Vikram Patel (Harvard University) and Prof. dr. Chris Manning (Stanford University) will be awarded Honorary Doctorates. During this symposium, a panel of expert speakers will join our honorees to discuss pertinent topics within the fields of mental health and the use of artificial intelligence on a global scale.

A small-scall satelite event of this year's Dies Natalis "Societal Challenges, Global Mental Health and Humane AI".

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 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.

The European Society for Analytic Philosophy organizes a major congress every three years. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. The 11th European Congress of Analytic Philosophy (ECAP11) will take place from 21-25 Aug 2023 in Vienna and is being organized jointly by the Central European University and the University of Vienna.  The current president of the ESAP is Prof. Katalin Farkas (CEU).

Under the auspices of the Association for Logic, Language, and Information (FoLLI), the European Summer School in Logic, Language, and Information (ESSLLI) runs every year. Except for 2021, where the school was virtual, it runs in a different European country each year. It takes place over two weeks in the summer, hosts approximately 50 different courses at both introductory and advanced levels, and attracts around 400 participants from all over the world.

The main focus of ESSLLI is the interface between linguistics, logic and computation, with special emphasis in human linguistic and cognitive ability. Courses, both introductory and advanced, cover a wide variety of topics within the combined areas of interest: Logic and Computation, Computation and Language, and Language and Logic. Workshops are also organized, providing opportunities for in-depth discussion of issues at the forefront of research, as well as a series of invited evening lectures.

Grammatical Inference is the research area at the intersection of Machine Learning and Formal Language Theory. Since 1993, the International Conference on Grammatical Inference (ICGI) is the meeting place for presenting, discovering, and discussing the latest research results on the foundations of learning languages, from theoretical and algorithmic perspectives to their applications (natural language or document processing, bioinformatics, model checking and software verification, program synthesis, robotic planning and control, intrusion detection...).

This 16th edition of ICGI will be held in-person in Rabat, the modern capital with deep-rooted history of Morocco located on the Atlantic Coast. To celebrate the 30th anniversary of the ICGI conference, the program will include a distinguished lecture by Dana Angluin. The program will also include two invited talks, on recent advances of Grammatical Inference for Natural Language Processing and Bioinformatics by Cyril Allauzen (Google NY) and Ahmed Elnaggar (TU München), a half-day tutorial at the beginning of the conference on formal languages and neural models for learning on sequences by Will Merrill, as well as oral presentations of accepted papers.

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.

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 23^rd, 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.

The 13th International Symposium on Algorithms and Complexity is planned to take place from 13 June to 16 June 2023 in Batumi, Georgia. It will follow the recent, very successful editions of CIAC 2021 in Larnaca, Cyprus, CIAC 2019 in Rome, Italy, CIAC 2017 in Athens, Greece, CIAC 2015 in Paris, France and CIAC 2013 in Barcelona, Spain.

Invited speakers (confirmed): Friedhelm Meyer auf der Heide (University of Paderborn, Germany), Giuseppe Persiano (University of Salerno, Italy), and Paul Spirakis (University of Liverpool, UK and CTI, Greece).

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of this symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.

ETAPS is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences:

• ESOP: European Symposium on Programming
• FASE: Fundamental Approaches to Software Engineering
• FoSSaCS: Foundations of Software Science and Computation Structures
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems

accompanied by satellite workshops.

ETAPS 2023 is the twenty-sixth event in the series. New in 2023 is:

•  The SPIN symposium will be co-located with ETAPS.
• TACAS will use a double-blind reviewing process.
• ESOP, FASE, and newly also FoSSaCS welcome voluntary submissions of artefacts for evaluation after paper acceptance; the outcome will not change the paper acceptance decision.
• Presentations of the test-of-time-award and the doctoral- dissertation-award winners will take place.
• A plenary session for TOOLympics will be organised.
• There will be a PhD student mentoring workshop organised by Caterina Urban and Wolfgang Ahrendt.

ETAPS'23 will also host another edition of TOOLympics, organised by Dirk Beyer, Fabrice Kordon, and Arnd Hartmanns.

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

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.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL'23 will be held on February 13 - 16, 2023, in Warsaw, Poland, with satellite workshops on February 17. It is planned as an on-site event, with support for remote presence for those participants who are unable to come for pandemic reasons. Keynote speakers: Claudia Faggian (Université de Paris, France), Nina Gierasimczuk (Danish Technical University, Denmark), Dale Miller (Inria Saclay, France), Michał Pilipczuk Pilipczuk (University of Warsaw, Poland) and Davide Sangiorgi (University of Bologna, Italy).

The British Postgraduate Model Theory Conference (BPGMTC) 2023 is a Model Theory conference organised entirely by PhD students running from 18 to 20 January 2023. The conference is open to PhD students and early career researchers, one of its main goals being to bring together young researchers interested in model theory from the UK and abroad. The BPGMTC has been a longstanding tradition in the UK, this year the University of Leeds is proud to be holding the thirteenth edition of BPGMTC!

We will also have approximately 12 contributed talks by PhD students and early career researchers. In addition, we have three invited talks and an invited mini-course given by established model theorists. Registration closes on the 1st of December, but we encourage people to register as soon as possible.

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2023 will be co-located with POPL 2023. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers.

After having been postponed due to the COVID pandemics,the “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information – SPLogiC”,promoted by the Centre for Logic, Epistemology and the History of Science (CLE) of the University of Campinas (Unicamp), Brazil, will be held at Unicamp from February 6th to 17th, 2023.

The School, funded by the Sao Paulo Research Foundation (FAPESP), celebrates the 90th anniversary of Newton da Costa and the 45 years of CLE, and aims at (1) Providing an overview of the state-of-art methodology and research on contemporary logic (featuring non-classical logics), rationality. and information, and (2) attracting qualified candidates to work at research institutions in the State of São Paulo. The program comprises 8 courses and 9 plenary talks delivered in English by experts in each topic, as well as oral presentations (LED Talks) and poster sessions by the students.

The event will select 100 fully-funded participants (50 grantees from all states of Brazil and 50 international grantees). Funding includes airfare, medical insurance, accommodation and meals throughout the two weeks. Undergraduate, graduate students and postdoctoral fellows (up to 5 years after completion of the Ph.D) from all countries are encouraged to apply. Deadline for applications: 30 october 2022.

Featuring renowned international keynote speakers, the conference will highlight the importance of the theme of responsible AI by approaching it from different perspectives (AI, data science, governance). Registration is open now and will remain open until 18 January.

UNESCO proclaimed 14 January to be World Logic Day, a global day of supporting the development of logic through teaching and research, as well as to public dissemination of the discipline.

The coordination of World Logic Day 2023 is -- for the third time -- in the hands of the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and its member organization, the DLMPST/IUHPST. We would like to encourage logicians all around the world to organize (possibly small) events in close proximity to 14 January 2023 to celebrate this day. Events will be listed on the CIPSH website.

The Covid pandemic still has an effect on international travel and the question whether in person meetings are appropriate; in addition, we have learned over the last years that online meetings are easier to finance, better for the environment, and considerably more inclusive. As a consequence, we should like to ask all organisers to weigh pros and cons of planning in person events, purely online events, or hybrid events before making an announcement. Note that online and hybrid events have the advantage of allowing easy access of people from around the world.

The Royal Holland Society of Sciences and Humanities (KHMV) announces that, with effect from 2023, the Dr Elizabeth Schram-Mulley (ESM) Foundation will annually award a prize of €10,000 to reward research of a particularly interdisciplinary nature that bridges the boundaries between the classical alpha/science/grammar science fields

The Accelerate programme stimulates the hiring of data scientists and data engineers within faculties through the provision of matching funding. This funding helps support the costs of hiring a new or existing staff member in these roles.

The NWO Domain Social Sciences and Humanities (SSH) has three different funding programmes in the Open Competition. There are small-scale grants, large-scale grants, and grants for ideas that hold great promise. The SSH-XS grants are available for projects with a maximum budget of 50,000 euro to enable proposals for curiosity-driven, fundamental research in the research fields covered by the NWO SSH. This Call for proposals has four rounds. This information concerns the third round.

Take-off, the funding instrument available to all scientific fields, encourages activity and entrepreneurship within the Dutch knowledge institutions. With this instrument, academic entrepreneurs – but also starters from universities of applied sciences (HBO) and starters who are making use of knowledge from institutions for Applied Research Organisations (TO2) – can bring their innovative research results to the market. Take-off is one of the instruments for knowledge utilisation which NWO implements together with ZonMw (The Netherlands Organisation for Health Research and Development).

Founders of a start-up company that have taken over or owned by Dutch
universities, recognized by NWO research institutes, recognized TO2 institutions and
Dutch universities of applied sciences, can take out a loan applications for a maximum of 250,000 euros. This can be done via Take-off phase 2, a program aimed at
stimulating and supporting activity and entrepreneurship from (applied) science.

Are you a scientist who wants to consolidate your independence by establishing a research team and continuing to develop a success career in Europe? The ERC Consolidator Grant could be for you. You can also apply if you have recently created an independent, excellent research team and want to strengthen it.

The S. Barry Cooper Prize is awarded to a researcher who has contributed to a broad understanding and foundational study of computability by outstanding results, by seminal and lasting theory building, by exceptional service to the research communities involved, or by a combination of these. This award is presented every two to three years, with the presentation taking place at the International Conference Computability in Europe (CiE). The Prize is named in honor of S. Barry Cooper, the founding President of the Association Computability, in recognition of his vision of the fundamental concept of computability that brought together several different research communities.

Nominations may be made by any member of the scientific community and any such member can be nominated. Nomination letters can have multiple signatories and should provide a motivation for awarding the prize to the nominee, precisely stating their outstanding results, their seminal and lasting theory building, and/or their exceptional service to the research communities involved.

The FGw Consortium Fund supports research events aimed at network/consortium building and activities benefitting the submission of a grant application for research consortia.

The Dov Gabbay Prize for Logic and Foundations is an international research prize launched on the occasion of Professor Dov Gabbay's 77th birthday. This initiative is meant to honour the extraordinary and multi-faceted scientific and editorial work of Dov Gabbay, known in particular for his creation of dozens of specialized Logic Handbooks.

The European Joint Conferences on Theory and Practice of Software Association has established a Doctoral Dissertation Award to promote and recognize outstanding dissertations in the research areas covered by the four main ETAPS conferences (ESOP, FASE, FoSSaCS, and TACAS). Doctoral dissertations are evaluated with respect to originality, relevance, and impact to the field, as well as the degree of reproducibility (where this applies). The award winner will receive a monetary prize and will be recognized at the ETAPS Banquet.

Eligible for the award is any PhD student whose doctoral dissertation is in the scope of the ETAPS conferences and who completed their doctoral degree at a European academic institution in the period from January 1st, 2022 to December 31st, 2022. Award candidates should be nominated by their supervisor.

The VCLA invites applications for the Helmut Veith Stipend. The Helmut Veith Stipend is awarded annually to exceptionally talented and motivated female students in the field of computer science who pursue (or plan to pursue) one of the master's programs in Computer Science at TU Wien taught in English and have (or have the interest to develop) a solid mathematical and technical background in at least one of the areas in which Austrian scientist Helmut Veith worked.

Do you enjoy working in an interdisciplinary research setting on intellectually challenging questions? The Institute for Logic, Language and Computation (ILLC) is looking for an ambitious PhD candidate for the research unit Theoretical Computer Science (https://www.illc.uva.nl/Research/Organisation/Research-Units/TCS).

In the context of the sector plan for the Humanities titled ‘Tradition in transition’, the faculty currently has a vacant Assistant Professor position as part of the research theme Humane AI. Within this research theme the focus is on data and platforms for social, cultural and economic innovation.

You will provide education in a dynamic context with ample opportunities for the development of innovative teaching methods. Your research will be part of the Institute for Logic, Language and Computation, one of the five research schools of the Amsterdam Institute for Humanities Research.

You will join the New Media & Digital Culture team in the Department of Media Studies. New Media & Digital Culture specialises in research strategies for developing critical media theory as well as digital research methods. Its emphasis is on internet studies.

Heb jij ervaring met het ondersteunen van het onderwijs op de universiteit? Ben jij een organisatorisch talent, een echte multitasker die tegelijkertijd het overzicht bewaart? Heb je een ondersteunende instelling en vind je het leuk om binnen de dynamiek van een interdisciplinair onderzoeksinstituut te werken? En trekt werken binnen een complexe organisatie je aan?

Het Institute for Logic, Language and Computation is op zoek naar een coördinator van haar Master en PhD Programma.

In deze veelzijdige functie coördineer je een van de meest gewaardeerde masteropleidingen van Nederland, en een van de weinige logicaopleidingen ter wereld. Voor beide programma’s heb je te maken met studenten, promovendi, docenten, begeleiders en ondersteunende staf en fungeer jij als vraagbaak voor deze medewerkers.

We are looking for a strong candidate in philosophy of logic and language with a proven track-record of expertise in formal semantics and a broad background in philosophy. A successful candidate is expected to be able to offer teaching in philosophy of language, philosophy of logic, and theoretical philosophy.

Artificial Intelligence (AI) has recently become very successful and has made a huge impact in our lives. However, this success has an important downside as well: the novel machine-learning methods on which this success depends behave (for us) like a black box. The reason behind the predictions and decisions made by AI-products are rarely well-understood, not even by experts. Worse, such predictions and decisions are well-known to be biased as well. All of this leads to unwelcome consequences, typically to the disadvantage of members of underrepresented social groups. For this reason and more, we are looking for a colleague who can reflect upon these recent developments in AI and teach on its philosophical foundations.

Research on human communication has mostly focused on text and speech. In face-to-face communication, however, gestures, facial expressions, eye gaze, and body postures also play an essential role. This is especially true in sign languages, which are entirely non-vocal in nature. But in spoken languages, too, gestures and facial expressions play an important role.

Are you interested in doing a PhD in Explainable AI (XAI) with applications on financial services? Do you want to make a substantial scientific contribution to field of algorithmic fairness while being part of the University of Amsterdam’s new AI4Fintech hub?

At the Socially Intelligent Artificial Systems (SIAS) group of the Informatics Institute (IvI), and the Cognition, Language and Computation (CLC) lab of the Institute of Logic, Language and Computation (ILLC),  we are interested in both advancing fundamental AI research and developing novel solutions for concrete problems from the Fintech Industry; targeting, in particular, explainability and fairness. As a part of this research, we are seeking a highly motivated PhD candidate, with a strong computational background and curiosity and passion for scientific research, to be part of these groups, and to help us push the boundary of explainability and fairness in algorithmic decision making, together with the Fintech industry.

We offer a temporary contract for 38 hours per week for the duration of 4 years (the initial contract will be for a period of 18 months and after satisfactory evaluation it will be extended for a total duration of 4 years). The preferred starting date is March 2023. Your work should lead to a dissertation (PhD thesis). We will draft an educational plan that includes attendance of courses and (international) meetings. We also expect you to assist in teaching undergraduates and master students.

Are you an enthusiastic and creative software developer who cares about user experience, and are you looking for an opportunity to interact directly with scientists trying to make their research accessible to the general public? Then you might be a great addition to our team!

Do you enjoy working in an interdisciplinary research setting on intellectually challenging and societally relevant questions? The Informatics Institute is looking for an ambitious PhD candidate. Your research is part of the NWO-funded research project ‘Quantum Impact on Societal Security’.

As the potential risks and consequences of cybersecurity breaches of existing cryptography by future quantum computers would be devastating, there is an urgent need to prepare for a transition to quantum-safe cryptography (QSC). Addressing the many complexities of this transition requires a multidisciplinary collaboration of scientists, financial and governmental institutions, and civil society groups. The ‘Quantum Impact on Societal Security’ (QISS) consortium will analyse the technical, ethical, legal and societal impact of this upcoming society-wide transition. QISS’s objective is to contribute to the creation of a Dutch ecosystem where quantum-safe cryptography can thrive, and mobilize this ecosystem to align technological applications with ethical, legal, and social values.

Are you working at the forefront of mathematical and computational logic and are you passionate about research and teaching in this field? Are you looking forward to take the next step in your career and are you excited about joining a renowned interdisciplinary research institute with a strong international orientation?

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam (UvA) is seeking to hire two new faculty members in this area. These appointments are envisaged at the assistant professor level, but, in the case of an exceptionally strong candidate, one of the appointments could be made at the associate professor level.

Are you a passionate and committed teacher and researcher in computational social science who also is well-versed in cutting-edge methods in AI? Would you like to be involved in innovative computational social science teaching and research, working with leading researchers in an interdisciplinary academic environment?

Are you looking for a challenging position in an interdisciplinary environment? The Institute for Logic, Language, and Computation currently has a vacant Postdoc researcher position as part of the HORIZON – SOLARIS project, led by main researcher Dr Federica Russo. ILLC is one of the five Research Schools within the Amsterdam Institute for Humanities Research.

Generative AI in the past decade has changed the field of artistic creativity, making us ask new questions that are relevant not only for scientific research but also for musicians and artists of all kinds. With this position, we are seeking to broaden our profile with respect to AI-assisted music generation and how AI-generated art can be positioned within the humanities and cognitive science more generally.

Wist je dat de meeste dove kinderen horende ouders hebben die nog nooit in aanraking zijn geweest met gebarentaal op het moment dat hun kind geboren wordt? Wil jij bijdragen aan het ontwerpen, ontwikkelen en testen van nieuwe technologieën om deze ouders te ondersteunen bij het leren van gebarentaal, zodat zij beter met hun kinderen kunnen communiceren?

The Danish Data Science Academy announces an open call for PhD positions for visionary and ambitious young data scientists who want to pursue their own research ideas in collaboration with a Danish research environment. The positions will be awarded to the most promising candidates according to their scientific qualifications, motivation and engagement, as well as the quality, originality, relevance and potential impact of the proposed project. It is a requirement that the applicant has a well-defined research project proposal as well as an agreement with a principal supervisor at a Danish university.

Informal inquiries about opportunities in the Algorithms and Complexity Section at the University of Copenhagen are welcome.

Full-time Assistant Professor with tenure track; the position is directed to Artificial Intelligence Ethics and is affiliated to the Institute of Logic and Computation, Research Unit Theory and Logic. The estimated starting date is October 2023.

The successful candidate will have an outstanding research record in the field of Ethics of Artificial Intelligence (AI), with a strong grounding in symbolic AI methods. The candidate should have experience in working with industry, relevant postdoctoral experience, and a compelling research vision. We are particularly interested in candidates working in areas that will complement our existing expertise and lead to fruitful collaborations with other members of the Faculty of Informatics and TU Wien in general.

We have an opening for a PhD position in computational social choice at IRIT, Toulouse (France) starting in September 2023. The topic is preference learning for e-democracy.

We have an opening for a PhD position in Model Checking and Automated Mechanism Design at IRIT, University of Toulouse (France) starting in September 2023. The duration is 3 years, with a salary of 2300 EUR gross which can be complemented by teaching hours.

Two-step selection procedure: first by the AI departement (April), then by the doctoral school (May). Deadline for applications (CV, cover letter, name and contact of two references): 15 March 2023.

The Department of Computer Science at the Vrije Universiteit Amsterdam offers an open position as assistant professor in Theoretical Computer Science, in the area of logic or semantics, broadly construed.

We seek 4 PhD students to strengthen the group on Formal Techniques for Knowledge and Data Management at Umeå University (Sweden), funded by the WASP program (Wallenberg AI, Autonomous Systems and Software Program). The students will join a growing group that currently consists of WASP faculty members Diego Calvanese, Magdalena Ortiz, Mantas Šimkus, as well as PostDoc researchers and other doctoral students. The main theme of our research is the applications and further development of logic-based methods and techniques for smart data management. The students will also join the WASP Graduate School, gaining access to a vast professional network involving other top institutions in Sweden. We seek students with strong interest in the following research areas:

* Knowledge Representation and Reasoning
* Description Logics
* Foundations of Databases
* Logic for Computer Science
* Computational Complexity of Reasoning
* Non-monotonic Reasoning
* Logic Programming
* Automated Reasoning
* Formal Methods

The positions are fully funded for 4 years.

The Department of Philosophy, Linguistics, and Theory of Science at the University of Gothenburg invites applications for several postdocs in Logic. The positions are available on the research project "Taming Jörmungandr: The Logical Foundations of Circularity" lead by Graham E. Leigh and funded by the Knut and Alice Wallenberg Foundation.

* Duration: 2-3 years each

* Starting date: September 2023 or by agreement

* Deadline: 28 February 2023

The department of Philosophy and Religious Studies at Utrecht University has 8 open permanent positions in philosophy. The application deadline for all positions is February 26.

The positions are:
1. Associate Professor of Ethics or Political Philosophy of Technology (1.0 FTE)
2. Assistant Professor of Ethics or Political Philosophy of Technology (1.0 FTE)
3. Assistant Professor of Moral, Political, or Social Philosophy (1.0 FTE)
4. Assistant Professor of Philosophy of AI (1.0 FTE)
5. Assistant Professor of Philosophy of Science (1.0 FTE)
6. Assistant Professor of Theories of Practical Reasoning (1.0 FTE)
7. Assistant Professor of History of Islamic and European Philosophy (1.0 FTE)
8. Assistant Professor of Modern European Philosophy (1.0 FTE)

The Department of Computer Science at LTH Lund University invites applications for up to two PhD positions in theoretical computer science with focus on computational complexity and algorithms. These are four-year full-time employed positions (including travel money) that come with an internationally very competitive salary. The PhD students will be working in the research group of Susanna de Rezende.

There is a growing research group in algorithms and complexity theory at Lund University. We expect to have six PhD students by the autumn, in addition to two faculty and some MSc students working in computational complexity. The PhD students can also look forward to interacting with the five additional faculty in complexity theory in Copenhagen, together with their students and postdocs, as well as with the algorithms group at the Basic Algorithms Research Copenhagen (BARC) centre.

The Linguistics department of University College London (UCL) is recruiting a lecturer (permanent academic post) in Computational Linguistics, with a deadline of 17th of February 2023! This is a very special opportunity in the heart of London, in one of the best UK universities. There will be potential for collaborations with the department of Computer Science and its AI Centre.

Fully funded 3-year PhD position in history of philosophy of science and mathematics at the University of Vienna as part of Georg Schiemer's ERC project "The Formal Turn – The Emergence of Formalism in Twentieth-Century Thought”.

A fully funded PhD fellowship (€32.520 per year — gross amount) in Philosophy at Padua University.

The Department of Computing Science at the School of Computing Science,
Business Administration, Economics, and Law (School II) seeks applications for a Professorship (m/f/x) in "Theory of Correct Systems" (salary scale W2) starting as soon as possible.

The Department of Philosophy at Stockholm University advertises a PhD position in Theoretical Philosophy, which includes epistemology, metaphysics, logic, philosophy of language, philosophy of mind, philosophy of science, as well as the history of philosophy. Applications in any area of theoretical philosophy are welcome, and all applications will be given equal consideration, but we particularly encourage applications in the areas of logic and philosophy of mind.

The way humans communicate has changed dramatically over the last decades. Our minds and societies have to keep up with the dynamics and consequences of globalization and technological innovations. Our communicative environment is thus under constant development, for instance seen in the type of communication platforms available (online and offline resources); the multimodal nature of communication (integrating textual, visual and/or oral information); and the speed at which information flows. These factors impact the way humans communicate and argue in our societies and affect existing societal power structures. With this professorship, the department of Dutch studies seeks to strengthen and innovate research lines and teaching programmes that address those developments within the domains of cognition, communication and argumentation.

This professorship will take an interdisciplinary approach grounded in communication and argumentation theory and cognitive science, with bridges to the Social Sciences and Media Studies. The domains of cognition, communication and argumentation and their interfaces will be studied using state of the art methods and techniques in which the use of corpora, the analysis of big data, and the development of (computational) models play a key role. This professorship will not only lead to innovative scientific research and research-based academic teaching, but will also contribute to societal applications in the context of discussions about argumentative language and communication, and how competing interactions with information play a significant role in everyday life.

Your research will be situated in the research school Amsterdam Center for Language and Communication (ACLC). Your research aims to find innovative ways of investigating communication and argumentation from a cognitive perspective, using up-to-date methods that enable the analysis of corpora and/or modelling theoretical assumptions.

The Center for Mind and Cognition is a platform at the Ruhr-University Bochum that aims to foster interdisciplinary research at the intersection of philosophy, psychology, psychiatry, computational modelling, neuroscience and other areas of cognitive research in engineering, law and educational research. We are pleased to announce an international call for fellowships from April 2023 to March 2024 aimed at outstanding researchers.

1. Short-term Senior Fellowship (2 weeks: 1500 Euro) on "Episodic Memory and Spatial Representation"
2. Senior Fellowship (1 month: 3000 Euro/month) or Postdoc Fellowship (1 month: 2000 Euro/month) on "Philosophy of Perception and/or (Formal) Epistemology"
3. Senior Fellowship (1 month: 3000 Euro/month) or Junior Fellowship (2 months: 2000 Euro/month) on "Predictive Processing"
4. Junior Fellowship (1-2 months: 2000 Euro/month) on "Episodic Memory and the Self"
5. Senior Fellowship (1 month: 3000 Euro/month) on "Philosophy of AI and Animal Cognition"
6. Senior Fellowship (1 month: 3000 Euro/month) on "Social Psychology"
7. Junior/Senior Fellowship (1-2 months: 2000 Euro/month) on "Philosophy of Memory and/or Language"
8. Senior Fellowship (1 month: 3000 Euro/month) or Junior Fellowship (2 months: 2000 Euro/month) on "Advanced analyses and computational modelling of electrophysiological data"

We provide a lively and productive research environment with a great variety of scientific activities including workshops, research colloquia, and international guest researchers. All fellows are invited to deliver a fellow lecture and will have the opportunity to meet members of the Center for Mind & Cognition.

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoc positions in combinatorial optimization. We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge.

The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

These postdoc positions are full-time research positions for an expected duration of two years. Within the overall framework sketched above, the postdocs will be expected and encouraged to contribute to and influence the research agenda. Taking part in teaching graduate seminar courses is encouraged but not required. Travel funding is included, and the group also receives visitors on a regular basis. The starting date is negotiable, but the default would be in August-September 2023.

The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

The PhD student will be working in the Mathematical Insights into Algorithms for Optimization (MIAO) group headed by Jakob Nordström, which is active at both the University of Copenhagen and Lund University on either side of the Øresund Bridge. The MIAO research group has a unique profile in that we are doing cutting-edge research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms for real-world problems. This leads to classical questions in computational complexity theory—though often with new, fascinating twists—but also involves work on devising clever algorithms that can exploit the power of such paradigms in practice.

This is a four-year full-time employed position, but PhD positions usually (though not necessarily) include 20% teaching, in which case they are prolonged for one more year. The starting date is negotiable, but should ideally be during the first half of 2023, or at the latest in August/September 2023. All positions in the research group are fully funded, employed positions (including travel money) that come with an internationally competitive salary.

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

The PhD students will be part of a world-leading research environment. We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen, and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

These positions are available for period of 3-5 years, depending on the current education level of the applicant. All our PhD positions are fully funded, employed positions (including travel money) that come with an internationally competitive salary. The starting date is negotiable, but the default is August-September 2023.

The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science. We are looking for outstanding junior researchers with an innovative mind-set and intellectual curiosity to strengthen and complement the research profile of the Algorithms and Complexity Section at DIKU. These postdoc positions are full-time research positions for an intended duration of two years. Teaching of advanced courses is encouraged but not required. Travel funding is included, and we are also receiving visitors from all over the world on a regular basis. The starting date is negotiable, but the default would be in August-September 2023.

We are home to the Basic Algorithms Research Copenhagen (BARC) centre, joint with the IT University of Copenhagen (ITU), and have extensive collaborations with the Technical University of Denmark (DTU) and with Lund University on the Swedish side of the Oresund Bridge, as well as with our many visitors. Using the power of mathematics, we strive to create fundamental breakthroughs in algorithms and complexity theory. While our focus in on foundational research, we do have a track record of surprising algorithmic discoveries leading to major industrial applications.

The University of Groningen (NL) invites applications for one assistant professor position (tenure-track) in Theoretical Computer Science. The successful candidate will join us at the Fundamental Computing group of the Bernoulli Institute for Mathematics, Computer Science and AI. The group already has research expertise on concurrency theory, modal logic, coalgebra, and proof theory (see https://www.rug.nl/fse/fc). We seek to reinforce our profile in Theoretical Computer Science, broadly construed.

This is a tenure-track position with 60% teaching, 30% research, 10% organizational tasks. Our tenure-track system offers well-defined perspectives for career and personal development.

The Open University of the Netherlands is hiring a full Professor in AI. The deadline is 7.01.2023.