News Archives 2019
Please note that these newsitems have been archived, and may contain outdated information or links.
Headlines Past Events
Headlines Calls for Paper
Headlines Past Conferences
Headlines MoL and PhD defenses
Headlines Projects and Awards
Headlines Funding, Grants and Competitions
Headlines Open Positions at ILLC
Headlines Open Positions, General
No Past appointments
No Former Regular Events
20 June 2019, Workshop "Bilateral approaches to meaning"Location: ILLC, AmsterdamDeadline: Friday 15 February 2019
Traditional semantics gives the meaning of expressions in terms of conditions on one kind of primitive (e.g. truth, assertion, belief). Bilateral approaches hold that the meaning of expressions is characterized in terms of conditions on two, usually opposite primitives (e.g. truth and falsity, assertion and rejection, belief and disbelief). Recent years have witnessed the independent development of a variety of bilateral approaches to analyze phenomena such as negation, epistemic modality and counterfactuals, from both a proof-theoretic and a model-theoretic perspective. The workshop will bring together researchers from either perspective in order to provide a venue for the systematic exploration of commonalities, differences and potential interactions between such approaches.
Invited speakers: Maria Aloni (ILLC, Amsterdam), Teresa Marques (Logos, Barcelona), Greg Restall (Melbourne) and David Ripley (Monash).
(New) 21 May 2019, EXPRESS seminar, Una StojnicSpeaker: Una Stojnic (Columbia)Title: Contextualizing ModalityLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam
20 May 2019, Causal Inference Lab, Sander BeckersSpeaker: Sander BeckersTitle: A Principled Definition of Actual CausationLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
The Causal Inference Lab is pleased to announce that Sander Beckers (Utrecht) will visit the ILLC to present his work on definitions of actual causation.For more information, see http://projects.illc.uva.nl/cil/page_Events/event/37/Talk-by-Sander-Beckers-on-Actual-Causation-on-20-5- or contact Dean McHugh at d.m.mchugh at uva.nl.
17 May 2019, Cool Logic, Matteo FerrariSpeaker: Matteo FerrariTitle: Traplezing: Making sense of FictionLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
There is a reason why we take some every-day ontological practices for granted. It is for the same reason that people in Trafalgar Square can‘t see England. ‘‘Pegasus flies’’, ‘‘Sherlock Holmes is intelligent’’ and ‘‘Apollo is not a rock-star”: all these things are conventionally accepted. The question is: how can we make sense of them? Or, to complicate the picture, consider ‘‘Ajax liked daises’’ or ‘‘Reptilians exist’’. This only gets more puzzling; but why so?
The existence of fictional characters challenges our way of deciding whether a sentence is true or not. Different philosophical stories seem to run into different formal problems and vice versa. In short, during this talk we will discuss stories about stories and try to make sense of our ontological practices.
Join us for drinks and snacks afterwards!
17 May 2019, The Human Factor: Doing Philosophy in a Messy World by Asking Inconvenient Questions, Catarina Dutilh NovaesSpeaker: Catarina Dutilh NovaesLocation: Aula of VU, Main Building, De Boelelaan 1105, 1081 HV Amsterdam
Catarina Dutilh Novaes will hold her inaugural lecture on May 17th at 15.45; reception will follow. The location is the Aula of the VU, in the VU main building.For more information, contact Catarina Dutilh Novaes at c.dutilhnovaes at vu.nl.
16 May 2019, Logic and Interactive Rationality (LIRa), Thomas SchindlerSpeaker: Thomas SchindlerTitle: Unrestricted quantification and universal classesLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-thomas-schindler/.
15 May 2019, Launch of UvA's new Research Priority Area, Human(e) AILocation: UvA Roeterseiland Campus
Researchers and students from all faculties at the UvA are warmly invited to the event of AI at the University of Amsterdam. This
interdisciplinary one-day event will celebrate and showcase the diversity of AI research and education at the university. During the day, the Rector Magnificus and key UvA researchers will provide an overview of AI research at UvA and participate in panels discussing the three main foci of the new Research Priority Area of Human(e) AI: AI & Society, AI & Public Values and AI & Science.
14 May 2019, Joint Computational Linguistics Seminar / ABC Lecture, David PoeppelSpeaker: David Poeppel (New York University and Max-Planck-Institute)Title: Title: Brain rhythms and the encoding of structureLocation: Room M1.02, Roeterseiland Building M, Plantage Muidergracht 12, Amsterdam
11 May 2019, Joel Hamkins in Amsterdam 2019Location: Room C1.13, Belle van Zuylenzaal, Single 421–427, Amsterdam
On Saturday, 11 May 2019, Professor Joel David Hamkins, the Sir Peter Strawson Fellow at University College Oxford, is visiting Amsterdam to speak at the Wijsgerig Festival DRIFT on the topic of Het zijn en de dingen. We used this opportunity to arrange for a small informal workshop on mathematical logic and set theory during the day. Speakers are Robert Paßmann, Sam Adam-Day, and Joel Hamkins. Everyone is cordially invited.
9 May 2019, Logic and Interactive Rationality (LIRa), Fan YangSpeaker: Fan Yang (University of Helsinki)Title: Logics for first-order team propertiesLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-fan-yang-2/.
7 May 2019, EXPRESS seminar, Giorgio SbardoliniSpeaker: Giorgio SbardoliniTitle: Aboutness paradoxLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam
6 May 2019, Causal inference Lab reading groupTitle: Causal inference lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
The Causal Inference Lab's reading group will meet to discuss Lee's paper,
'Motivating the Causal Modeling Semantics of Counterfactuals, or, Why We Should Favor the Causal Modeling Semantics over the Possible-Worlds Semantics' (https://doi.org/10.1007/978-3-662-48357-2_5).
Anyone interested in discussing the above paper, and causality more generally, is very welcome to join.
3 May 2019, Computational Social Choice Seminar, Suzanne BloksSpeaker: Suzanne Bloks (ILLC)Title: Minimum-sized Condorcet Winning Sets in Preference ProfilesLocation: Room F1.15, Science Park 107, Amsterdam
2 May 2019, Logic and Interactive Rationality (LIRa), Kaibo XieSpeaker: Kaibo Xie (ILLC)Title: A non-strict-interventionist account for nested counterfactualsLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/03/lira-session-kaibo-xie/.
1 May 2019, Algebra|Coalgebra Seminar, Raheleh JalaliSpeaker: Raheleh Jalali (Institute of Mathematics of the Czech Academy of Sciences)Title: A universal proof theoretical approach to interpolationLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
26 April 2019, DIP Colloquium, Jim PryorSpeaker: Jim Pryor (NYU)Title: De Jure CodesignationLocation: ILLC Room F1.15, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35128/TBA.
25 April 2019, Logic and Interactive Rationality (LIRa), Kees van DeemterSpeaker: Kees van Deemter (University of Utrecht and University of Aberdeen)Title: The Elusive Benefits of VaguenessLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-kees-van-deemter/.
24 April 2019, Logic of Conceivability seminar, Igor DouvenSpeaker: Igor Douven (CNRS, Paris)Title: Abductive Conditionals as a Test Case for InferentialismLocation: Room F3.20, ILLC, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/conceivability/News/article/124/Talk-by-Igor-Douven-CNRS,-Paris-.
17 April 2019, Joint LIRa-Algebra|Coalgebra Session, Valentin GorankoSpeaker: Valentin GorankoTitle: Towards a Logic for Conditional Strategic ReasoningLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-valentin-goranko/.
16 April 2019, EXPRESS Seminar, Filippo FerrariSpeaker: Filippo FerrariTitle: Logical Anti-Exceptionalism and Logical NormativityLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam
15 April 2019, AUC Logic Lectures Series, Maria AloniSpeaker: Maria Aloni (ILLC/UvA)Title: Logic and Language: the case of Free ChoiceLocation: AUC Common Room, Science Park 113, Amsterdam
Formal semantics investigates natural langauge meanings using tools from formal logic. In the presentation i will briefly introduce the field and then discuss then case of free choice (FC) inferences, where conjunctive meanings are derived from disjunctive sentences contrary to the prescrtiptions of classical logic.
There have been two main approaches to the challenge that FC inferences present for logic-based accounts of linguistic meanings: a pragmatic approach where FC inferences are treated as conversational implicatures derived as the product of rational interactions between cooperative language users and a semantic approach where FC inferences are treated as sematic entailments and therefore require the development of non-classical modal logics. After comparing the two approaches I will defend a novel hybrid appraoch where FC inferences are derived by allowing pragmatic principles intrude in the recursive process of meaning composition.For more information, contact Dora Achourioti at t.achourioti at uva.nl.
15 April 2019, FNWI Faculteitscolloquium, Raquel FernándezSpeaker: Raquel FernándezTitle: Computational Models of ConversationLocation: Room C1.110, Science Park 904, Amsterdam, The Netherlands
15 April 2019, MoL thesis presentations: MathematicsSpeaker: MoL studentsTitle: MoL thesis presentations: MathematicsLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
11 April 2019, Logic and Interactive Rationality (LIRa), Ana Lucia Vargas SandovalSpeaker: Ana Lucia Vargas Sandoval (ILLC)Title: On the learning with positive and with complete dataLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-ana-lucia-vergas-sandoval/.
10 - 17 April 2019, Entrepeneurship in Informatics & MathLocation: Startup Village, Science Park 608 AmsterdamTarget audience: Professors, PD's, PhD's, Technicians, MoL students
Are you curious about entrepreneurship and do you want to know what it takes to start your own company? ACE Incubator presents a unique entrepreneurship program in collaboration with Innovation Exchange Amsterdam (IXA). The program offers you a unique opportunity to learn the basics of venture creation and pick your brains on potential business ideas in the fields of Informatics, Math & Logic.
The dates for the program are April 10 + 17 (2 days) with a week
in-between.For more information, see https://ace-incubator.nl/wp-content/uploads/2019/02/Informatics-Math-and-Logic.pdf or contact Peter van der Donk at p.vanderdonk at ixa.nl.
8 April 2019, MoL thesis presentations: Language, Computation and AISpeaker: MoL studentsTitle: MoL thesis presentations: Language, Computation and AILocation: Room F2.19, ILLC, Science Park 107, Amsterdam
8 April 2019, Causal Inference Lab reading groupTitle: Causal Inference Lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss the role of time in causal learning. In particular, we will discuss the following two papers:
Bramley et al. (2018), Time in Causal Structure Learning http://cicl.stanford.edu/papers/bramley2018time.pdf
Davis, Bramley & Rehder, Causal Structure Learning with Continuous Variables in Continuous Time
All who are interested in discussing causality are very welcome to attend!
5 April 2019, Computational Social Choice Seminar, Daan BloembergenSpeaker: Daan Bloembergen (CWI)Title: On Rational Delegations in Liquid DemocracyLocation: Room F1.15, Science Park 107, Amsterdam
5 April 2019, DIP Colloquium, Ivano CiardelliSpeaker: Ivano Ciardelli (Munich)Title: Restriction without quantification: embedding and probability for indicativeLocation: Room F2.19, ILLC ILLC, Science Park 107, AmsterdamFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35130/.
4 April 2019, Logic and Interactive Rationality (LIRa), Malvin GattingerSpeaker: Malvin Gattinger (University of Groningen)Title: Adding Boolean Definitions to Public Announcement LogicLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-malvin-gattinger/.
3 April 2019, ILLC Current Affairs MeetingLocation: ILLC Common Room, ILLC, Science Park 107, AmsterdamAs in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.For more information, contact illc at uva.nl.
3 April 2019, Algebra|Coalgebra Seminar, Sebastian EnqvistSpeaker: Sebastian Enqvist (Stockholm University)Title: Flat fixpoint logics with converse modalitiesLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://events.illc.uva.nl/alg-coalg/.
2 April 2019, Computational Linguistics Seminar, Sandro PezzelleSpeaker: Sandro Pezzelle (University of Amsterdam)Title: Grounding Vague Expressions in VisionLocation: ILLC Seminar Room F1.15, Science Park 107, The Netherlands
Expressions like "most" or "big" are known to be vague, that is, their interpretation can be borderline and not generally-agreed. Moreover, their use is context-dependent, in a way that an entity can be "big" in one context, but not in another. Interestingly, the meaning of these expressions is shown to be mostly quantitative when they are used to refer to entities (or sets of entities) in real-world contexts; for example, "few" is used by speakers only to refer to a given range of (low) proportions. By exploiting state-of-the-art, cognitively-inspired computational techniques, I tackle the issue of modelling the meaning of vague expressions from their use in grounded contexts, specifically Vision. In the first, longer part of the talk, I will provide an overview of my recent investigations on vague quantifiers ("few", "many", "all", etc.), both at the behavioural and computational level. In the second part, shorter, I will present ongoing research on gradable adjectives ("big", "small", etc.). Any feedback and comment is more than welcome!
1 April 2019, MoL thesis presentations: PhilosophySpeaker: MoL studentsTitle: MoL thesis presentations: PhilosophyLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
29 March 2019, LUNCH Seminar, Arianna Betti (cancelled)Speaker: Arianna BettiLocation: ILLC Common Room (F1.21), Science Park 107, Amsterdam
28 March 2019, Logic and Interactive Rationality (LIRa), Peter HawkeSpeaker: Peter Hawke (ILLC)Title: Logical Omniscience and Knowledge Per seLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-peter-hawke-2/.
27 March 2019, Algebra|Coalgebra Seminar, Graham LeighSpeaker: Graham Leigh (University of Gothenburg)Title: Cyclic proofs for circular reasoningLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://events.illc.uva.nl/alg-coalg/.
27 March 2019, Computational Social Choice Seminar, Dominik PetersSpeaker: Dominik Peters (Oxford)Title: Truthful Aggregation of Budget ProposalsLocation: Room F3.20, Science Park 107, Amsterdam
27 March 2019, EXPRESS seminar, Sebastian SpeitelSpeaker: Sebastian Speitel (San Diego)Title: Combined Criteria of LogicalityLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
25 March 2019, Causal Inference Lab reading groupTitle: Causal Inference Lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss temporal logics and neural networks for causal inference. In particular, we will discuss the following two (short!) papers:
Kleinberg, Antoniotti, Ramakrishnan & Mishra (2007). Modal logic, temporal models and neural circuits: what connects them. http://www.skleinberg.org/papers/TR07.pdfKleinberg & Mishra (2009). The temporal logic of causal structures. http://www.skleinberg.org/papers/uai09.pdf
All who are interested in discussing causality are very welcome to attend!
22 March 2019, Computational Social Choice Seminar, Z. Emel ÖztürkSpeaker: Z. Emel Öztürk (UvA)Title: An Efficient, Fair and Stable Solution to the River Sharing ProblemLocation: Room F1.15, Science Park 107, Amsterdam
21 March 2019, Logic and Interactive Rationality (LIRa), Fausto BarberoSpeaker: Fausto Barbero (University of Helsinki)Title: Interventionist Counterfactuals in Team Semantics.Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/03/lira-session-fausto-barbero/.
20 March 2019, Logic of Conceivability seminar, Margot StrohmingerSpeaker: Margot Strohminger (Oxford)Title: Offline Belief and Belief in ConditionalsLocation: Faculty room, Department of Philosophy, Oude Turfmarkt 141-143, AmsterdamFor more information, see http://projects.illc.uva.nl/conceivability/News/article/123/Talk-by-Margot-Strohminger-Oxford-.
18 March 2019, Computational Social Choice Seminar, Jérôme LangSpeaker: Jérôme Lang (Paris)Title: Single Transferable Vote: Incomplete Knowledge and Communication IssuesLocation: Room F0.20, Science Park 107, Amsterdam
14 March 2019, Spinoza Lectures, Catherine MalabouSpeaker: Catherine MalabouTitle: Morality and HorizontalityLocation: Aula, Oude Lutherse kerk, Singel 411, Amsterdam
What has become of mutual aid, a key concept in traditional anarchism, and profoundly analyzed by Kropotkin? Being currently left aside by both post-anarchist thinkers and post-structuralist philosophers because of its supposed naturalist and rationalist grounding, it seems to live a new life under the name of «effective altruism» (Singer, Parfitt). Effective altruism opens the prospect of a decentralized morals, in which the issues of justice and the good are not referred to overarching values, but determined horizontally, out of a form of calculation. Is effective altruism a political promise or a social scandal?
14 March 2019, Logic and Interactive Rationality (LIRa), Bahareh AfshariSpeaker: Bahareh AfshariTitle: An infinitary treatment of fixed point modal logicLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-bahareh-afshari/.
14 March 2019, DIP Colloquium, Geoffrey K. PullumSpeaker: Geoffrey K. Pullum (Edinburgh)(Abstract)Title: Formalization and Prediction in Theoretical SyntaxLocation: Room F2.19, ILLC ILLC, Science Park 107, Amsterdam
14 March 2019, 'Distinguished Lectures on Quantum Software', Gilles Brassard, Nicolas Gisin, Renato Renner, Stacey Jeffery, Christian SchaffnerSpeaker: Gilles Brassard (University of Montreal), Nicolas Gisin (University of Geneva), Renato Renner (ETH Zürich), Stacey Jeffery (CWI/QuSoft), Christian Schaffner (UvA/CWI/QuSoft)Location: Room D1.09, OMHP (Oudemanhuispoort), Oudemanhuispoort 4-6, Amsterdam
On March 14 we will bring together 5 outstanding speakers on the subject of Quantum Cryptography and Foundations.For more information, see here or at http://www.quantumsc.nl/Events/Upcoming-events/event/11/Distinguished-Lectures-on-Quantum-Software or contact Silvia Benschop at silvia.benschop at cwi.nl.
13 March 2019, Algebra|Coalgebra Seminar, Levin HornischerSpeaker: Levin Hornischer (ILLC)Title: Trajectory domains: analyzing the behavior of transition systemsLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
12 March 2019, Computational Linguistics Seminar, Victoria YanevaSpeaker: Victoria Yaneva (University of Wolverhampton)Title: Applying Behavioural Data to NLP Models for Solving Ambiguity and Non-compositionalityLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
p> When processing a text, both humans and machines must cope with ambiguity and non-compositionality. These phenomena represent a considerable challenge for NLP systems, while at the same time there is limited evidence from online measures on how humans solve them during natural reading. We approach these two problems as one and hypothesize that obtaining information on how humans process ambiguous and non-compositional phrases can improve the computational treatment of such instances. I will present experiments on using eye-tracking data to improve NLP models for two tasks: classifying the different roles of the pronoun It (nominal anaphoric, clause anaphoric and non-referential), as well as the identification of multi-word expressions. The experiments test whether gaze-based features improve the performance of state-of-the-art NLP models and the extent to which gaze features can be used to partially or entirely substitute the crafting of linguistic ones. The best-performing models are then analysed to better understand the cognitive processing of these linguistic phenomena and findings are discussed with respect to the E-Z model of reading and the processing stages during which disambiguation occurs.
11 March 2019, AUC Logic Lectures Series, Rens BodSpeaker: Rens Bod (ILLC/UvA)Title: Reasoning Patterns in the HumanitiesLocation: AUC Common Room, Science Park 113, Amsterdam
The central theme of my lecture is the way in which scholars throughout the ages have sought to identify reasoning patterns in disciplines like philology, art theory, musicology, linguistics, literary theory and historiography. What rules can we apply if we wish to determine whether a tale about the past is trustworthy? By what criteria are we to distinguish consonant from dissonant musical intervals? What rules jointly describe all possible grammatical sentences in a language? How can modern digital methods enhance pattern-seeking in the humanities? I contend that the hallowed opposition between the sciences (mathematical, experimental, dominated by universal laws) and the humanities (allegedly concerned with unique events and hermeneutic methods) is a mistake born of a myopic failure to appreciate the way of reasoning that lies at the heart of this inquiry.For more information, contact Dora Achourioti at t.achourioti at uva.nl.
11 March 2019, Data Science Career Fair (VU Amsterdam)Location: VU University Amsterdam, Boelelaan 1105Target audience: MoL students and PhD candidates
Amsterdam Data Science and the Big Data Alliance are pleased to announce that registration is now open for the second edition of the Data Science Career Fair in Amsterdam. The career fair will take place on Monday, 11 March from 15:00-19:30 at VU University Amsterdam.
We kindly invite all Master & PhD students keen to follow a Technical, Data Science or AI career with a tech background (e.g. AI, Data Science, Econometrics, Business analytics, Computer Science, Informatics, Information Systems Software Engineering etc.) to participate in this career fair.For more information, see https://amsterdamdatascience.nl/event/ads-bda-career-fair/ or contact Esther Smit at info at amsterdamdatascience.nl.
11 March 2019, Causal Inference Lab reading groupTitle: Causal Inference Lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
The Causal Inference Lab is hosting a reading group on judgements of actual causation as part of its reading group (Mondays 13:00-15:00 at the ILLC). We will read the following (very brief!) papers:
All are very welcome to discuss the above papers with us on Monday.
8 March 2019, Heyting Day 2019: Frege's Der GedankeLocation: Trippenhuis KNAW, Kloveniersburgwal 29, 1011 JV Amsterdam, The Netherlands
Heyting Day 2019 is devoted to Frege’s momentous philosophical paper Der Gedanke (1918-1919), which addresses such fundamental questions as 'What is truth? What is meaning? How can thoughts be shared?' The talks organised on Heyting Day provide historical background and illustrate how Frege’s work is still relevant to
the lively contemporary debate.For more information, see https://www.knaw.nl/en/news/calendar/frege2019s-der-gedanke.
7 March 2019, Logic and Interactive Rationality (LIRa), Shane Steinert-ThrelkeldSpeaker: Shane Steinert-Threlkeld (ILLC)Title: Explaining Semantic UniversalsLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-shane-steinert-threlkeld-2/.
6 March 2019, EXPRESS Seminar, Mariangela CocchiaroSpeaker: Mariangela CocchiaroTitle: The significance of Economics for the epistemology of peer disagreementLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam
5 March 2019, Computational Linguistics Seminar, Afra AlishahiSpeaker: Afra Alishahi (Tilburg)Title: Getting closer to reality: Grounding and interaction in models of human language acquisitionLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
5 March 2019, NWO presents the new Science PPP fund at IXALocation: Room B0.160, Science Park 904, Amsterdam
Do you want to know more about funding opportunities for research projects with industry? NWO is coming to visit us to present the new Science PPP Fund. The Science PPP Fund offers EUR 12 million for bottom-up research carried out within public-private partnerships between knowledge institutions and companies. Projects need to follow within scope and budget of the top sectors Chemistry (incl. BBE), Energy, High-Tech Systems & Materials, Agri & Food and ICT. The call opens at the beginning of February.
If you want to sign up for this presentation, send an email to p.wybenga at ixa.nlFor more information, see http://www.ixa.nl/en/news-agenda/agenda/events/nwo-presents-the-new-science-ppp-fund-at-ixa.html or contact p.wybenga at ixa.nl.
4 March 2019, A world full of patterns, Rens BodSpeaker: Rens BodLocation: ILLC common room, F1.21, Science Park 107, Amsterdam
4 March 2019, Computational Social Choice Seminar, Adrian HaretSpeaker: Adrian Haret (Vienna)Title: Preference Aggregation with Incomplete CP-netsLocation: Room F1.15, Science Park 107, Amsterdam
4 March 2019, Causal Inference LabTitle: CIL Reading group: Bayesian inferenceLocation: F2.02 (PostDoc meeting room)
The Causal Inference Lab is hosting a reading group on Bayesian inference as part of its biweekly reading group (Mondays 13:00-15:00 at the ILLC).
We will read two papers: Sanborn and Chater (2016), The Bayesian brain without probabilities and Bonawitz, Denison, Gopnik & Griffiths (2014), Win-Stay, Lose-Sample: A simple sequential algorithm for approximating Bayesian inference.
All are welcome to discuss the above papers with us on Monday.For more information, see here or at http://projects.illc.uva.nl/cil/page_Reading-Group/ or contact Dean McHugh at d.m.mchugh at uva.nl.
1 March 2019, Cool Logic, Angelica HillSpeaker: Angelica HillTitle: An introduction to Event Calculus as a model for the semantics of tense in natural languageLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
Event Calculus (EC) was originally created for modeling commands in programming within the field of Artificial Intelligence. However, in their book, "The Proper Treatment of Events" the ILLC's Michiel van Lambalgen and his co-author Fritz Hamm take a cognitive scientific approach and show that EC is also an extremely effective model for the semantics of tense in natural language (as opposed to say, possible world semantics).
In the presentation we'll go over the basics of EC, dive into the wonderful world of tense, aspect, and events, and see how EC intuitively captures our understanding of temporality expressed in language. I'll also discuss what I am currently working on, specifically, how I intend to use EC to tackle some current issues with a certain type of conditional. It's gonna be inTense!
1 March 2019, Computational Social Choice Seminar, Arianna NovaroSpeaker: Arianna Novaro (Toulouse)Title: Collective Decisions with Logic-based GoalsLocation: ILLC Room F1.15, Science Park 107, Amsterdam
28 February 2019, Logic and Interactive Rationality (LIRa), Katrin SchulzSpeaker: Katrin SchulzTitle: Conditionals, Causality and Conditional ProbabilityLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-katrin-schulz/.
28 February 2019, Computational Social Choice Seminar, Marija SlavkovikSpeaker: Marija Slavkovik (Bergen)Title: Aggregation of Likelihood JudgmentsLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam
27 February 2019, Algebra|Coalgebra Seminar, Clemens KupkeSpeaker: Clemens Kupke (University of Strathclyde)Title: Coalgebra Learning via DualityLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
22 February 2019, DIP Colloquium, Jacopo RomoliSpeaker: Jacopo Romoli (Ulster)Title: Homogeneity or implicature: an experimental approachLocation: ILLC Seminar Room F1.15, Science Park 107, Amsterdam, The NetherlandsFor more information, see http://projects.illc.uva.nl/LoLa/DIP-Colloquium/event/35127/.
21 February 2019, Spinoza Lectures, Catherine MalabouSpeaker: Catherine MalabouTitle: Beyond the "archic" PrincipleLocation: Aula, Oude Lutherse kerk, Singel 411, Amsterdam
In contemporary Western philosophy, destruction or deconstruction of metaphysics has been presented by prominent thinkers like Levinas, Derrida or Schürmann as the liberation of an an-archic way of thinking. The possibility of questioning and acting beyond the «arkhè», beyond the principle (commandment and beginning at the same time), has opened new perspectives in ontology and ethics. Levinas, for example, characterizes the relation to the Other in terms of «an-archic responsibility». Interestingly, such an ontological and ethical anarchy has always been strictly distinguished from political anarchism. Can we envisage a confrontation between the two traditions? Is "post anarchism" a satisfactory way of setting it up?
21 February 2019, Logic and Interactive Rationality (LIRa), Leendert van MaanenSpeaker: Leendert van MaanenTitle: Evidence accumulation modeling to understand simple and complex behavior.Location: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-leendert-van-maanen/.
20 February 2019, LUNCH Seminar, Martha LewisSpeaker: Martha LewisTitle: Compositionality in vector space models of meaningLocation: ILLC Common Room (F1.21), Science Park 107, Amsterdam
We interact with computers every day, and often using something like human language. There is therefore a huge amount of research going into how to represent human language computationally. Modelling words as vectors has been one of the most successful approaches over recent years. However, it is not immediately clear how to combine word vectors together to make phrases and sentences. On the other hand, formal semantics gives a clear
account of how to compose words, but it is not so obvious how to represent their meanings. I will give an overview of the model I work with that shows how to combine word vectors using formal semantics. I will also describe its limitations and will appreciate ideas and questions.
18 February 2019, Causal Inference LabTitle: Causal Inference Lab reading groupLocation: ILLC PostDoc Meeting Room F2.02, Science Park 107, Amsterdam
The ILLC has a new group, called the Causal Inference Lab, dedicated to investigating causality. The group hosts a reading group every second Monday, 13:00-15:00, which everyone very welcome to attend.
For our next session, Monday 18 February 13:00-15:00, we will read Rachael Briggs' paper, 'Interventionist Counterfactuals' (https://doi.org/10.1007/s11098-012-9908-5). Briggs applies causal models to represent the truth-conditionals of counterfactuals such as "If you had taken the train or the metro, you would have arrived on time."
If you are interested in discussing causal inference with us, please do come along!For more information, see here or at http://projects.illc.uva.nl/cil/page_Reading-Group/ or contact Dean McHugh at D.M.McHugh at uva.nl.
15 February 2019, Cool Logic, Leo LobskiSpeaker: Leo LobskiTitle: An Introduction to Graphical Linear Algebra (or how to do rigorous mathematics with wires and boxes)Location: ILLC seminar room F1.15, Science Park 107, Amsterdam
We introduce the graphical language of string diagrams, which allow us to reason about mathematical structures by drawing pictures. Specifically, we use string diagrams to define monoids and comonoids, and demonstrate how the matrices of natural numbers arise from interactions between a monoid and a comonoid. By studying a certain class of categories known as PROPs, we will see that the diagrammatic approach is in fact in one-to-one correspondence with the algebraic one. We proceed to outline how this generalises to matrices with rational entries, thus recasting all of the (rational, finite-dimensional) linear algebra in terms of string diagrams.
Join us for snacks and drinks in the common room after the talk!
14 February 2019, Logic and Interactive Rationality (LIRa), Aidan LyonSpeaker: Aidan Lyon (ILLC)Title: Psychedelic Experience and the Mathematics of HallucinationLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/02/lira-session-aidan-lyon/.
12 February 2019, Computational Linguistics Seminar, Angelilki LazaridouSpeaker: Angelilki Lazaridou (Google Deep Mind)Title: Emergence of (linguistic) communication through multi-agent interactionsLocation: Room F3.20, KdV, Science Park 107, Amsterdam
8 February 2019, Computational Social Choice Seminar, Femke BekiusSpeaker: Femke Bekius (Delft)Title: Game Concepts to Understand Collective Decision-Making on Complex SystemsLocation: ILLC Room F1.15, Science Park 107, Amsterdam
1 February 2019, Cool Logic, Jack HardingSpeaker: Jack HardingTitle: Diagnostic Classifiers for Language ModelsLocation: ILLC seminar room F1.15, Science Park 107, Amsterdam
How do neural language models keep track of number agreement between subject and verb? We show that `diagnostic classifiers', trained to predict number from the internal states of a language model, provide a detailed understanding of how, when, and where this information is represented. Moreover, they give us insight into when and where number information is corrupted in cases where the language model ends up making agreement errors. To demonstrate the causal role played by the representations we find, we then use agreement information to influence the course of the LSTM during the processing of difficult sentences. Results from such an intervention reveal a large increase in the language model's accuracy. Together, these results show that diagnostic classifiers give us an unrivalled detailed look into the representation of linguistic information in neural models, and demonstrate that this knowledge can be used to improve their performance.As always, after the talk there will be beers and snack in the common room.
1 February 2019, Lecture, Giancarlo GuizzadiSpeaker: Giancarlo Guizzadi (Free University of Bolzano-Bozen)Title: Conceptual Models as Ontological ContractsLocation: Room F2.19, ILLC, Science Park 107, Amsterdam
31 January 2019, Logic and Interactive Rationality (LIRa), Gabrielle GramelsbergerSpeaker: Gabrielle GramelsbergerTitle: The challenge of non-linearity and the need for computer-based modelling and simulation in scienceLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/01/lira-session-gabrielle-gramelsberger/.
30 January 2019, Algebra|Coalgebra Seminar, David GabelaiaSpeaker: David Gabelaia (Tbilisi State University, A. Razmadze Mathematical Institute)Title: Modal logics of polygons and beyondLocation: Room F1.15, ILLC, Science Park 107, Amsterdam
28 January 2019, Logic and Interactive Rationality (LIRa), Dag WesterstahlSpeaker: Dag WesterstahlTitle: Logicality revisited: constants vs. consequenceLocation: ILLC Seminar Room F1.15, Science Park 107, AmsterdamFor more information, see https://projects.illc.uva.nl/lgc/seminar/2019/01/lira-session-dag-westerstahl/.
28 January 2019, Computational Linguistics Seminar, Reshmi Gopalakrishna PillaiSpeaker: Reshmi Gopalakrishna Pillai (University of Wolverhampton)Title: Identifying indicators and reasons for psychological stress in social media content
25 January 2019, Open Access: turning promises into realityLocation: Turing room, Science Park 123, 1098 XG Amsterdam
CWI organizes a meeting concerning Open Access aimed for a broad audience. It will be devoted to a discussion of Plan S, an initiative for Open Access publishing, launched in September 2018, and supported by an international consortium of research funders, including NWO, and to two radical initiatives, SciPost, and Open Research Central.For more information, see here or at https://www.cwi.nl/research/groups/networks-and-optimization/events/open-access-turning-promises-into-reality-1 or contact Krzysztof R. Apt at k.r.apt at cwi.nl.
25 January 2019, LUNCH Seminar, Catholijn JonkerSpeaker: Catholijn Jonker (TU Delft)Title: Shared mental models in the context of Explainable AILocation: ILLC Common Room (F1.21), Science Park 107, Amsterdam
Shared mental models in the context of Explainable AI
Explainable AI is receiving a lot of attention these days. This is fantastic and important given the increasing use and impact of artificial intelligence, in particular Machine Learning. I think I have been working on Explainable AI for many years now, and I have always approached this from a Knowledge Representation point of view in which Shared Mental Models (and Team Mental Models) have played a big role. I would like to discuss this with you and come to some joint insights as to their possible roles in Explainable Machine Learning.
24 January 2019, AI? That's logical!, Frank van HarmelenSpeaker: Frank van Harmelen (Vrije Universiteit Amsterdam)Location: De Balie, Amsterdam
The history of AI has been a continuous swing of the pendulum between the extremes of logical reasoning and statistical learning; or, as Judea Pearl has it: between Greek philosophers and Babylonian curve fitters. In recent years, the pendulum has swung strongly towards the statistical methods. We'll take a close look at the history of AI, and we'll identify the strong and weak points of both schools of thought. This will lead to a set of challenges to be taken up by logicians if they are interested in contributing to one of the most exciting intellectual endeavours of our time.
The talk is the public part of the conference SYSMICS2019, an international scientific meeting in the area of logic.For more information, see here or at http://events.illc.uva.nl/SYSMICS2019/Registration/Public-lecture/.
23 January 2019, Book Presentation by Rens Bod (in Dutch)Location: Uitgeverij Prometheus, Herengracht 48, te Amsterdam
Met veel genoegen nodigt Uitgeverij Prometheus u uit voor de presentatie van Een wereld vol patronen van Rens Bod. De presentatie vindt plaats op woensdag 23 januari om 17.00 uur ten huize van de uitgeverij, Herengracht 48, te Amsterdam. De eerste exemplaren van het boek worden in ontvangst genomen door Geert ten Dam, Voorzitter College van Bestuur van de Universiteit van Amsterdam, en Mirjam van Praag, Voorzitter College van Bestuur van de Vrije Universiteit Amsterdam.For more information, see https://us1.campaign-archive.com/?e=&u=65aec33e4af77041cf0d01de0&id=40080918a4 or contact Rens Bod at rens.bod at gmail.com.
22 January 2019, Utrecht Logic In Progress Seminar (TULIPS), Daniel CohnitzSpeaker: Daniel Cohnitz (Utrecht)Title: How to adopt a logicLocation: Van Ravensteijnzaal, Kromme Nieuwegracht 80, UtrechtFor more information, see https://tulips.sites.uu.nl/upcoming-talks/.
21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the NetherlandsLocation: Doelenzaal, University Library, Singel 425 Amsterdam, the NetherlandsDeadline: Friday 19 October 2018
Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.For more information, see http://events.illc.uva.nl/SYSMICS2019/.
18 January 2019, Dutch Social Choice ColloquiumLocation: Maasstricht
Speakers: Kristof Bosmans, Bettina Klaus, Flip Klijn, Jordi Massó, Ton Storcken.For more information, see http://events.illc.uva.nl/DSCC/meetings.php#2019-01-18.
17 January 2019, ILLC Meeting on ICT FacilitiesLocation: ILLC, room F1.15, Science Park 107, Amsterdam
We are planning a meeting to discuss ICT facilities available to people at ILLC. In particular, we would like to make an inventory of
what is available now and to whom. And we wish to discuss if this is
enough, or if more is needed. And if so, what exactly.For more information, contact Peter van Ormondt at P.vanOrmondt at uva.nl.
14 January 2019, ILLC New Year's Colloquium 2019Location: ILLC Common Room, Room F1.21, Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
7 - 11 January 2019, "Lean together", workshop on the Lean proof assistant, Amsterdam, The NetherlandsLocation: Amsterdam, The Netherlands
From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.
The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizersFor more information, see https://lean-forward.github.io/lean-together/2019/index.html.
Calls for Paper
30 March - 2 April 2020, 23rd International Conference on Database Theory (ICDT 2020), Copenhagen, DenmarkLocation: Copenhagen, DenmarkDeadline: Wednesday 27 March 2019
ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology.
As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for novel formal frameworks or directions for database theory and/or connections between principles of data management and other communities.
Every topic related to the principles of data management is relevant to ICDT. Particularly welcome are contributions that connect data management to theoretical computer science, and those that connect database theory and database practice. Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere.For more information, see https://databasetheory.org/icdt-pages.
31 October - 2 November 2019, 30th Novembertagung on the History and Philosophy of Mathematics, Strasbourg, FranceLocation: Strasbourg, FranceDeadline: Wednesday 15 May 2019
The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.
Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).
We are looking for contributions by PhD students and early career researchers on the theme of this years conference: Mathematical Cultures, Values and Norms. Contributions less strictly related to this theme are also welcome; however, establishing links with the theme will allow for more fruitful discussions, and as such is recommended. We are happy to host presentations pertaining to historical, historiographical, or philosophical discussions of this theme.
29 - 30 October 2019, 5th International Conference on the History and Philosophy of Computing (HaPoC 2019), Bergamo, ItalyLocation: Bergamo, ItalyDeadline: Tuesday 30 April 2019
Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.
HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.
For HaPoC 2019, we welcome contributions from scholars who intend to participate in the debate on the impact of computers on culture, science, and society from the perspective of their area of expertise, and who are open to engage in interdisciplinary discussions across multiple fields. Accepted papers will be presented in 30 minute slots including discussion.
18 - 21 October 2019, The Seventh International Conference on Logic, Rationality and Interaction (LORI-VII), South-West University, Chongqing, ChinaLocation: South-West University, Chongqing, ChinaDeadline: Monday 20 May 2019
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing
together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
We invite submission of contributed papers on any of the broad themes of the LORI series. Submitted papers should be at most 12 pages long, with one additional page for references, in PDF format following the Springer LNCS style. Please submit your title and abstract by May 13, 2019, and your full paper by May 20, 2019. Submission is via the EasyChair for LORI-VII. Accepted papers will be collected as a volume in the FoLLi series on Logic, Language and Information , and some will later be considered for publication in a special issue of an international journal.
2 - 4 October 2019, Trends in Logic 2019, Moscow, RussiaLocation: Moscow, RussiaDeadline: Wednesday 8 May 2019
The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.Invited Speakers:
- Lev Beklemishev (Moscow, Russia)
- Johan van Benthem (Amsterdam, The Netherlands)
- Per Martin-Löf (Stokholm, Sweden)
- Graham Priest (New York, USA)
We invite submissions presenting substantial recent advances in formal philosophical logic.For more information, see https://sites.google.com/view/trendsinlogic2019/.
23 - 25 September 2019, 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA), Graz, AustriaLocation: Graz, AustriaDeadline: Tuesday 30 April 2019
This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.
The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.
We welcome two types of submissions: research articles (for presenting original unpublished work, neither submitted to, nor accepted for, any other venue) and extended abstracts (for presenting work in progress, brief descriptions of doctoral theses, or general overviews of research projects). Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines.For more information, see http://www.loa.istc.cnr.it/WODHSA/.
23 - 26 September 2019, German conference on Artificial Intelligence (KI 2019), Kassel, GermanyLocation: Kassel, GermanyDeadline: Sunday 12 May 2019
KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).
KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.
We invite papers, which have to be in English and formatted according to the Springer LNCS style, in the following three categories:
- Full technical papers reporting on new research that makes a substantial technical contribution to the field
- Technical communications reporting on research in progress or other issues of interest to the AI community
- Abstracts of papers accepted at (most recent editions of) major AI conferences
Submission deadline; May 12th, 2019.
We also invite proposals for workshops and tutorials to be held at the first day (September 23) of the conference week. Topics include all subareas of artificial intelligence as well as their foundations and applications. Submission deadline: March 1, 2019.
Finally, the doctoral consortium provides an opportunity for PhD students to discuss their research interests and career objectives with established researchers in AI and network with other participants. Submission deadline: June 10th, 2019.
23 - 25 September 2019, Joint Ontology WOrkshops (JOWO 2019), Graz, AustriaLocation: Graz, AustriaDeadline: Wednesday 15 May 2019
The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.
The following workshops are being organized:
- 2nd International Workshop on Bad or Good Ontology (BOG)
- Cognition And OntologieS (CAOS IV)
- Contextual Representations of Events and Objects in Language (CREOL).
- Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
- 10th International Workshop on Formal Ontologies meet Industry (FOMI)
- Workshop on Foundational Ontology (FOUST).
- Ontologies and Data in Life Sciences 2019 (ODLS 2019)
- The Shape of Things (SHAPES 5.0).
- Social, Legal and Economic Entities (SoLEE)
- Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
- 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
- 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)
In addition, JOWO 2019 will host five tutorials:
- Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
- Introduction to Foundational Ontologies (FOUNT)
- Semantic similarity and machine learning with ontologies.
- SNOMED CT Tutorial
- Top Level Ontologies (ISO/IEC 21838)
Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. As in earlier years, selected contributions to JOWO workshops with a minimum of 5 pages will be published in a joint CEUR proceedings volume.
23 - 25 September 2019, Second Workshop on INteraction-based Knowledge Sharing (WINKS-2), Graz, AustriaLocation: Graz, AustriaDeadline: Wednesday 15 May 2019
This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.
Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.
3 types of submissions are sollicited:
- Full papers: mature work describing original research and its validation (10-12 pages including references)
- Short papers: research papers describing interesting new open issues and challenges, and opinions on the status of the field (5-6 pages including references)
- Demonstration notes: research papers describing the development of a system that is to be part of the system demonstration session of the workshop (5-6 pages including references).
Papers should be submitted non-anonymously in PDF format following IOS Press formatting guidelines. All submissions should be double-blind and will receive a minimum of two peer reviews.For more information, see https://www.iiia.csic.es/winks-2/.
23 - 25 September 2019, Workshop on Ontology of Social, Legal and Economic Entities (SoLEE 2019), Graz, AustriaLocation: Graz, AustriaDeadline: Wednesday 15 May 2019
Understanding the ontological nature of social, legal and economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics, social, and legal sciences - such as value, risk, capability, good, service, exchange, transaction, competition, social norm, group, institution - have only recently been approached from a specifically ontological perspective. It is therefore important to offer a venue to gather the recent contributions to this topic.
This workshop is part of the Joint Ontology Workshops (JOWO 2019), and relates mainly to two previous events (SoLE-BD and Ontology of Economics 2018). The goals of the workshop are:
- to collect approaches to deal with social, legal and economic entities in foundational and applied ontologies,
- discuss applications of these approaches to social, legal and economic entities in ontologies for biomedicine and business informatics, and
- serve as a meeting point for stakeholders from applied ontology and the respective domain disciplines.
The workshop encourages submissions on both theoretical and methodological issues in the use of ontologies for modelling social, legal and economic concepts and institutions, as well as submissions on concrete use of ontologies in application for these domains. Papers should be between 5 and 10 pages long be formatted according to the IOS Press formatting guidelines.For more information, see https://solee-2019.github.io/.
21 - 25 September 2019, 35th International Conference on Logic Programming (ICLP 2019), Las Cruces NM, U.S.A.Location: Las Cruces NM, U.S.A.Deadline: Saturday 27 April 2019
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.
Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming Track
Three kinds of regular papers will be accepted: Technical papers for technically sound, innovative ideas that can advance the state of logic programming, Application papers that impact interesting application domains, and System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Deadline: 27 April 2019.
Additionally, those interested in organizing a workshop at ICLP 2019 are invited to submit a workshop proposal. Deadline: 15 April 2019.For more information, see https://www.cs.nmsu.edu/ALP/iclp2019/.
16 - 20 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Batumi, GeorgiaLocation: Batumi, GeorgiaDeadline: Monday 1 April 2019
The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, Georgia.
The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.
The Programme Committee invites submissions for contributions on all aspects of logic, language, and computation. Work of an interdisciplinary nature is particularly welcome.
Areas of interest include, but are not limited to:
- Natural language syntax, semantics, and pragmatics
- Linguistic typology and semantic universals
- Language evolution and learnability
- Historical linguistics, history of logic
- Natural logic, inference and entailment in natural language
- Logic, games, and formal pragmatics
- Logics for artificial intelligence and computer science
- Constructive, modal and algebraic logic
- Categorical logic
- Algorithmic game theory
- Computational social choice
- Formal models of multiagent systems
- Information retrieval, query answer systems
- Distributional and probabilistic models of information, meaning and computation
- Models of computation.
16 - 20 September 2019, Workshop on Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM), Batumi, GeorgiaLocation: Batumi, GeorgiaDeadline: Monday 1 April 2019
The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.
It is commonly assumed in both semantics and syntax that there is a distinction between inner aspect (lexical or predicational aspect) and outer aspect (grammatical aspect) (e.g. Smith 1991/97; Cinque 1999; Travis 2010 for spoken languages; Bross 2018 for sign languages). Inner aspect pertains to the distinction between telic and atelic predicates at the level of the VP (the verb and its argument(s)), and the compositional derivation of telicity, going back to works by Verkuyl (1972) and Krifka (1989). Outer aspect, on the other hand, is concerned with, e.g., imperfective (IPF) and perfective (PF) verb forms that are associated with (im)perfective meanings in finite sentences (see, e.g., Klein 1994). At the same time both levels of aspect interact, with grammatical aspect commonly taken to operate on the level of inner aspect (see, e.g., de Swart 1998 for an early treatment of this interaction). The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction.
10 - 13 September 2019, Twenty-second International Conference on Text, Speech, & Dialogue (TSD 2019), Ljubljana, SloveniaLocation: Ljubljana, SloveniaDeadline: Sunday 31 March 2019
The history of the International Conference of Text, Speech and Dialogue (TSD) dates back to 1997 when the event was held for the first time, that time as an international workshop, in Mariánské Lázně. The essential idea behind the project was to establish a scientific meeting platform that would act as a bridge between the East and the West. Since then an uninterrupted row of the TSD conferences has been organised by Brno (even years) and Plzeň (odd years) crews.
TSD2019 will explore the topics in the field of speech and natural language processing, in particular:
corpora, texts, transcription, and translation;
speech analysis, recognition, and synthesis;
their intertwining within dialogue systems.
The organizing committee invites papers to be presented during the conference. Topics of the 22nd conference will include (but are not limited to): Speech Recognition, Corpora and Language Resources, Speech and Spoken Language Generation, Tagging, Classification and Parsing of Text and Speech, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modeling.
9 - 13 September 2019, 12th International Conference on Words (WORDS 2019), Loughborough, EnglandLocation: Loughborough, EnglandDeadline: Friday 12 April 2019
WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others.
Invited Speakers: Florin Manea (Kiel), Svetlana Puzynina (St. Petersburg), Antonio Restivo (Palermo), Gwenaël Richomme (Montpellier), Aleksi Saarela (Turku), and Kristina Vuskovic (Leeds).
Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint (updated before submission). Only original submission which have not been submitted for publication elsewhere will be considered.
4 - 6 September 2019, The 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), London, EnglandLocation: London, EnglandDeadline: Wednesday 1 May 2019
FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition.
FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use.
The program committee seeks high-quality submissions describing original work, written in English, not overlapping with published or simultaneously submitted work to a journal or conference with archival proceedings. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation.
3 - 5 September 2019, 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019), London, EnglandLocation: London, EnglandDeadline: Wednesday 1 May 2019
TABLEAUX is the main international conference at which research on all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of tableaux-based reasoning and related methods is presented. Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.
TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.
We invite submissions on any of the topics of interest to the conference. Submissions are invited in three categories:
(A) research papers reporting original theoretical research or applications, with length up to 15 pages;
(B) system descriptions, with length up to 9 pages;
(C) position papers and brief reports on work in progress, with length up to 9 pages.
We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the tableau community and should focus on the role of reasoning and on logical aspects of the solution.
2 - 6 September 2019, 12th Conference on Recent Advances in Natural Language Processing (RANLP 2019), Varna, BulgariaLocation: Varna, BulgariaDeadline: Tuesday 8 January 2019
RANLP (Recent Advances in Natural Language Processing) is one of the most competitive and influential NLP conferences. The event is held biennially and traditionally includes pre-conference tutorials, main conference with Student Research Workshop, and post-conference specialised workshops.
All RANLP conferences feature keynote talks by leading experts in NLP. The confirmed keynote speakers at RANLP 2019 include Kenneth Church (Baidu USA), Hinrich Schütze (Ludwig Maximilian University, Munich) and Kyunghyun Cho (New York University).
RANLP-2019 invites workshop proposals on any topic of interest to the Natural Language Processing (NLP) community, ranging from fundamental research issues to more applied industrial or commercial aspects. The format of each workshop will be determined by its organisers. Workshops can vary in length from a half day to full 1-2 days and can also feature demo sessions.For more information, see http://lml.bas.bg/ranlp2019/.
2 - 4 September 2019, Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019), Bordeaux, FranceLocation: Bordeaux, FranceDeadline: Wednesday 15 May 2019
The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization.
Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome.For more information, see https://gandalf2019.sciencesconf.org/.
1 - 4 September 2019, 4th International Workshop on AI aspects in Reasoning, Languages, and Computation (AIRLangComp’19), Leipzig, GermanyLocation: Leipzig, GermanyDeadline: Tuesday 14 May 2019
There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning.
We welcome submissions of papers on the workshop topics, without limiting to them, across approaches, methods, theories, and applications. The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop.
27 - 30 August 2019, The 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, The NetherlandsLocation: Amsterdam, The NetherlandsDeadline: Monday 15 April 2019
The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)
CONCUR 2019 solicits high quality papers reporting research results and/or experience related to semantics, logics, verification and analysis of concurrent systems. All papers must be original, unpublished, and not submitted for publication elsewhere.For more information, see https://event.cwi.nl/concur2019/.
25 - 30 August 2019, The 27th International Conference on Automated Deduction (CADE-27), Natal, BrazilLocation: Natal, BrazilDeadline: Friday 15 February 2019
The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.
High-quality submissions on the general topic of automated deduction, including foundations, applications, implementations, theoretical results, practical experiences and user studies are solicited. Submissions can be made in two categories: regular papers and system descriptions. Abstract submission deadline: 15 February 2019.
Additionally, CADE-27 sollicits proposals for
- workshops, to take place before the main conference
- tutorials, either half-day or full-day events
- system competitions, to foster the development of automated reasoning systems
Submission deadline: 15 November 2018.For more information, see http://www.cade-27.info.
24 - 26 August 2019, 14th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019), Natal, BrazilLocation: Natal, BrazilDeadline: Friday 19 April 2019
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.
LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).
Beyond full regular papers, we encourage submissions such as proof pearls, rough diamonds (preliminary results and work in progress), original surveys, or overviews of research projects, where the focus is more on elegance and dissemination than on novelty.
Topics of interest include, but are not limited to: Specification languages and meta-languages, Formal semantics of languages and logical systems, Logical frameworks, Semantic frameworks, Type theory, Proof theory, Automated deduction, Implementation of logical or semantic frameworks, Applications of logical or semantic frameworks, Computational and logical properties of semantic frameworks, Logical aspects of computational complexity, Lambda and combinatory calculi, Process calculi.
19 - 22 August 2019, 11th Principia International Symposium: The Quest for Knowledge, Florianopolis, BrazilLocation: Florianopolis, BrazilDeadline: Saturday 20 April 2019
Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.
We welcome contributions that address any aspect of knowledge and other epistemic concepts, as well as critical assessments of historical and contemporary stances on the matter. Contributed papers to the symposium may be written in English, French, Portuguese, or Spanish.
11 - 12 August 2019, 7th International Workshop on Strategic Reasoning (SR 2019), Macao, ChinaLocation: Macao, ChinaDeadline: Friday 19 April 2019
Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.
The SR international workshop series aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.
We invite submissions reporting on: (A) original contributions, (B) published work, and (C) challenging open problems. In all three categories, submissions will be evaluated by the usual high standards of research publications. In particular, they should contain enough detail to allow the program committee to identify the main contribution of the work, to explain its significance, its novelty, its relevance to the strategic-reasoning audience, and its practical or theoretical implications, and include comparisons with and references to relevant literature.
Strong preference will be given to contributions on topics of interest to a broad, interdisciplinary audience and all papers should be written so that they are accessible to such an audience.For more information, see http://sr2019.irisa.fr/.
11 - 16 August 2019, Logic Colloquium 2019 (LC 2019), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Tuesday 30 April 2019
The Logic Colloquium 2019 is the annual European summer meeting of the Association of Symbolic Logic (ASL) , an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.
The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.
To submit an abstract for a contributed talk please send it by e-mail as a PDF file accompanied by a LaTeX file using the ASL abstract template.Submitted abstracts should be limited to 300 words including the title and references. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic if they satisfy the Rules for Abstracts.For more information, see https://www.lc2019.cz/.
10 - 11 August 2019, 24th Conference on Formal Grammar (FG 2019), Riga, LatviaLocation: Riga, LatviaDeadline: Friday 15 March 2019
FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
We invite *electronic* submissions of original, 16-page papers (including references and possible technical appendices). Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.For more information, see http://fg.phil.hhu.de/2019/.
10 - 12 August 2019, 5th Workshop on Bridging the Gap between Human and Automated Reasoning, Macau, ChinaLocation: Macau, ChinaDeadline: Friday 12 April 2019
This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.
Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.
Topics of interest include, but are not limited to the following:
- limits and differences between automated and human reasoning - psychology of deduction and common sense reasoning - logics modeling human reasoning - non-monotonic, defeasible, and classical reasoning - benchmark problems relevant in both fields - approaches to tackle benchmark problems like the Winograd Schema Challenge or the COPA challenge - predicting an individual reasoners response (see https://www.cognitive-computation.uni-freiburg.de/modelingchallenge)
This year's Bridging workshop will accept papers and submissions to the PRECORE challenge:
Papers, including the description of work in progress, are welcome and should be formatted according to the Springer LNCS guidelines. The length should not exceed 15 pages. All papers must be submitted in PDF. Formatting instructions and the LNCS style files can be obtained at http://www.springer.de/comp/lncs/authors.htm. The EasyChair submission site is available at: https://easychair.org/conferences/?conf=bridging2019
The PRECORE challenge is based on CCOBRA (https: //www.cognitive-computation.uni-freiburg.de/modelingchallenge), a Python framework for the behavioral analysis of reasoning models. The framework does not pose restrictions with respect to formalisms as long as individual predictions to syllogistic problems can be generated. Final model submissions are due on May 15th, 11:59 UTC-12 as a zip-archive. Please describe your model on a conceptual level on two pages in the workshop template. Details on the submission of the zip-archive can be found at: https://www.cognitive-computation.uni-freiburg.de/modelingchallenge
5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, LatviaLocation: Riga, LatviaDeadline: Saturday 30 June 2018
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
Proposals for courses and workshops at ESSLLI 2019 are invited in all areas of Logic, Linguistics and Computing Sciences. Cross-disciplinary and innovative topics are particularly encouraged.
Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) in a single week. Proposals for two-week courses should be structured and submitted as two independent one-week courses. Each proposal should fall under one of the following categories: 'Foundational Courses', 'Introductory Courses', 'Advanced Courses' or 'Workshops'.
5 - 10 August 2019, 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST XVI), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Saturday 15 December 2018
The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) by the Institute of Philosophy of the Czech Academy of Sciences.
The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.
CLMPST 2019 calls for contributed papers and contributed symposia in 20 thematic sections within the general areas of 'Logic', 'General Philosophy of Science' and 'Philosophical Issues of Particular Disciplines'. For contributed papers, please submit, in EasyChair, an abstract of 500 words (including the references), prepared for anonymous review. Symposia are groups of talks on a common theme. Each symposium consists of four to twelve papers - please make a submission for each paper, as well as a submission for the symposium as a whole.For more information, see http://clmpst2019.flu.cas.cz/.
5 - 9 August 2019, ESSLLI 2019 Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Sciences, Riga, LatviaLocation: Riga, LatviaDeadline: Friday 17 May 2019
Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.
Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.
We invite original contributions (up to 12 pages) of previously unpublished work. Submission of substantial, albeit partial results of work in progress is welcomed.
We also invite extended abstracts (3 pages) of previously published work that is recent and relevant to the workshop. These should include a link to a separately published paper or preprint.For more information, see https://sites.google.com/view/semspace2019/.
5 - 16 August 2019, ESSLLI 2019 Student Session, Riga, LatviaLocation: Riga, LatviaDeadline: Friday 5 April 2019
The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections.
The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).
We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and selected papers will appear in the Student Session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.For more information, see http://esslli2019.folli.info/programme/student-session/ or contact mmanighe at lix.polytechnique.fr, or m.t.beeksma at let.ru.nl.
1 - 2 August 2019, 1st ACL Workshop on Gender Bias for Natural Language Processing, Florence, ItalyLocation: Florence, ItalyDeadline: Friday 26 April 2019
Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.
Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology
We invite submissions of technical work exploring the detection, measurement, and mediation of gender bias in NLP models and applications. Other important topics are the creation of datasets exploring demographics such as metrics to identify and assess relevant biases or focusing on fairness in NLP systems. Finally, the workshop is also open to non-technical work welcoming sociological perspectives.
We also invite work on gender-fair modeling via our shared task, coreference resolution on GAP (Webster et al. 2018). GAP is a coreference dataset designed to highlight current challenges for the resolution of ambiguous pronouns in context. Participation will be via Kaggle, with submissions open over a three month period in the lead up to the workshop.
29 - 31 July 2019, 2nd Forcing Project Networking Conference (FPNC 2019): Set Theory, Bridging Maths & Philosophy, Konstanz, GermanyLocation: Konstanz, GermanyDeadline: Sunday 31 March 2019
The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.
The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.
We welcome contributions which
a) add to current discussions in the philosophy of set theory by relating philosophical and mathematical arguments to one another; by working out the philosophical import of set-theoretic results; or by giving set-theoretic explications of philosophical concepts;
b) question or uphold the relevance of philosophical arguments in set theory.
c) analyse the mathematical and philosophical content of the concept "set-theoretic practice" as used in recent set-theoretic programs.
d) investigate how the inclusion of alternative set theories impact the philosophy of set theory.
23 - 27 July 2019, Kurt Goedel's Legacy: Does Future lie in the Past?, Vienna, AustriaLocation: Vienna, AustriaDeadline: Wednesday 15 May 2019
In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.
The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.
Program will consist of the invited talks, contributed talks and posters. Submissions of contributed talks and posters can be submitted through the ConfMaster system. Abstracts must written English. They should not be submitted elsewhere. Copyright remains with the author; the Kurt Godel Society is granted the right of use.For more information, see https://kgs.logic.at/goedels-legacy/.
18 - 19 July 2019, 16th Meeting on the Mathematics of Language (MoL 2019), Toronto ON, CanadaLocation: Toronto ON, CanadaDeadline: Monday 22 April 2019
MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.
Specific topics within the scope of the conference include:
- formal and computational analysis of linguistic theories and frameworks
- learnability of formal grammars
- proof-theoretic, model-theoretic and type-theoretic methods in linguistics
- mathematical foundations of statistical approaches to language analysis
- formal models of language use and language change
MOL invites the submission of papers on original, substantial, completed, and unpublished research. All submissions must follow the style set out in the conference style files, which are available at the conference website. Simultaneous submission to other conferences is allowed, provided that the authors indicate which other conferences the paper is submitted to. A paper is accepted on the condition that it will not be presented at any other venue.
18 - 19 July 2019, 2nd Graduate Conference of the Italian Network for the Philosophy of Mathematics (FilMat), Milan, ItalyLocation: Milan, ItalyDeadline: Sunday 12 May 2019
The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to announce, in addition to its biennial main conferences, its second graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.
Invited speakers: Salvatore Florio (University of Birmingham), Lavinia Picollo (UCL) and Jack Woods (University of Leeds).
Submissions of original contributions are invited in any area of philosophy of mathematics, especially those connected with philosophical issues at the crossroads between the philosophy of mathematics and the philosophy of language and logic, and the use of formal methods for modelling them.
17 - 19 July 2019, 17th Conference onTheoretical Aspects of Rationality & Knowledge (TARK 2019), Toulouse, FranceLocation: Toulouse, FranceDeadline: Wednesday 3 April 2019
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
Topics of interest: 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, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).
Submissions are now invited to TARK 2019. 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. TARK reviewing is not double-blind, so author names can be included in the submission.For more information, see https://tark.irit.fr/.
15 - 19 July 2019, 15th Conference on Computability in Europe (CiE 2019), Durham, EnglandLocation: Durham, EnglandDeadline: Wednesday 1 May 2019
CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair, using the LNCS style file, and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals.
8 - 12 July 2019, 46th International Colloquium on Automata, Languages and Programming (ICALP 2019), Patras, GreeceLocation: Patras, GreeceDeadline: Monday 18 February 2019
ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 8 July 2019.
ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management
Papers presenting original research on all aspects of theoretical computer science are sought. Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. No prior publication and no simultaneous submission to other publication outlets is allowed. There will be best paper and best student paper awards for each track of the conference. Submission deadline: Monday 18 February 2019, 23:59 AoE
We also invite proposals of workshops related to any of the three tracks of ICALP, as well as other areas of theoretical computer science. To submit a proposal, contact us not later than 15 December 2018. Because of the limited capacity of the venue, we might not be able to accept all proposals.For more information, see https://icalp2019.upatras.gr/.
8 - 11 July 2019, Sixteenth International Conference on Computability and Complexity in Analysis (CCA 2019), Zagreb, CroatiaLocation: Zagreb, CroatiaDeadline: Wednesday 13 March 2019
The conference is concerned with the theory of computability and complexity over real-valued data.
Most mathematical models in physics and engineering are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.
The conference CCA 2019 is followed by the conference Computability in Europe (CiE 2019).
Authors are invited to submit 1-2 pages abstracts in PDF format.
Topics: Computable analysis, Complexity on real numbers, Constructive analysis, Domain theory and analysis, Effective descriptive set theory, Theory of representations, Computable numbers, subsets and functions, Randomness and computable measure theory, Models of computability on real numbers, Realizability theory and analysis, Reverse analysis, Weihrauch complexity, Real number algorithms, Implementation of exact real number arithmetic.
8 - 12 July 2019, 21st European Agent Systems Summer School (EASSS-2019), Bar-Ilan University, IsraelLocation: Bar-Ilan University, IsraelDeadline: Friday 1 February 2019
This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.
The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.
We invite proposals from members of the research community who are willing to offer tutorials at EASSS 2019. We are interested in tutorial proposals in all areas of current research in Autonomous Agents and Multi-Agent Systems. As a very rough guideline, any topic that might be covered at the AAMAS conference or in the JAAMAS journal would be suitable for EASSS. We aim for a mix of tutorials on fundamental and well-established topics, as well as overviews of new and emerging areas of research.
Tutorials should cover an appropriate selection of approaches and not specifically focus on the tutors' own contributions. Besides providing a coherent overview of a specific research topic, we specifically encourage tutorial proposals to articulate a clear link to applications and pragmatic consideration of the fundamental topics presented. We encourage both well-established senior researchers and younger colleagues to submit proposals.
8 July 2019, 20th International Workshop on Logic and Computational Complexity (LCC 2019), Patras, GreeceLocation: Patras, GreeceDeadline: Wednesday 1 May 2019
LCC meetings are aimed at the foundational interconnections between logic and computational complexity. LCC'19 will be collocated with ICALP 2019. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.
Submissions must be in English and in the form of an abstract of about 3-4 pages. We also welcome submissions of abstracts based on work submitted or published elsewhere, provided that all pertinent information is disclosed at submission time.
8 July 2019, 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Thursday 25 April 2019
One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.
The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems.
We encourage submissions on interdisciplinary approaches that bring together formal methods and techniques from other knowledge areas such as quantum computing, control theory, biology, optimization theory, and artificial intelligence. There are two categories of submissions: Regular papers describing developed work with theoretical or experimental results (upto 15 pages) Short papers on experience reports, tools or work in progress with preliminary results or just new ideas for discussion (upto 6 pages)For more information, see https://www.cicm-conference.org/2019/cicm.php?event=fvps.
7 - 13 July 2019, IVR Workshop "Judicial decision-making: integrating empirical and theoretical perspectives"Location: Luzern, SwitzerlandDeadline: Friday 1 February 2019
Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.
Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).
We invite all contributions presenting philosophically important results of experimental and other empirical studies on judicial decision-making, with data collected from professional (judges or other professional decision-makers) or lay subjects. Papers showing legal-philosophical implications of existing research or trying to integrate it with traditional theories of legal reasoning, or the doctrinal approach in various branches of law, are also much welcome.
7 July 2019, International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019), Lisbon, PortugalLocation: Lisbon, PortugalDeadline: Wednesday 15 May 2019
Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis can be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving.
In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.
Submissions of extended abstracts are invited and will be managed via Easychair. The following forms of submissions are solicited:
- Proposals for short tutorial presentations on topics related to the workshop.
- Talk abstracts reporting on already published work.
- Talk proposals presenting work that is unpublished or in progress.
Submissions which describe novel applications of QBF or related formalisms in various domains are particularly welcome. Additionally, this call comprises known applications that have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified.
3 - 6 July 2019, International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2019), Gent, BelgiumLocation: Gent, BelgiumDeadline: Friday 15 February 2019
ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.
ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.
We accept three types of contributions: full papers, short papers and poster abstracts. Each accepted contribution is briefly presented in a plenary session and then discussed in detail in the ensuing discussion session - with the help of a poster, a whiteboard, pen and paper, or whichever medium you prefer.For more information, see http://isipta2019.ugent.be.
2 - 5 July 2019, The Ershov Informatics Conference (PSI 2019), Novosibirsk, RussiaLocation: Novosibirsk, RussiaDeadline: Wednesday 23 January 2019
The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.
PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.
The Programme Committee cordially invites submissions on the 3 conference topics:
1. Foundations of Program and System Development and Analysis
2. Programming Methodology and Software Engineering
3. Information Technologies
More generally, the conference welcomes novel contributions in the areas of computer, software and information sciences, and application papers showing practical use of research results.
2 - 5 July 2019, 26th Workshop on Logic, Language, Information and Computation (WoLLIC 2019), Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Friday 1 March 2019
WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers.
Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
-Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area.
-Compositionality in formal and distributional models of natural language semantics, on July 6 2019.
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors.For more information, see https://wollic2019.sites.uu.nl.
1 - 5 July 2019, 14th Computer Science Symposium in Russia (CSR'19), Novosibirsk, RussiaLocation: Novosibirsk, RussiaTarget audience: researchers and students in Theoretical Computer ScienceCosts: TBADeadline: Sunday 23 December 2018
The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.
Authors are invited to submit papers presenting original research in the conference topics, in electronic form (pdf format). Submissions must be unpublished, not under review for publication elsewhere,
and provide sufficient information to judge their merits.
Submissions must be in English, and not exceed 12 pages, including the title page, in Springer's LNCS LaTeX style. Additional material, to be read at the discretion of reviewers and PC members, may be provided in a clearly marked appendix or by reference to a manuscript on a web site.
29 - 30 June 2019, 5th Int. Workshop on Structures and Deduction 2019 (SD 2019), Dortmund, GermanyLocation: Dortmund, GermanyDeadline: Friday 12 April 2019
SD?19 is the fifth in a series of workshops aiming to gather various communities of structural proof theorists. As well as theoretical work in the form of regular papers, we encourage submission of implementations, tools and system descriptions.
We welcome submission of work that has already been published or currently submitted to a journal or conference. The following submission categories are welcome:
- Extended abstracts (up to 8 pages). Finished work, system descriptions, surveys.
- Short abstracts (up to 4 pages). Work-in-progress, perspectives on existing work.
29 - 30 June 2019, 3rd International Workshop on Trends in Linear Logic and Applications (TLLA 2019), Dortmund, GermanyLocation: Dortmund, GermanyDeadline: Wednesday 1 May 2019
Linear Logic is not only a proof theoretical tool to analyse or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields. The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks.
Contributions are not restricted to talks presenting an original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome.
26 - 28 June 2019, AUTOMATA 2019, Guadalajara, MexicoLocation: Guadalajara, MexicoDeadline: Sunday 17 February 2019
AUTOMATA 2019 is the official annual event of IFIP WG 1.5, the Working Group 5 (on Cellular Automata and Discrete Complex Systems), of the Technical Committee 1 (on Foundations of Computer Science), of the International Federation of Information Processing (IFIP).
The purpose of this conference is to highlight the major advances in the field and the development of new tools, to support the development of theory and applications of CA and DCS, and to identify and study within an inter- and multidisciplinary context the important fundamental aspects, concepts, notions and problems concerning CA and DCS.
Authors are invited to submit papers of no more than 12 pages (for full papers) or 8 pages (for exploratory papers). Submissions should contain original research that has not previously been published. Full papers are meant to report more complete and denser research, while exploratory papers are meant to be short reports of recent discoveries, work-in-progress or partial results.
Topics (not exhaustive): dynamic, topological, ergodic and algebraic aspects of CA and DCS algorithmic and complexity issues emergent properties formal languages symbolic dynamics tilings models of parallelism and distributed systems synchronous versus asynchronous models phenomenological descriptions and scientific modelling applications of CA and DCS.For more information, see https://automata2019.wordpress.com/.
26 - 30 June 2019, 12th Panhellenic Logic Symposium (PLS12)Deadline: Sunday 31 March 2019
The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.
PLS12 will have Special Sessions on Computer Science, Model Theory and Philosophy & Set Theory, as well as a Poster Session and a Mentoring Session.
The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers for presentation at PLS12. All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. During the symposium, each accepted paper will be presented by one of its authors.
Graduate students and young researchers are invited to submit a short abstract for the Poster Session, on work in progress that may not be ready for a regular contributed talk.
25 - 28 June 2019, International Conference on Formal Concept Analysis (ICFCA 2019), Frankfurt, GermanyLocation: Frankfurt, GermanyDeadline: Friday 18 January 2019
Formal Concept Analysis emerged in the 1980's from attempts to restructure lattice theory in order to promote better communication between lattice theorists and potential users of lattice theory. Since its early years, Formal Concept Analysis has developed into a research field in its own right with a thriving theoretical community and a rapidly expanding range of applications in information and knowledge processing including visualization, data analysis (mining) and knowledge management and discovery.
The ICFCA conference series aims at bringing together researchers and practitioners working on theoretical or applied aspects of Formal Concept Analysis within major related areas such as Mathematics and Computer and Information Sciences and their diverse applications to fields like Software Engineering, Linguistics, Environment, Life and Social Sciences, etc.
We invite scientific publications on theory and applications of Formal Concept Analysis. Papers of up to sixteen pages may be submitted in PDF format via the Easychair system. Main topics of interest include, but are not limited to: Fundamental aspects of FCA, Bridging FCA to information sciences and artificial intelligence, and Understanding, modelling real-world data and phenomena with FCA. All accepted submissions will be refereed, and the conference proceedings will be published by Springer in the LNCS/LNAI series.For more information, see https://www.informatik.fb2.frankfurt-university.de/~icfca2019/.
24 - 30 June 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019), Dortmund, GermanyLocation: Dortmund, GermanyDeadline: Friday 8 February 2019
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).
Submissions can be made in two categories. Regular research papers are limited to 15 pages (including references, with the possibility to add an annex for technical details, e.g. proofs) and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools.
We also invite proposals for workshops, tutorials or other satellite events, on any topic to related formal structures in computation and deduction, from theoretical foundations to tools and applications. Satellite events will take place on 24 June and 29-30 June, before and after the main conference on 25-28 June. Submission deadline: November 30.For more information, see http://fscdconference.org/editions/fscd-2019/.
24 - 28 June 2019, LOGICA 2019, Hejnice, Czech RepublicLocation: Hejnice, Czech RepublicDeadline: Friday 15 February 2019
The Institute of Philosophy of the The Czech Academy of Sciences announces 'LOGICA 2019', the 33nd in the series of annual international symposia devoted to logic. The first session begins on the morning of Tuesday, 25 June. The symposium closes at noon Friday, 28 June.
Invited Speakers: David Makinson, Per Martin-Lof, Alessandra Palmigiano and David Ripley.
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 for mathematically oriented logicians.
23 June 2019, LICS workshop Learning & Automata (LearnAut 2019), Vancouver BC, CanadaLocation: Vancouver BC, CanadaDeadline: Saturday 6 April 2019
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science, spanning the same communities that the Logic in Computer Science (LICS) conference brings together. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Invited speakers: Lise Getoor (UC Santa Cruz). Prakash Panangaden (McGill University) and Nils Jansen (Radboud University, to be confirmed).
We invite submissions of recent work, including preliminary research, related to the theme of the workshop. Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop.For more information, see https://learnaut19.github.io.
23 June 2019, 3rd Women in Logic Workshop (WiL 2019), Vancouver BC, CanadaLocation: Vancouver BC, CanadaDeadline: Sunday 21 April 2019
We are holding the third Women in Logic Workshop (WiL 2019) as a LICS associated workshop on 23 June 2019. The workshop follows the pattern of meetings such as Women in Machine Learning (WiML) or Women in Engineering (WIE) that have been taking place for quite a few years.
Women are chronically underrepresented in the LiCS community. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprising mostly women, replicating the experience that most men have at most LiCS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women. Previous versions of Women in Logic (Reykjavik, Iceland 2017 and Oxford, UK 2018) were very successful in showcasing women's work and as catalysts for recognition of the need for change in the community.
Contributions should be written in English and can be submitted in the form of full papers (with a maximum of 10 pages), short papers (with a maximum of 5 pages), or talk abstracts (1 page). Our extended program committee tries to cover most areas of Logic in Computer Science. These include but are not limited to the usual Logic in Computer Science (LICS) topics.For more information, see https://sites.google.com/site/womeninlogic2019/.
23 - 25 June 2019, Fourteenth International Conference on Computability, Complexity and Randomness (CCR 2019), Astana, KazakhstanLocation: Astana, KazakhstanDeadline: Tuesday 14 May 2019
Topics: Algorithmic randomness, Computability theory, Computability in analysis, Kolmogorov complexity, Computational complexity, Reverse mathematics and logic. The conference will be co-located with The Sixteenth Asian Logic Conference.
Authors are invited to submit an abstract in PDF format of typically about 1 or 2 pages. No full papers will be required for this conference. After the deadline for submissions has expired, submissions may still be accepted for reviewing at the discretion of the PC chairs.For more information, see http://www.ccr2019.info/.
22 - 27 June 2019, The thirty-fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19), Vancouver BC, CanadaLocation: Vancouver BC, CanadaDeadline: Friday 4 January 2019
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.
Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. Deadline: 15 november 2018.
We also invite paper submissions on any of the conference topics. Results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. Deadline: 4 januari 2019.
21 - 23 June 2019, "Model Theory & Mathematical Logic" Conference in honor of Chris Laskowski's 60th birthday , College Park MD, U.S.A.Location: College Park MD, U.S.A.Deadline: Wednesday 15 May 2019
A conference, on the occasion of Chris Laskowski's 60th birthday will take place at The University of Maryland.
Invited Speakers: John Baldwin, Elisabeth Bouscaren, Gabriel Conant, Vincent Guingona, John Goodrick, Danul Gunatilleka, Bradd Hart, Julia Knight, Alexei Kolesnikov, Steffen Lempp, Maryanthe Malliaris, David Marker, David Pierce, Saharon Shelah, Charles Steinhorn, Caroline Terry and Douglas Ulrich.
The conference will be hosting a poster session. Those who are interested are welcome to submit a poster for display during the session. Submissions will be accepted until May 15th. Please email submissions to poster at umdlogic2019.com.
19 - 21 June 2019, Formal Epistemology Workshop 2019 (FEW 2019), Torino, ItalyLocation: Torino, ItalyDeadline: Sunday 20 January 2019
The 15th edition of FEW will take place at the University of Turin, situated in the Piedmont, a region in the Northwest of Italy. The keynote speakers will be Paul Égré (ENS Paris), Ulrike Hahn (Birkbeck) and Stephan Hartmann (LMU Munich).
We invite papers and posters in formal epistemology, broadly construed. This includes related areas of philosophy (e.g., logic, philosophy of science, philosophy of language) as well as cognate disciplines like statistics, psychology, economics, computer science, and mathematics. Papers should be suitable for 30 minutes presentation time, followed by a 10 minutes commentary of and 20 minutes general discussion. Submissions from graduate students and early career researchers are especially welcome.For more information, see https://www.few2019.com/.
19 - 21 June 2019, Sixth Formal Ethics conference (FE2019), Gent, BelgiumLocation: Gent, BelgiumDeadline: Friday 15 February 2019
Formal Ethics is a common denominator for the application of tools from logic, decision theory, game theory, and social choice theory to the analysis of concepts in moral and political philosophy and to the development of ethical theory. It is a rapidly growing field of research which goes back to the work of Kenneth Arrow, Amartya Sen, John Harsanyi, Georg Henrik von Wright and others. The field has recently gained new impetus with formal work on non-classical logic, freedom and responsibility, value theory and the evolution of norms and conventions.
Keynote speakers: Edith Elkind (Oxford), Campbell Brown (LSE), and Ray Briggs (Stanford).
Formal Ethics 2019 will feature a single track for contributed talks of 40-45 minutes. Authors should submit an extended abstract (1000 words max, pdf format) via easychair. Submissions in all areas of formal ethics, broadly construed, are welcome. Contributions need not be formal in nature but should show familiarity with applying formal tools and results to ethical investigations. We aim at an inclusive conference in which speakers at different stages of their careers (including PhD students and post-docs) participate. We also aim at a strong representation of female scholars.
We specifically welcome submissions on the theme of joint responsibility and collective decision-making. These notions are under investigation in various fields including computer science, (meta)ethics, and political theory. Our aim is to further stimulate the synergy between these different fields, and to provide a forum for both conceptual, ethical, and formal disputes.
19 - 21 June 2019, Masterclass in the Philosophy of Mathematical Practice with Marcus Giaquinto, Brussels, BelgiumLocation: Brussels, BelgiumTarget audience: PhDs and PostdocsCosts: FreeDeadline: Monday 1 April 2019
The Centre for Logic and Philosophy of Science (CLPS) of the Vrije Universiteit Brussel (VUB) will host its Third Masterclass in the Philosophy of Mathematical Practice on June, 19-21 with Prof. Dr. Marcus Giaquinto. The Masterclass will be composed of three lectures, the tentative titles of which are as follows:
Lecture 1 (Wednesday, 19/6): A priori and a posteriori in mathematics.
Lecture 2 (Thursday, 20/6): Is the distinction between proofs and non-proofs in mathematics objective?
Lecture 3 (Friday, 21/6): Can mathematical arguments have aesthetic value?
We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, and to provide early career researchers (PhD students and Postdocs) with an opportunity to discuss their ongoing work in a helpful and constructive environment. The lectures by Marcus Giaquinto will take place in the mornings, and will be followed by afternoon sessions with presentations by early career researchers in the Philosophy of Mathematical Practice.
We invite early career researchers who would be interested to present their work to send us an abstract of at most 1 page by April, 1st. Please submit your abstract, including your affiliation information, by sending it to the following email address: masterclass.pmp.bxl at gmail.com. The talks will be of a duration of around 20 minutes (not including discussion). Notification of acceptance will be sent out by the middle of April. Notice that submitting an abstract is not mandatory for attending the Masterclass.
18 - 21 June 2019, 14th International Federated Conference on Distributed Computing Techniques (DisCoTec 2019), Kongens Lyngby, DenmarkLocation: Kongens Lyngby, DenmarkDeadline: Friday 1 February 2019
DisCoTec 2019 is one of the major events sponsored by the International Federation for Information Processing (IFIP). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects, ranging from theoretical foundations and formal description techniques to systems research issues.
DisCoTec conferences welcome contributions in theoretical models and foundations of coordination, concurrency, programming languages, practical and conceptual aspects of distributed computations as well as models and formal specification, testing and verification methods for distributed computing. Registration of the paper information and abstract (max. 250 words) must be completed before February 1, 2019 (all conferences). Contributions must be written in English and report on original, unpublished work not submitted for publication elsewhere.
DisCoTec will also feature workshops, tutorials and a tool track. An open call for workshop and tutorial proposals will follow, as well as an open call for tool demo submissions.
18 - 21 June 2019, 32nd International Workshop on Description Logics (DL 2019), Oslo, NorwayLocation: Oslo, NorwayDeadline: Friday 22 March 2019
The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
We invite contributions on all aspects of description logics.
Submissions may be of two types: regular papers (of up to 11 pages), and 2-page abstracts (for authors who wish to announce results that have been or are to be published elsewhere). Accepted submissions, be they regular papers or 2-page abstracts, will be selected for either oral or poster presentation at the workshop.For more information, see http://dl.kr.org/dl2019/.
17 - 21 June 2019, 16th Asian Logic Conference (ALC 2019), Astana, KazakhstanLocation: Astana, KazakhstanDeadline: Wednesday 1 May 2019
The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.
Each contributed talk should last 20 minutes including questions and answers. Abstract should be prepared according to the ASL instructions using the ASL abstract style.For more information, see http://www.alc2019.kz/.
17 - 21 June 2019, Topology, Algebra, and Categories in Logic 2019 (TACL 2019), Nice, FranceLocation: Nice, FranceDeadline: Wednesday 27 February 2019
Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods.
Contributed talks are intended to be about topological, algebraic
or categorical methods used in mathematical or computer science
logic. Authors can submit an Extended Abstract of 2 pages (including references) at the EasyChair conference system.
17 - 18 June 2019, 2nd workshop Formal Reasoning and Semantics (FORMALS 2019), Zagreb, CroatiaLocation: Zagreb, CroatiaDeadline: Wednesday 15 May 2019
The 2st workshop Formal Reasoning and Semantics will be held at the Faculty of Teacher Education, University of Zagreb. The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).
Invited speaker: Vivek Nigam (Paraiba, Brazil and Muenchen, Germany).
We have several 30 min slots available for contributed talks. All contributions which broadly fit the main goal of the project 'mutual enrichment of pure and applied logic' are welcome. The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).For more information, see http://formals.ufzg.hr/index.php/workshop/.
15 - 21 June 2019, 3rd International Conference on Numerical Computations: Theory and Algorithms (NUMTA 2019), Crotone, ItalyLocation: Crotone, ItalyDeadline: Monday 18 March 2019
The goal of the NUMTA2019 Conference is to create a multidisciplinary round table for an open discussion on numerical modeling nature by using traditional and emerging computational paradigms. The Conference (including also special streams and sessions) will discuss all aspects of numerical computations and modeling from foundations and philosophy to advanced numerical techniques. New technological challenges and fundamental ideas from theoretical computer science, linguistic, logic, set theory, and philosophy will meet requirements and new fresh applications from physics, chemistry, biology, and economy.
Together with regular presentations at the Conference there will be the Summer School offering tutorials and discussion sections covering the topics of the Conference.
Researchers from both theoretical and applied sciences are very welcome to submit their papers and to use this excellent possibility to exchange ideas with leading scientists from different research fields. Papers discussing new computational paradigms, relations with foundations of mathematics, and their impact on natural sciences are particularly solicited. A special attention will be also dedicated to numerical optimization and different issues related to theory and practice of the usage of infinities and infinitesimals in numerical computations.
Participants at the Summer School can submit either regular papers or participate at the poster session that will be also organized.For more information, see http://si.dimes.unical.it/~yaro/numta2019/index.php.
10 - 11 June 2019, 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference, London, CanadaLocation: London, CanadaDeadline: Friday 1 March 2019
The 19th annual Philosophy of Logic, Mathematics, and Physics (LMP) Graduate Conference will take place on Monday-Tuesday, June 10-11, 2019, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that David John Baker (the University of Michigan) will be giving the keynote address for this year's LMP.
The 23rd annual Philosophy of Physics Conference will be on the subject of quantum field theory and will immediately follow the LMP on Wednesday-Friday, June 12-14, 2019.
Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers in philosophy of physics will be considered for the 16th Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western.
6 - 8 June 2019, Workshop "Expressing Evidence", Konstanz, GermanyLocation: Konstanz, GermanyDeadline: Thursday 20 December 2018
Evidential restrictions cross-cut grammars in varied ways. In this workshop, we want to bring together researchers working from different angles on how natural language expresses evidence. We are especially interested in (but not limited to) submissions that straddle the divide between linguistics and philosophy and address the following issues:
1. Evidentiality across syntactic categories
2. Speech acts conveyed by evidentials
3. Evidentiality in a broader context of attitude ascriptions and subjective expressions
4. Types of reasoning and knowledge involved in statements with different evidentials
5. Formal tools for modelling evidence
Invited speakers: Corien Bary (Nijmegen), Lisa Matthewson (British Columbia), Elin McCready (Aoyama) and Dilip Ninan (Tufts).
We invite submission of abstracts for 30-minute oral presentations (with additional time for discussion) on any topic related to the aims and scope of the workshop. We are especially interested in (but not limited to) contributions that straddle the line between disciplines dealing with the linguistic expression of evidence, such as linguistics, philosophy, and psychology.For more information, see http://semantics.uni-konstanz.de/workshops/evidence-2019/.
5 - 7 June 2019, International Association for Computing and Philosophy Annual Meeting 2019 (IACAP 2019), Mexico City, MexicoLocation: Mexico City, MexicoDeadline: Sunday 24 March 2019
The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP's members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence.
IACAP's 2019 meeting will gather philosophers, mathematicians, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore the conference topics.
This year the IACAP Annual Meeting will include a special, one-day track on research related to computing and epistemic logic, with special interest in concurrency; computing systems where multiple sequential computers or microprocessors interact.
We invite submissions of extended abstracts for paper presentations. Submissions for paper presentation should be prepared for blind review, provide an extended abstract of 800-1200 words, and provide a short abstract of 150-250 words suitable for inclusion in a program. Submission deadline: February 15, 2019 (regular conference) / March 24, 2019 (special track).
We also invite proposals for symposia. Proposals for symposia should indicate the title of the proposed symposium, a description of the topic, a list the participants, and the number of hours required. Submission deadline: February 1, 2019.For more information, see http://www.iacap.org/iacap-2019/.
5 - 6 June 2019, "The pholological conundrum": representation of language, Jerusalem, IsraelLocation: Jerusalem, IsraelDeadline: Friday 15 March 2019
The Edelstein Center and the Bergmann Center at the Hebrew University of Jerusalem are happy to announce a workshop on aspects of language representation. The workshop concerns approaches to the representation of linguistic expressions and their implications on issues in logic, semantics and computability theory.
Participants include: Nachum Dershowitz (Tel Aviv University), Michael Goldboim (Tel Aviv University), Balthasar Grabmayr (HU Berlin), David Kashtan (Hebrew University of Jerusalem), Carlo Nicolai (King's College London), Paula Quinon (Lund University), Gil Sagi (Haifa University) and Stewart Shapiro (Ohio State).
The workshop will include a small session of contributed talks. Authors are invited to send abstracts not exceeding 500 words. The abstracts should be prepared for blind-review; in particular, the author's name, affiliation and contact details should be specified separately in the email. Authors of the accepted papers will have 40 minutes to present their work, including discussion,For more information, see https://sites.google.com/site/thephonologicalconundrum/ or contact phonologicalconundrum2019 at gmail.com.
4 - 7 June 2019, 15th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.Deadline: Tuesday 29 January 2019
LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.
Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. LPNMR 2019 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: Technical papers, System descriptions and Application descriptions. This year's edition of the conference seeks to raise submissions devoted towards use of LPNMR techniques in emerging applications stemming from such areas as deep learning, robotics, cybersecurity, modeling cyberphysical systems, and human-aware AI. Deadline for submissions: January 29th, 2019.
Students at both the PhD and late stage masters level are encouraged to apply for the Doctoral Consortium. Deadline for submissions: Mar, 24, 2019.
3 - 7 June 2019, 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, Urbino, ItalyLocation: Urbino, ItalyDeadline: Sunday 30 December 2018
The aim of the conference is to gather young researchers working in the field of logic and philosophy of sciences and to offer them the opportunity to present and discuss their papers in an informal and stimulating environment.
The conference is divided into eight sessions, namely:
1) Philosophy of Biology and Health Sciences
2) Philosophy of Mind and Cognitive Science
3) Foundations of Computing and Artificial Intelligence
4) Classical and Non-Classical Logics
5) Philosophy and Foundations of Physics
6) Foundations of Logic and Mathematics
7) Philosophy of Social Sciences
8) General Philosophy of Science
Each session will host 4 different talks (30 minutes for each talk + 10 minutes of discussion).
We invite submissions in the aforementioned areas of research from PhD students or scholars who completed their PhD in the last 5 years. In the case of a co-authored paper, at least one of the authors must be a PhD student or a scholar who completed her/his PhD in the last 5 years; only those meeting this requirement are eligible to submit the abstract. The Scientific and Organizing Committee will select the eight best presentations given in each eight session of the school. The authors of the selected presentations will receive an award on the last day of the school.For more information, see http://www.silfs.it/conferences/postgraduate-conference-2019/ or contact pierluigi.graziani at uniurb.it.
3 - 6 June 2019, 8th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, EnglandLocation: London, EnglandDeadline: Wednesday 3 April 2019
CALCO is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). It aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.
The eighth edition will be held in London, UK, colocated with MFPS XXXV. It will have three invited speakers, and a joint special session with MFPS. It will also feature two awards: a Best Paper Award whose recipients will be selected by the PC before the conference and a Best Presentation Award, elected by the participants.
CALCO invites three categories of submissions:
* Full technical papers that report
- results of theoretical work on the mathematics of algebras and coalgebras,
- the way these results can support methods and techniques for software development, as well as
- experience with the transfer of the resulting technologies into industrial practice.
* Early ideas abstracts that lead to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute.
* Tool papers that report on the development and use of tools for algebraic and coalgebraic methods in computer science.For more information, see https://www.coalg.org/calco-mfps-2019/.
3 - 4 June 2019, Fifth International Workshop on "Defeasible and Ampliative Reasoning" (DARe 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.Deadline: Tuesday 19 March 2019
Everyday human decision making involves various kinds of non-classical reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. These types of reasoning usually show two intertwined aspects, an ampliative aspect (augmenting the underlying reasoning by allowing more conclusions) and a defeasible aspect (curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned). Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. But despite the progress that has been achieved, large avenues remain open for exploration.
DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.
DARe welcomes contributions on all aspects of defeasible and ampliative reasoning. We invite submissions of papers presenting original research results or position statements. Submissions must be prepared using the Springer LNAI/LNCS format and should be no longer than 13 pages (not counting the references).
3 - 4 June 2019, 3rd International Workshop on User-Oriented Logic Paradigms (IULP 2019), Philadelphia PA, U.S.A.Location: Philadelphia PA, U.S.A.Deadline: Sunday 28 April 2019
The 3rd International Workshop of User-Oriented Logic Paradigms (IULP) focuses on discussing different aspects involved in making logic paradigms more user-friendly/oriented, where the "user" could be either an expert of the paradigm, or a non-expert who simply uses tools developed for the paradigm in some application. IULP aims to bring together researchers working on different logic paradigms, such as answer set programming, constraint logic programming, probabilistic logic programming, abductive logic programming, inductive logic programming, argumentation, principles of teaching etc., as user- friendliness is an important topic in all of these areas.
IULP aims to provide an international forum for researchers in the AI, KR, and applied sciences community to discuss and present advances in theories, formalisms, and applications to deliver the mature and well-defined methods of logic paradigms to a wider audience.
We solicit the submission of papers broadly centred on issues and research related to user-friendliness in logic paradigms and related fields. We welcome papers of either theoretical or practical nature, including work in progress. We encourage the submission of original research on all topics as well as relevant results that have been submitted or accepted elsewhere provided that the initial publication is mentioned in a footnote on the first page.
31 May - 2 June 2019, MCMP-Western Ontario Workshop on Computation in Scientific Theory & Practice, Munich, GermanyLocation: Munich, GermanyDeadline: Sunday 17 March 2019
The goal of this interdisciplinary meeting is to explore philosophical and historical issues that arise at the intersection of theoretical computer science, mathematics, and natural science, including issues that arise in the practice of those disciplines.
Conference topics include: the history of computer science; the foundations of computation and mathematical cognition; computational and informational perspectives on scientific decision making, scientific methodology, and the characterisation of scientific theories; physical notions of computation and the 'Physical Church-Turing Thesis'.
Prospective authors are invited to submit an extended abstract of between 600-1000 words, along with a short abstract of no more than 150 words. We especially encourage submissions from early career researchers and researchers from underrepresented groups, although submissions from researchers in all stages of their career and from all groups are welcome.For more information, see https://www.mcmp.philosophie.uni-muenchen.de/events/workshops/container/ws_comp_sci_theory_practice/index.html or contact cstp2019 at easychair.org.
28 - 29 May 2019, Bergen Workshop on Logical Disagreement, Bergen, NorwayLocation: Bergen, NorwayDeadline: Friday 8 March 2019
* Roy Sorensen (Washington University, St. Louis)
* Catarina Dutilh Novaes (Vrije Universiteit Amsterdam)
* Catrin Campbell-Moore (Bristol University)
We invite submissions for 45-minute presentations, with additional time for discussion, on the broad topic of logical disagreements, addressing questions including, but not limited to:
* Are logical disagreements possible?
* Are there distinct types of logical disagreements?
* Can logical disagreements ever be resolved?
* How have historical logical disagreements been resolved?
24 May 2019, IWCS Workshop "Computing Semantics with Types, Frames & Related Structures", Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Monday 4 March 2019
The goal of this workshop is to bring together people interested in structured representations of semantic information, especially from a computational perspective. In recent years, there has been a growing body of research which aims to integrate structured entities into formal semantic accounts. Important developments in this direction are the introduction of rich type systems and the use of frame-based representations, among others. The workshop is open to both foundational issues of structured semantic representations and applications to specific linguistic phenomena.
Topics for submission include, but are not limited to:
- Richly typed formalisms for natural language semantics.
- Frame-based approaches to formal and computational semantics.
- Type Theoretical Semantics
- Semantic computation with structured representations.
- Interactions between lexical semantic structures and compositional semantics.
24 May 2019, Sixth Workshop on Natural Language and Computer Science (NLCS'19), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Thursday 7 March 2019
A workshop affiliated with the 13th International Conference on Computational Semantics (IWCS 2019)
Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.
Invited speakers: Krasimir Angelov (Gothenburg), Rafaella Bernardi, (Trento).
Extended abstracts of up to 10 pages may be submitted through Easychair.For more information, see http://www.indiana.edu/~iulg/nlcs.html.
24 May 2019, IWCS’19 Workshop on Vector Semantics for Dialogue and Discourse (VSDD)Location: Gothenburg, SwedenTarget audience: researchers using vector space methods for semantics in the realm of sentence, dialogue, and discourseDeadline: Sunday 14 April 2019
Vector models of meaning have revolutionised computational linguistics via their ability to reflect semantic similarities and regularities while providing flexibility to model dynamics and change. However, despite much recent interest inextending these models from the level of words to larger phrases and sentences, there has been little attempt to extend these to the realm of discourse and dialogue. This requires a shift in perspective, moving beyond the static word/sentence view of language to a dynamic perspective seeing language as a set of mechanisms for real-time interactions, encompassing a whole range of actions both sub- and supra-sentential.
This workshop hopes to bring together researchers using vector space methods for semantics in the realm of dialogue and discourse to discuss these challenges and fill this gap. We are planning this event as an open discussion session, with three keynote speakers (see below) and otherwise individual participants having a short slot to discuss a presented poster, with plenty of time allowed for free interactive exchange.
Abstract Format: Abstracts should: be anonymous; be no longer than 2 A4 pages including references; be in .pdf format; use single line spacing, 11pt font with 1-inch margins.
Topics of interest: Distributional Semantics, Vector Space Semantics, Composition Functions, Word Embeddings in Dialogue Systems, Distributional Pragmatics, Vector Composition beyond the Sentence, Sub-sentential Vector Composition, Incremental, Semantic Parsing in Vector Space, Underspecification, Hybrid Symbolic-Distributional Models, Representation Learning for Dialogue & Discourse, Vector Space Models of Dialogue & Discourse Context, Language Grounding.
23 - 25 May 2019, 65th StuTS, CologneLocation: CologneTarget audience: Students and young researchersCosts: 40€Deadline: Monday 22 April 2019
StuTS is short for German Studentische Tagung Sprachwissenschaften which translates roughly to student conference for linguistics and it offers an interesting programme from linguistics and related disciplines, with expert keynotes, student presentations and workshops, tours and demos, and of course a social programme with the best that Cologne has in store for students. We are looking forward to welcoming you all in Cologne from 23 to 25 Mai, 2019.
We are inviting students of linguistics and related disciplines from BA to PhD level to present their work at the 65th StuTS, which takes place from Mai 23 to 25, 2019 in Cologne. Feel free to present work from class projects, your bachelor’s or master’s thesis, or a project you are working on. We are also inviting language or technology related workshops from students who want to share their insights. The topics should somehow fit into the general topic of linguistics and language research and we would appreciate a wide variety of topics.
Presentations will last for 20 minutes and there will be 10 minutes for questions. Longer slots are available for longer talks or workshops upon request. For information on language requirements, please see the website.
23 - 27 May 2019, 13th International Conference on Computational Semantics (IWCS Gothenburg 2019), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Tuesday 22 January 2019
IWCS is the bi-yearly meeting of SIGSEM, the ACL special interest group on semantics. The aim of the IWCS conference is to bring together researchers interested in any aspects of the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and machine learning approaches to computational semantics, and everything in between.
The main conference will be run from 25-27 May 2019, preceded by workshops on 23-24 May. The areas of interest for the conference include all computational aspects of meaning of natural language within written, spoken, or multimodal communication.
Three types of submission are solicited: long papers, student papers and short papers. Long papers should describe original research, and will have a full oral presentation at the conference. Student papers should describe original research but the first author must be a student or at least 2/3 of the work on a paper should be completed by students; the papers will have a full oral presentation at the conference in a special student session. Short papers (typically system or project descriptions, or ongoing research) will have a lightning talk at the conference, followed by a poster/demo session for discussion. All types of papers should be submitted not later than 15th January, 2019.
Additionally, workshop proposals are invited on any of the conference topics and closely related areas. Deadline: 10 November.
22 - 24 May 2019, International Conference on Simplicities & Complexities, Bonn, GermanyLocation: Bonn, GermanyDeadline: Tuesday 15 January 2019
Throughout the 20th century the sciences have approached more and more complex phenomena, in tune with the increased social relevance of scientific knowledge. The perceived need to address complexity head-on has led to a broader reaction against simplification and reductionism within the sciences. However, if simplicity, in its various outfits, has proven an unreliable guide, what should it be replaced with? Looking at the various strategies of addressing complexity in the sciences and the disciplines reflecting upon them, it appears that the notion is at least as variegated as simplicity.
The aim of the conference is to analyze, differentiate, and connect the various notions and practices of simplicity and complexity, in physics as well as in other sciences. We invite contributors from a spectrum of disciplines, scientists and scholars reflecting on their respective and neighboring research fields, as well as historians, philosophers, and sociologists of science investigating the epistemologies, practices, and discourses of fellow epistemic communities. The conference will thrive on intense discussion surpassing disciplinary boundaries.
The organizing committee invites abstract submissions on the theme of the conference. Submissions are welcome from the broad spectrum of scientific fields. In addition to being considered for giving a contributing talk, all submissions will also be considered for our essay competition (unless requested otherwise).For more information, see https://www.lhc-epistemologie.uni-wuppertal.de/complexities or contact lhc.epistemology at uni-wuppertal.de.
13 - 17 May 2019, 24th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poręba, PolandLocation: Szklarska Poręba, PolandTarget audience: logic, logical philosophy, pragmatics, foundations of mathematics, foundations of computer science and related areasDeadline: Tuesday 2 April 2019
The meeting takes place in Szklarska Poręba, in the lovely Sudetes Mountains on the Polish-Czech border. Our event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
Our invited speakers are:
- Krzysztof R. Apt, CWI, Amsterdam
- Roberto Giuntini, University of Cagliari
- Andreas Herzig, Université Paul Sabatier, Toulouse
- Emil Jeřábek, Czech Academy of Sciences, Prague
We encourage everyone who is interested in logic to participate in our event.
Contributions related to logic,logical philosophy, pragmatics, foundations of mathematics, foundations of computer science and related areas are welcome.The abstracts of about 30 minutes talks, not extending one page, should be submitted before April 2, 2019 and the notification of acceptance will be sent until April 12, 2019. The detailed information regarding submission of abstracts will be available in the forthcoming announcements and on the conference's website.
9 - 10 May 2019, Worksh on Non-Causal Explanations: Logical, Linguistic and Philosophical Perspectives, Gent, BelgiumLocation: Gent, BelgiumDeadline: Friday 1 February 2019
Many disciplines, from mathematics to metaphysics, employ non-causal explanations. But what is the logic (or the logics) of non-causal explanation? What are the pros and cons of different logical approaches? Is the linguistic expression of non-causal explanation specifically codified in some natural language? Can algorithms pick up non-causal explanations in textual databases? The workshop welcomes formal and informal contributions both from within specific disciplines employing non-causal explanations and from a more general perspective.
Keynote speakers: Hannes Leitgeb (Munich), Francesca Poggiolesi (Paris) and Erik Weber (Ghent).
We welcome submissions on any topic that fits into the scope of the conference.
8 - 10 May 2019, 16th European Conference on Logics in Artificial Intelligence (JELIA-2019), Rende, ItalyLocation: Rende, ItalyDeadline: Monday 26 November 2018
The European Conference on Logics in Artificial Intelligence (or Journées Européennes sur la Logique en Intelligence Artificielle - JELIA) began back in 1988, as a workshop, in response to the need for a European forum for the discussion of emerging work in this field. Since then, JELIA has been organised biennially. JELIA aims at bringing together researchers active in all aspects concerning the use of logics in AI to discuss current research, results, problems, and applications of both a theoretical and a practical nature.
Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence.For more information, see https://jelia2019.mat.unical.it/.
7 - 8 May 2019, Workshop on the History of Arabic Logic, St Andrews, ScotlandLocation: St Andrews, ScotlandDeadline: Friday 1 February 2019
Since the last century, scholars have acknowledged the original and relevant contribution of medieval Arabic philosophers and thinkers to the development of medieval Western logic and, more generally, to the history of logic. The Workshop on History of Arabic Logic has two main aims: to make better known the richness and importance of Arabic logic, that is, logic developed and studied in Arabic-speaking lands from the 8th to the 15th centuries CE; and to provide a forum for interaction and discussion by scholars of Arabic logic.
Invited Speakers: Saloua Chatti (Tunis), Khaled El-Rouayheb (Harvard), Wilfrid Hodges (British Academy) and Riccardo Strobino (Tufts).
Call for Papers: We invite contributions focusing both on the logic developed and studied in Arabic-speaking lands from the 8th to the 15th centuries CE and on its influence on Medieval Western logic. Accepted presentations will be 1 hour in length including time for questions.
To submit your contribution for consideration, please send an abstract (around 500 words) along with a short CV (max. 1 page) to the organisers Prof. Stephen Read and Dr Barbara Bartocci (bb66 at st-andrews.ac.uk<mailto:bb66 at st-andrews.ac.uk>). The deadline for submission of abstracts is February 1, 2019. Notification concerning the acceptance of abstracts will be provided to the corresponding authors by February 22, 2019. Presenters should arrange their own conference travel and accommodation.
We warmly encourage submissions and/or attendance by members of groups underrepresented in academic philosophy.For more information, see https://www.st-andrews.ac.uk/arche/event/workshop-on-the-history-of-arabic-logic/ or contact Stephen Read at slr at st-andrews.ac.uk.
6 - 10 May 2019, The 19th Brazilian Logic Conference (EBL 2019), Joao Pessoa, BrazilLocation: Joao Pessoa, BrazilDeadline: Thursday 24 January 2019
The Brazilian Logic Conferences (EBL) is a traditional event of the Brazilian Logic Society (SBL). It has been occurring since 1979. Congregating logicians of different fields and with different backgrounds -- from undergraduate students to senior researchers -- the meeting is an important moment for the Brazilian and South-American logical community to join together and discuss recent developments of the field. The areas of Logic covered spread over Foundations and Philosophy of Science, Analytic Philosophy, Mathematics, Computer Science, Informatics, Linguistics and Artificial Intelligence.
There will be a Logic School during the conference; speakers and subjects to be announced.
The goal of the EBL meeting is to encourage the dissemination and discussion of research papers in Logic in a broad sense. We cordially invite submissions of contributed papers on general topics of Logic. The presentation of contributed papers in the event must fit a slot of 20 minutes of exposition plus 10 minutes of questions and discussion. This edition of the EBL particularly welcomes abstracts on Logic Teaching so as to stimulate the development of methods and strategies of teaching and learning Logic.
The EBL 2019 is happy to host round table proposals with a duration of at most two hours. They may be divided as desired, with a maximum of 4 and a minimum of 3 participants per session. Each session must have a coordinating chair assigned in the proposal.
24 - 26 April 2019, PhDs in Logic XI , BernLocation: BernTarget audience: PhD students, master students, first-year postdocsCosts: No registration feesDeadline: Monday 7 January 2019
PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It usually involves tutorials by established researchers as well as short presentations by PhD students, master students and first-year postdocs on their research. The 11th edition of PhDs in Logic will take place in Bern on April 24-26 2019 at the Institutes of Mathematics and Computer Science of the University of Bern. This edition of the conference will involve six tutorials in total, three of which will be delivered by young researchers.
We welcome students to participate in PhDs in Logic XI regardless of whether they want to submit a contribution. We also encourage students and postdocs in logic from disciplines other than computer science, mathematics, and philosophy to apply.
PhD students, master students, and first-year postdocs in logic from disciplines that include but are not limited to computer science, mathematics, and philosophy are invited to submit an extended abstract on their research.
Abstracts of contributed talks of 2 pages (not including references) are to be prepared using the EasyChair class style and submitted via EasyChair. Each abstract will be reviewed by the scientific committee. The accepted abstracts will be presented by their authors in a short presentation during the conference.
The deadline for contribution is on 7th of January 2019, and the notification of acceptance will be sent by 22nd of February 2019.For more information, see https://mathsites.unibe.ch/phdlogic2019/index.html or contact Almudena Colacito at phdsinlogic at gmail.com.
24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, GermanyLocation: Leipzig, GermanyDeadline: Thursday 1 November 2018
The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.
We welcome submissions which use Computational Intelligence techniques (e.g. Evolutionary Computation, Artificial Life, Machine Learning, Swarm Intelligence) in the generation, analysis and interpretation of art, music, design, architecture and other artistic fields. Submissions must be at most 16 pages long, in Springer LNCS format. Accepted papers will be presented orally at the event and included in the evoMUSART proceedings published by Springer Verlag in a dedicated volume of the Lecture Notes in Computer Science series.For more information, see http://www.evostar.org/2019/cfp_evomusart.php.
15 - 17 April 2019, "Mathematical Ability", Utrecht, The NetherlandsLocation: Utrecht, The NetherlandsDeadline: Tuesday 12 February 2019
Recently, the focus of inquiries intop mathematical cognition is shifting towards the process of mathematical activity: what is it to have mathematical ability, and how do we acquire the knowledge how to do mathematics? These questions are informed by the various E-approaches to cognition (Extended, Embodied, Embedded, Enactive, Enculturated cognition): our bodies, our technology, our environment - both offline and online - our practices, our culture, our education, and our interactional history might all have some role to play in our mathematical ability and the development thereof. How mathematical cognition is shaped by these factors is a broad question that warrants an interdisciplinary approach.
For this conference, we invite scholars from various fields, including but not limited to philosophy, logic, AI, cognitive (neuro)science, and education studies, to submit proposals for short talks on the following questions:
- What is it to do mathematics; what is it to have a mathematical ability; what is mathematical know-how?
- How do children learn mathematics; how do they acquire mathematical know-how?
- How can we capture, in a logical formalism, the ability to do mathematics?
- What role does our body play in our mathematical ability and the development thereof?
- How can we improve the methods by which embodied and embedded mathematical know-how is acquired, and can we design (digital) tools for this purpose?
- How can interaction with digital tools improve mathematical abilities?For more information, see https://digtep.sites.uu.nl/2018/10/24/conference-on-mathematical-ability/.
13 - 16 April 2019, 15th Annual Conference on Theory and Applications of Models of Computation (TAMC 2019), Kitakyushu, JapanLocation: Kitakyushu, JapanDeadline: Thursday 15 November 2018
TAMC 2019 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. TAMC is happening in Japan after a gap of Eight Years with special sessions on “Soft Computing and AI models”. TAMC 2011 was held in Tokyo, Japan.
All papers must be original and not simultaneously submitted to another journal or conference. Submitted papers should be Full papers [10-20 Pages] where a page constitutes 300-400 words.For more information, see https://drive.google.com/open?id=1tYAEUR1pRw9PBLcvVnm7bRgZ0hk1G5EV.
13 - 14 April 2019, The 20th Annual Graduate Student Conference in Logic (GSCL XX), Chicago IL, U.S.A.Location: Chicago IL, U.S.A.Target audience: graduate studentsDeadline: Friday 15 February 2019
Next semester the University of Illinois at Chicago is hosting the annual graduate student conference in logic. It will be a weekend long conference with one plenary talk from a professor in Model Theory or Set Theory and then talks from grad students.
It is most likely that free housing and a few meals will be provided for all participants, while funding for travel expenses will be limited to national flights.
9 April 2019, CROSSING THE BOUNDARIES: LANGUAGE IN INTERACTION, Nijmegen, the NetherlandsLocation: Nijmegen, the NetherlandsTarget audience: PhD studentsCosts: FreeDeadline: Thursday 31 January 2019
Broca and Wernicke’s breakthroughs in the 19th century paved the way to the current knowledge of language in the human brain. Yet, current research on this topic has gone above and beyond the scope of neuropsychology, with contributions from neuroscience, computer modelling, linguistics and genetics. The knowledge from these disciplines helped paint a more comprehensive picture of how the language system is organized in the brain. However, there is a theoretical gap between all these findings: solid evidence exists for how discrete elements of the language system are organized and work, but comprehensive models that encompass these separate results are still lacking. This reductionist bias is further exacerbated when overlooking the communicative aspect of language: are we able to fully explain how two human beings are able to communicate in an effective way?
In this symposium experts from different disciplines will explore how their fields of expertise can come together to provide an integrated understanding of human language.
Poster abstract submission is now open to consortium and non-consortium members and we will be awarding a prize to the most interdisciplinary poster.For more information, see https://www.languageininteraction.nl/research/lii-symposium.html or contact Lotte Eijk, João Ferreira, Guilherme Freches or Marlou Rasenberg at liisymposium2019 at gmail.com.
8 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.Location: Las Vegas NV, U.S.A.Deadline: Sunday 23 December 2018
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
Two types of paper submissions will be accepted: Regular Papers (papers that describe new results that advance the state-of-the-art, 5-7 pages) and Poster Presentations (Papers that describe work in progress, 3-5 pages). All papers must present original and unpublished work that is not currently under review elsewhere.
Quantitative and/or qualitative methods and results are welcome, as well as hypotheses-driven or more open-ended exploratory work. Submissions must clearly outline the methodology (manipulations, measurements, environment and context, etc.) and technologies used, for both replicability and enabling in-depth review. In addition, research providing novel system designs, algorithms, interface technologies, and computational methods supporting elements of situation management are encouraged.
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, AustriaLocation: Obergurgl, AustriaDeadline: Saturday 1 December 2018
Large-scale semantic processing and strong computer assistance of mathematics and science is our inevitable future. New combinations of AI and reasoning methods and tools deployed over large mathematical and scientific corpora will be instrumental to this task. The AITP conference is the forum for discussing how to get there as soon as possible, and the force driving the progress towards that.
There will be several focused sessions on AI for ATP, ITP and mathematics, Formal Abstracts, linguistic processing of mathematics/science, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
AITP solicits contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls. Submission is via EasyChair. Accepted contributions will be published in an informal book of abstracts for distribution at the conference.For more information, see http://aitp-conference.org/2019.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Friday 9 November 2018
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 five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series.
- ESOP: European Symposium on Programming
- FASE: Fundamental Approaches to Software Engineering
- FoSSaCS: Foundations of Software Science and Computation Structures
- POST: Principles of Security and Trust
- TACAS: Tools and Algorithms for the Construction and Analysis of Systems
TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP).
A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT, SynCoP, VerifyThis.
ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers. Submitted papers must be in English presenting original research. They must be unpublished and not submitted for publication elsewhere (this does not apply to abstracts). In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden.
3 - 5 April 2019, Workshop "Reasoning, Argumentation and Logic in Natural Language: Experiments and Models", Bochum, GermanyLocation: Bochum, GermanyDeadline: Wednesday 20 February 2019
The workshop examines reasoning, argumentation and logic from the perspective of experimental pragmatics. Whereas these issues have a long tradition in the philosophy of language and theoretical linguistics, research in experimental pragmatics has come to focus on them only recently. This is surprising since pragmatic phenomena exert strong influence on which arguments count as sound and valid in everyday reasoning. Relevant phenomena include (a) the disambiguation of polysemous words, (b) context effects on the interpretation of content words and (c) pragmatic properties of logical connectives (e.g., order effects associated with and) as well as of quantifiers (e.g., the scalar implicature from some to not all). The workshop focuses on (i) experimental approaches and (ii) empirically driven models regarding these as well as other pragmatic phenomena in the domain of argumentation and reasoning.
Submissions can be made for presentations, posters, or both. Please submit one-page abstract (pdf); a second page may contain references, graphs and tables.For more information, see https://www.ruhr-uni-bochum.de/phil-lang/argumentation.html or contact maria spychalska at conference-ralnat at ruhr-uni-bochum.de.
29 - 30 March 2019, "The Creative Power of Metaphor", Oxford, EnglandLocation: Oxford, EnglandDeadline: Wednesday 31 October 2018
Join us for an innovative 2-day conference on the nexus between Metaphor, Linguistic Diversity, and Creativity.
The conference will be structured around four themes. Each theme will be introduced in a keynote lecture, and developed in a plenary round-table discussion featuring selected panelists. Panelists will address general questions as well as questions raised by the audience. Moreover, two extensive Poster sessions will be dedicated to present specific studies related to the four themes.
- Metaphor and Linguistic Diversity (keynote speaker: Lera Boroditsky)
- Metaphor and Emotion (keynote speaker: Zoltán Kövecse)
- Metaphor and Communication (keynote speaker: Gerard Steen)
- Metaphor and Creativity (keynote speaker: Rachel Giora)
We invite abstracts (max. 300 words) for poster presentations that are relevant to one or more of the four themes of the conference. We also invite expressions of interest in participation in the panel discussions. We welcome submissions from early career researchers to both panels and posters.For more information, see https://www.creativeml.ox.ac.uk/about/events/creative-power-metaphor or contact creativemetaphor2019 at gmail.com.
27 - 30 March 2019, Third Tübingen Conference on Proof-Theoretic Semantics (PTS3): Assessment and Future Perspectives, Tübingen, GermanyLocation: Tübingen, GermanyDeadline: Monday 1 October 2018
We invite submissions for 30min-talks on any topic of proof-theoretic semantics. We especially encourage young researchers to contribute. If you would like to give a talk, please send a one-page abstract.For more information, see http://ls.informatik.uni-tuebingen.de/PTS3/.
27 - 28 March 2019, Third Symposium on Compositional Structures (SYCO 3), Oxford, EnglandLocation: Oxford, EnglandDeadline: Friday 15 February 2019
The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic".
Invited speakers: Marie Kerjean (INRIA Bretagne Atlantique) and Alessandra Palmigiano (Delft University of Technology and University of Johannesburg).
We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students.
Submissions should present research results in sufficient detail to allow them to be properly considered by members of the programme committee, who will assess papers with regards to significance, clarity, correctness, and scope. We encourage the submission of work in progress, as well as mature results. There are no proceedings, so work can be submitted even if it has been previously published, or has been submitted for consideration elsewhere. There is no specific formatting requirement, and no page limit.
25 - 29 March 2019, 13th International Conference on Language and Automata Theory and Applications (LATA 2019), St Petersburg, RussiaLocation: St Petersburg, RussiaDeadline: Sunday 11 November 2018
LATA is a conference series on theoretical computer science and its applications. LATA 2019 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
LATA 2019 will consist of invited talks and peer-reviewed contributions. Invited speakers: Henning Fernau (University of Trier), Edward A. Lee (University of California, Berkeley), Vadim Lozin (University of Warwick), From Words to Graphs, and Esko Ukkonen (University of Helsinki).
Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series. A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference.
A special issue of a major journal will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation.For more information, see http://lata2019.irdta.eu/.
22 - 23 March 2019, Mathematics in Philosophy: Purity and Idealization, Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.Deadline: Thursday 10 January 2019
In honor of the 70th birthday of Professor Mic Detlefsen, the University of Notre Dame will host a conference on twin themes in Detlefsen's work: Purity and Idealization in the Philosophy of Mathematics. All are welcome.
We invite submissions from graduate students for contributed talks on topics related to the conference theme. Student contributions (complete paper or extended abstract, suitable for a 30-minute presentation) should be sent to Patricia Blanchette by January 10, 2019
22 - 24 March 2019, The 30th International Conference on Algorithmic Learning Theory (ALT 2019), Chicago IL, U.S.A.Location: Chicago IL, U.S.A.Deadline: Friday 19 October 2018
The ALT 2019 conference is dedicated to all theoretical and algorithmic aspects of machine learning.Invited speakers: Sanjeev Arora (Princeton University) and Jennifer Wortman Vaughan (Microsoft Research, New York City).
We invite proposals for a tutorial presentation. These should be dealing with a learning theory topic covered within two hours. Proposals are limited to 2 pages and should include a one page abstract as well as links to any relevant material such as existing slides or other teaching material.
14 - 15 March 2019, Rudolf-Carnap-Lectures 2019: "Mental Representation & Propositional Attitudes", Bochum, GermanyLocation: Bochum, GermanyDeadline: Tuesday 15 January 2019
It?s an honor and a pleasure to host Frances Egan and Robert Matthews in Bochum to deliver the next Rudolf-Carnap-Lecture series. They will present two talks each, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes associated with the topics of the lectures.
Several PhD-student or early Postdoc presentations (constraint: PhD finished 2016 or later) are planned. In addition we have room for one or two experienced Postdoc presentations PhD finished 2012 or later). Therefore, we invite PhD students and Postdocs to submit abstracts (max. 1000 words), making thesis and argument transparent. The topic should be related to the main theme of the workshop in a loose sense. Papers will be selected based on a blind review process.For more information, see https://www.ruhr-uni-bochum.de/philosophy/carnaplectures/Rudolf-Carnap_Lectures/CFP_2019.html or contact sekretariat-newen at rub.de.
13 - 16 March 2019, The 4th Interdisciplinary Scientific Conference Mathematical Transgressions (ISCMT 2019), Cracow, PolandLocation: Cracow, PolandDeadline: Monday 31 December 2018
We are going to exceed the boundaries of mathematics again, and examine issues surrounding mathematics and its pedagogy together with researchers from all over the world who represent not only different scientific disciplines, but also different cultures, and thus may bring fresh perspectives to our discussions. We warmly invite especially mathematicians, mathematics educators, psychologists, philosophers and teachers of mathematics who are interested in transforming mathematics education and making it better for all the students.
The conference program will include plenary lectures, extended presentations, thematic working sessions, workshops and a poster session.
To submit your proposal, please, send us the title of your talk together with its abstract (up to 250 words). Each proposal has to refer to mathematics or its applications and address issues related to pure mathematics or mathematics education. After receiving all your submissions the Organizing Committee will group them in order to form Thematic Working Sessions.
We especially encourage all the participants to reflect on the psychological concept of transgression. Proposals bringing in some new understandings of this concept and its relation to mathematics are especially welcome.For more information, see https://iscmt.up.krakow.pl/IV/.
6 - 8 March 2019, Post-truth: The semantics and pragmatics of saying "what you believe to be false", BremenLocation: BremenDeadline: Wednesday 15 August 2018
Grice's first maxim of quality says "do not say what you believe to be false", but we often do. We tell lies ("I did not have sexual relations with that woman"), we deceive (e.g. by lying by implicature), we bullshit ("Trade wars are easy to win"), we make up stories ("When Harry Potter first came to Hogwarts …"), we pretend (Kids playing: "You were Batgirl and I was Wonder Woman"), or we use irony ("Losing the key was very smart!"). In all such speech acts there is a clear sense in which we're not, or at least not literally, speaking the truth. In this workshop we want to discuss the challenges that these and other deviations from the Gricean norm of quality pose for semantics and pragmatics and see if we can incorporate ideas from philosophy, literary theory, cognitive science and other related fields to extend the coverage of our theories of meaning and our understanding of the dynamics and logic of (non-)cooperative conversation.
Invited speakers: Regine Eckardt (Konstanz) and Jörg Meibauer (Mainz). Organized by Daniel Gutzmann (Cologne), Emar Maier (Groningen), and Katharina Turgay (Landau).
Send anonymous two-page abstracts for 20 minute talks (plus 10 minutes discussion) in pdf-format to: turgay at uni-landau.de Deadline: August 15, 2018.
3 - 5 March 2019, Eighth Indian Conference on Logic & Its Applications (ICLA 2019), New Delhi, IndiaLocation: New Delhi, IndiaDeadline: Thursday 15 November 2018
ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition and historical research on logic.
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, logic in computer science, foundations and philosophy of mathematics and the sciences, use of formal logic in areas of theoretical computer science and artificial intelligence, logic and linguistics, history of logic, Indian systems of logic, or on the relationship between logic and other branches of knowledge, are welcome.
Authors may submit drafts of full papers or extended abstracts. Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings. Concurrent submissions to other conferences/journals are not admissible.
2 March 2019, Pre-conference Workshop on Logic and CognitionLocation: New Delhi, IndiaDeadline: Monday 7 January 2019
In association with ICLA 2019, a pre-conference workshop on Logic and Cognition will be held on March 2, 2019. The workshop will focus on applying modal logics to analyze psychological tasks involving mental states, in particular:
(I) the paradigmatic false belief tasks, and
(II) higher order social reasoning tasks involving strategic games.
- Rohit Parikh (CUNY, USA)
- Torben Braüner (Roskilde University, Denmark)
- Sujata Ghosh (ISI Chennai, India)
We invite researchers in all areas of logic to submit an extended abstract (at most two pages in length) for a contributed talk. Abstracts can be on topics relating any aspect of logic and cognition, for example, applications of logic to the analysis of actual human reasoning. We are interested in both model-theoretic and proof-theoretic approaches. Submissions should be sent as a pdf file to both sujata at isichennai.res.in and torben at ruc.dk.
1 - 3 March 2019, 97th Workshop on General Algebra (Arbeitstagung Allgemeine Algebra - AAA 97), Vienna, AustriaLocation: Vienna, AustriaDeadline: Sunday 17 February 2019
The 97th edition of the "Arbeitstagung Allgemeine Algebra" (Workshop on General Algebra, AAA) conference series is going to be held at Technische Universität Wien in Vienna, Austria. The conference topics include Universal Algebra, Connections with Model Theory, Lattices, Categories, Semigroups, Applications in Computer Science, Classical Algebra, and Interactions with Philosophy. The program will consist of five invited plenary lectures of one hour, as well as contributed talks of about 20-25 minutes held in up to three parallel sessions.
All participants are welcome to give a contributed talk.
19 - 21 February 2019, Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2019), Prague, Czech RepublicLocation: Prague, Czech RepublicTarget audience: Computational LinguisticsDeadline: Thursday 20 December 2018
Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions.
The ICAART Special Session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.
We invite contributions relevant to the session topics. Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, for preliminary work in progress.
19 - 21 February 2019, 11th International Conference on Agents and Artificial Intelligence (ICAART-2019), Prague, Czech RepublicLocation: Prague, Czech RepublicDeadline: Monday 22 October 2018
The purpose of the International Conference on Agents and Artificial Intelligence is to bring together researchers, engineers and practitioners interested in the theory and applications in the areas of Agents and Artificial Intelligence. Two simultaneous related tracks will be held, covering both applications and current research work. One track focuses on Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general. The other track focuses mainly on Artificial Intelligence, Knowledge Representation, Planning, Learning, Scheduling, Perception Reactive AI Systems, and Evolutionary Computing and other topics related to Intelligent Systems and Computational Intelligence.
Papers describing original work are invited in any of the conference areas. Ideas on how to solve problems using agents and artificial intelligence, both in R&D and industrial applications, are especially welcome. Papers describing advanced prototypes, systems, tools and techniques and general survey papers indicating future directions are also encouraged. Authors can submit their work in the form of a Regular Paper, representing completed and validated research, or as a Position Paper, portraying a short report of work in progress or an arguable opinion about an issue discussing ideas, facts, situations, methods, procedures or results of scientific research focused on one of the conference topic areas.
CfP special issue of LMCS on Continuity, Computability, ConstructivityDeadline: Monday 1 April 2019
After a year of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and an excellent Workshop "Continuity, Computability, Constructivity: From Logic to Algorithms 2018" (CCC 2018) in Faro (Portugal) in September this year, we are planning to publish a collection of papers dedicated to the meeting and to the project as a Special Issue in the open-access journal "Logical Methods in Computer Science" (LMSC).
The issue should reflect progress made in Computable Analysis and related areas, and is not restricted to work in the CID project or presented at the Workshop. Submissions are welcome from all scientists on topics in the entire spectrum from logic to algorithms.
10 - 11 May 2019, Interdisciplinary Mathematics in Practice Conference, Stanford CA, U.S.A.Location: Stanford CA, U.S.A.
The conference aims to bring together researchers from history, mathematics, philosophy (and more!) to discuss aspects of the practice of mathematics and its implications.
Current speakers include:
For more information, see https://mathematicsinpractice.wordpress.com/.
- Jeremy Avigad (Philosophy & Mathematics, Carnegie Mellon University)
- Yacin Hamami (Logic & Philosophy of Science, Vrije Universiteit Brussel)
- Jemma Lorenat (Mathematics, Pitzer College)
- Ali Raza Malik (Mathematics & Computer Science, Stanford University)
- Rebecca Morris (Philosophy, Stanford University)
- Reviel Netz (Classics, Stanford University)
- Wilfried Sieg (Philosophy, Carnegie Mellon University)
- James Walsh (Logic & Methodology of Science, University of California, Berkeley)
- Jared Warren (Philosophy, Stanford University)
6 - 9 May 2019, 50 years of complexity theory: a celebration of the work of Stephen Cook, Toronto ON (Canada)Location: Toronto ON (Canada)
This symposium celebrates 50 years of NP-Completeness and the outstanding achievements of Stephen Cook and his remarkable influence on the field of computing.
The symposium begins Monday evening May 6, with a reception and a public lecture by Christos Papadimitriou. The scientific program continues Tuesday May 7 to Thursday May 9 and features an outstanding set of speakers, including a number of Turing Award and other award winners. On Thursday there will be a student round table lunch with Stephen Cook.For more information, see http://www.fields.utoronto.ca/activities/18-19/NP50.
3 - 4 May 2019, "Truth & Semantics" Kick-Off Workshop & Bristol Logic Meeting, Bristol, EnglandLocation: Bristol, England
The two-day workshop is intended as a platform for recent work in logic and philosophy of mathematics in the UK. The workshop is hosted jointly by the Foundational Studies Bristol (FSB) research group as part of the Centre for Science and Philosophy of the University of Bristol and the ERC-Starting Grant `Truth and Semantic' (TRUST) directed by Johannes Stern. The first day will focus on topics related to the TRUST-project while the second day is thematically unrestricted.For more information, see https://sites.google.com/site/jssternjohannes/trust/kick-off or contact Johannes Stern at johannes.stern at bristol.ac.uk.
29 - 30 April 2019, Mathematical Collaboration III, Bristol, EnglandLocation: Bristol, England
We are pleased to announce the third edition of the Mathematical Collaboration workshops. After the previous two successful workshops on group knowledge and mathematical collaboration (Oxford 2017) and social virtues in mathematics (St Andrews 2018), this year we return with a focus on communities and communication in mathematics.
Mathematical progress is a collective endeavour. Researchers build on one another’s work, collaborate, and rely on one another to learn techniques, and to identify interesting problems. Well-designed communities can support inquiry, foster collaboration, and include diverse researchers. Badly-designed communities can stymie inquiry, block collaboration, and can exclude people from marginalised groups. To understand what well-functioning communities look like, and how institutional structures in mathematics might be designed to best support intellectual progress, we need to engage in interdisciplinary inquiry, bringing together mathematical practice, social epistemology, sociology, education, and computer science. We also need to include working mathematicians, and researchers who are working on practical projects to improve the profession.For more information, see https://mathscollaboration.wordpress.com/mathematical-collaboration-iii/.
14 - 18 April 2019, Midlands Graduate School in the Foundations of Computing Science (MGS 2019), Birmingham, EnglandLocation: Birmingham, England
The Midlands Graduate School (MGS) in the Foundations of Computing Science provides an intensive course of lectures on the mathematical foundations of computing. The MGS has been running since 1999, and is aimed at PhD students in their first or second year of study, but the school is open to everyone, and has increasingly seen participation from industry.
Eight courses will be given. Participants usually take all the introductory courses (Lambda Calculus, Category Theory and Univalent Type Theory in Agda) and choose additional options from the advanced courses (Adventures in Property Based Testing, Calculating programs, JType Refinement Systems, Synthesis of Reactive Systems, and Monoidal Categories, Higher Categories) depending on their interests.For more information, see http://events.cs.bham.ac.uk/mgs2019/.
8 - 12 April 2019, 6th Workshop on Formal Topology (6WFTop), Birmingham, EnglandLocation: Birmingham, England
These workshops date back to 1997, and cover point-free topology, broadly interpreted, and its logical foundations. There is always a lively and fruitful interaction between different communities from mathematics, logic and computer science, and the meetings have proved fertile ground for developing commonalities between different foundational approaches such as predicative type theory, toposes and constructive set theory.
The main parts of the programme are:
- A tutorial day on the Monday around the theme "What is a space?". Matthieu Anel and Benedikt Ahrens will introduce the ideas of toposes and univalent type theory.
- Talks from invited speakers: Ingo Blechschmidt, Olivia Caramello, Maria Manuel Clementino, Tatsuji Kawai, Peter Johnstone and Giovanni Sambin.
- Contributed talks from other participants - if you wish to offer one, please submit an abstract.For more information, see http://www.cs.bham.ac.uk/~sjv/6WFTop/.
14 - 15 March 2019, Workshop on Theory and Algorithms in Graph and Stochastic Games, Mons, BelgiumLocation: Mons, Belgium
The aim of the workshop is to bring together researchers from two related fields in dynamic games: graph games and stochastic games. Despite clear differences in the emphasis, these two fields share a number of research goals, study related models, and use similar proof techniques. There is a scope for an interdisciplinary collaboration between researchers in different fields including computer science, economics, mathematics, and logic. The workshop is called for to serve as a forum for such collaboration.
The workshop has a wide scope, and covers amongst others the following areas:
- theoretical advances in graph and stochastic games
- algorithms and computational complexity in these games
- applications in computer science, economics, mathematics, biology, and physicsFor more information, see http://math.umons.ac.be/gamenet2019/.
27 February 2019, Workshop "Kurt Gödel: Philosophical Views", Berlin, GermanyLocation: Berlin, Germany
On January 14, 1978, Kurt Gödel, one of the greatest logicians of all times passed away. Today, 50 years later, we have still not exhaustively explored, discussed and conclusively assessed all of Goedel's visionary ideas. With this informal, one-day workshop we provide a forum for interested scientists from various disciplines to meet and discuss unexplored aspects in Goedel's work. A particular focus will be on his philosophical views.For more information, see http://www.christoph-benzmueller.de/2019-Goedel.
11 - 13 February 2019, Symposium on Responsible Intelligent Systems: Concepts, Practices and Formal Models, Utrecht, The NetherlandsLocation: Utrecht, The Netherlands
In this symposium we look back at some of the results of the REINS project on responsible intelligent systems and look forward at new routes of investigation for responsible AI in general.
The starting point of the REINS project was to develop logic-based modelling techniques that enable responsibility checking of artificial agents. As the project progressed, that goal evolved into a more general objective to understand the concepts involved in the modelling of responsibility, and to find the formal models that characterize them. Formalization has been the main focus throughout the project, paving the way for a more precise and operationalizable understanding of the concepts involved in responsibility, machine ethics and deontic reasoning. We believe the symbolic methods that we use in our model driven approach are essential to the solution of the problem of coming to responsible AI, since responsibility is too abstract and precarious a notion to be learned through data-driven approaches. However, the interplay between model-driven and data-driven approaches is one of the new future directions we are interested in.
For this final symposium of the project, we invite philosophers, logicians and specialists from concrete application areas of responsible intelligent systems (the military, the police).For more information, see https://responsibleintelligentsystems.sites.uu.nl/final-conference/.
4 - 9 February 2019, Winter School on Theoretical Foundations of Computer Science, Tbilisi, GeorgiaLocation: Tbilisi, Georgia
The winter school on Theoretical Foundations of Computer Science will be held in Tbilisi, Georgia, February 4-9, 2019. The school will be organized by the International Black Sea University with the support of Shota Rustaveli National Science Foundation of Georgia (SRNSFG). The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics.For more information, see https://cte.ibsu.edu.ge/wstfcs2019/.
1 - 3 February 2019, Very informal gathering of logicians (VIG 2019), Los Angeles, CALocation: Los Angeles, CA
There will be a Very Informal Gathering of Logicians (VIG) at UCLA, from Friday, February 1, to Sunday, February 3, 2019. The 20th in a series of biennial logic meetings at UCLA, this event will celebrate the 50th anniversary of the 1967-68 Logic Year at UCLA and the many influences it had in Mathematical Logic.
The invited speakers are: Justin Moore (giving the Hjorth Lecture), Julia Knight, Krzysztof Krupinski, Chris Laskowski, Menachem Magidor, Donald A. Martin, Grigor Sargsyan, Brandon Seward, Ted Slaman, John Steel, Anush Tserunyan, Robin Tucker-Drob and Hugh Woodin.For more information, see http://www.math.ucla.edu/~ineeman/Conf/VIG2019/.
MoL and PhD defenses
16 May 2019, PhD Defense, J. BergfeldTitle: Quantum logics for expressing and proving the correctness of quantum programsLocation: Agnietenkapel, Oudezijds Voorburgwal 229 - 231 - 1012 EZ Amsterdam.Promotor: S.J.L. SmetsCopromotor: J. SackFor more information, contact Jort Bergfeld at jort.bergfeld at gmail.com.
28 February 2019, Master of Logic defense, David O'ConnellTitle: Lorentzian Structures on Branching SpacetimesLocation: Room F1.15, Science Park 107, AmsterdamSupervisor: Alexandru Baltag
7 February 2019, Master of Logic defense, Kyah SmaalTitle: Strategic manipulation in voting under higher-order reasoningLocation: Room F2.19, Science Park 107, AmsterdamSupervisor: Ronald de Haan and Fernando R. Velázquez Quesada
Projects and Awards
Yde Venema is awarded an NWO TOP GrantWe are pleased to announce that Yde Venema has been awarded an NWO TOP Grant for his project proposal `Derivation Systems for Modal Fixpoint Logic'. Fixpoints are powerful mechanisms to express important properties in a wide range of logics, and the goal of the research is to develop, study and apply sound and complete proof systems for such logics. The project will fund two PhD students and one postdoc.
Funding, Grants and Competitions
E. W. Beth Dissertation Prize 2019Deadline: Monday 15 April 2019
Since 2002, FoLLI (the Association for Logic, Language, and Information) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree conferred in 2018.
In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on current topics in philosophical and mathematical logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited.
Call for Nominations: 2019 Alonzo Church Award for Outstanding Contributions to Logic & ComputationDeadline: Friday 1 March 2019
An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015.The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.
Nominations for the 2019 award are now being solicited. The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2019 award, the cut-off date is January 1, 1994. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Gödel Prize. While the contribution can consist of conference or journal papers, journal papers will be given a preference. Self-nominations are excluded. The 2019 award will be presented at ICALP 2019, the International Colloquium on Automata, Languages and Programming.For more information, see https://siglog.acm.org/alonzo-church-award-for-outstanding-contributions-to-logic-and-computation-2019/ or contact shankar at csl.sri.com.
FameLab: Pitch your research!Deadline: Thursday 31 January 2019
FameLab is an international competition for young scientists interested in science communication, co-organized by the UvA's Faculty of Science and the UvA AMC.
Call for Nominations: Ackermann Award 2019Deadline: Monday 1 April 2019
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. Nominations are now invited for the 2019 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1.2017 and 31.12.2018 are eligible for nomination for the award. The 2019 Ackermann award will be presented to the recipient(s) at CSL 2020, the annual conference of the EACSL, 13-16 January 2020, in Barcelona.
Open Positions at ILLC
Postdoctoral researcher in Neural Dialogue ModellingDeadline: Monday 6 May 2019
The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam invites applications for a postdoctoral position in the Dialogue Modelling Group led by Raquel Fernández. The mission of the group is to understand dialogical interaction by developing empirically-motivated formal and computational models that can be applied to various dialogue processing tasks and to human-machine interaction. The group has a wide international network of collaborators, both in academia and in industry research labs.
This position is part of the DREAM Project ('Distributed dynamic REpresentations for diAlogue Management'), which is funded by an ERC Consolidator Grant and will eventually employ two PhD candidates and two postdoctoral researchers.For more information, see here or at http://www.uva.nl/en/content/vacancies/2019/03/19-183-postdoctoral-researcher-in-neural-dialogue-modelling.html or contact Raquel Fernández at raquel.fernandez at uva.nl.
Postdoctoral researcher in Neural Machine TranslationDeadline: Friday 3 May 2019
This position is part of the EC-funded project Global Under-Resourced Media Translation (GoURMeT). The overall aim of the project is to develop data-efficient NMT by exploiting prior linguistic knowledge within deep generative models. A central theme of the project is latent variable modelling and for that experience with approximate inference and efficient gradient estimation for deep generative models is a must. The successful applicant will work under the supervision of Dr Wilker Aziz and in collaboration with PhD candidates already funded by GoURMet.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-171-postdoctoral-researcher-in-neural-machine-translation.html or contact dr Wilker Ferreira Aziz at W.FerreiraAziz at uva.nl.
Professor of Philosophy (Metaphysics)Deadline: Wednesday 1 May 2019The chair is part of the capacity group Philosophical Tradition in Context (PTC). This capacity group covers metaphysics broadly conceived, history of philosophy, non-western philosophy, and philosophy of science with an emphasis on the humanities and the social sciences, and/or on formal approaches. The successful candidate will be a specialist of international standing in metaphysics broadly conceived and with a perspective beyond the boundaries between the continental and analytic tradition. Furthermore the faculty is interested in a candidate who has competence in history of philosophy and/or philosophy of science, and/or non-western philosophy. As to other academic disciplines, the successful candidate easily crosses borders between various disciplines.For more information, see here or at https://www.uva.nl/en/content/vacancies/2019/03/19-148-professor-of-philosophy-metaphysics.html or contact Hotze Mulder at H.A.Mulder at uva.nl.
Postdoctoral researcher in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 28 April 2019The position is part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema. This project, which also involves three PhD positions, is a merger of two research projects.For more information, see here or at http://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-155-postdoctoral-researcher-in-proof-systems-for-modal-fixpoint-logics.html or contact Yde Venema at y.venema at uva.nl.
2 PhD candidates in Proof Systems for Modal Fixpoint LogicsDeadline: Sunday 14 April 2019
The positions are part of the research project Proof Systems for Modal Fixpoint Logics, to be directed by Dr Bahareh Afshari and Prof. Yde Venema.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2019/03/19-156-2-phd-candidates-in-proof-systems-for-modal-fixpoint-logics.html or contact Bahareh Afshari at b.afshari at uva.nl.
Postdoctoral Researcher in Neural Machine TranslationDeadline: Sunday 17 March 2019
This position is part of the EC-funded project Global Under-Resourced Media Translation (GoURMeT). The overall aim of the project is to develop data-efficient NMT by exploiting prior linguistic knowledge within deep generative models. A central theme of the project is latent variable modelling and for that experience with approximate inference and efficient gradient estimation for deep generative models is a must. The successful applicant will work under the supervision of Dr Wilker Aziz and in collaboration with a PhD candidate (already funded by GoURMet).For more information, see here or at http://www.uva.nl/shared-content/uva/en/vacancies/2019/02/19-081-postdoctoral-researcher-in-neural-machine-translation.html or contact Dr Wilker Aziz at W.FerreiraAziz at uva.nl.
PhD candidate Neural Dialogue ModellingDeadline: Monday 25 February 2019
This position is part of the Distributed dynamic REpresentations for diAlogue Management (DREAM) Project, which is funded by an ERC Consolidator Grant and will eventually employ two PhD candidates and two postdoctoral researchers.
The aim of the DREAM Project is to establish new computational models for dialogue agents that can learn from data about language use, integrating linguistic and perceptual information and leading to more human-like and effective communication. These models will be grounded in linguistic theories of dialogue, but exploit recent advances in artificial neural networks that will allow them to learn the representations that they manipulate directly from experience. Model analysis and interpretation are key aspects of the project.For more information, see here or at https://www.uva.nl/shared-content/uva/en/vacancies/2019/01/19-052-phd-candidate-neural-dialogue-modelling.html or contact Raquel Fernández at raquel.fernandez at uva.nl.
Open Positions, General
PSIMS: The Pragmatic Status of Iconic Meaning in Spoken Communication: Gestures, Ideophones, Prosodic ModulationsDeadline: Wednesday 15 May 2019
The Faculty of Modern Languages (FB 10), Goethe University Frankfurt, Linguistics/Semantics invites applications for 1 PhD position (E13 TV-G-U, 65% part-time) starting from June 1st 2019 (a later start is possible). The position is initially limited until November 30th 2019 and can be extended until September 30th 2020 (and, subject to funding, beyond that) as a 50% (E13 TV-G-U) part-time position. It is part of the project "The Pragmatic Status of Iconic Meaning in Spoken Communication: Gestures, Ideophones, Prosodic Modulations (PSIMS)" of the Priority Program XPrag.de.
The position involves participation in the research activities of the project, which investigates the pragmatic status of iconic meanings in the three dimensions gesture, ideophones, and prosodic modulations. The main aim of the project lies in the development of formal semantic theories and empirical evaluations of those by experiments and corpus work.
Responsibilities include particularly research on formal gesture semantics and the conception, execution, and evaluation of psycholinguistic experiments. Close cooperation with the other part of the research team at the Leibniz-Zentrum Allgemeine Sprachwissenschaft in Berlin, including a PhD student working on phonetic/phonological aspects of iconicity, is required.
Assistant Professorship in Philosophy of Science, Eindhoven (The Netherlands)Deadline: Friday 17 May 2019
The Philosophy and Ethics group at the Department of Industrial Engineering and Innovation Sciences of the Eindhoven University of Technology seeks an assistant professor for a full-time, tenure-track position. Candidates will have earned a PhD in philosophy by the date of application and demonstrate evidence of excellence in both teaching and research. The candidate is expected to contribute to teaching to engineering students (BSc and MSc levels). Areas of specialization should be philosophy of science and/or philosophy of technology; a specific interest in data science is an advantage. Fluency in English is required. Since the Department strives for a better gender balance, women are especially encouraged to apply.For more information, see https://jobs.tue.nl/en/vacancy/assistant-professor-in-philosophy-of-science-and-technology-558604.html.
PhD position on Formal Methods for Multi-agent Systems at TU ViennaDeadline: Sunday 5 May 2019
Fully funded research assistant position (PhD student) in verification and synthesis of multi-agent systems at the Formal Methods in Systems Engineering group at TU Wien, Vienna, Austria, supervised by Prof. Florian Zuleger.
Part-time lectureship (6m) in philosophy, Albany (New Zealand)Deadline: Monday 29 April 2019
The Massey University Philosophy Programme invites expressions of interest in a 6-month, part-time appointment, July-December 2019. The position involves teaching two undergraduate courses: (i) Critical Thinking, a first-year course which is required for students enrolled in the Massey BA, and (ii) Philosophy of Science, a third-year course. The appointment will be at Massey?s Albany campus, north of Auckland. The programme welcomes expressions of interest especially from members of groups underrepresented in Philosophy.For more information, contact Professor Adriane Rini at A.Rini at massey.ac.nz.
Full Professorship in Formal Foundations of AI, Vienna (Austria)Deadline: Thursday 16 May 2019
The TU Wien (Vienna University of Technology) invites applications for a Full Professor position at the Faculty of Informatics. The applicant is required to have an outstanding academic record in the fields of Symbolic Artificial Intelligence and Knowledge Representation & Reasoning. In particular it is expected that he/she has made substantial scientific contributions to formal and logic-based approaches of Artificial Intelligence with a particular focus on computational aspects (complexity analysis, decomposition methods,argumentation, algorithm design, systems) and applications.
Two Postdoc Positions in Computational Social Choice, University of Oxford (UK)Deadline: Thursday 9 May 2019
The Department of Computer Science at the University of Oxford has a vacancy for two Research Associates to join the ERC-funded project "Algorithms for Complex Collective Decisions of Structured Domains (ACCORD)" led by Professor Edith Elkind. This project aims to develop new tools and methodologies for making complex group decisions in rich and structured environments.For more information, see https://www.jobs.ac.uk/job/BRN100/research-associate-in-computational-social-choice-2-posts.
4y temporary assistant professorship in theoretical philosophy, Utrecht (The Netherlands)Deadline: Sunday 12 May 2019
The Department for Philosophy and Religious Studies at Utrecht University is looking for an Assistant Professor in the field of Theoretical Philosophy, with a broad teaching competence in Theoretical Philosophy. We offer a temporary position for the period of four years for 1.0 FTE. The intended starting date is 1 August 2019.
This position includes both teaching (70%) and research in this field (30%). Area of specialisation: any area of theoretical philosophy; Area of competence: modal logic and any combination of (preferably) many of the following: philosophy of the social sciences, critical thinking, philosophy of AI, general philosophy of science, epistemology, advanced (philosophical) logic, and philosophy of language/logic. As regards teaching, the Assistant Professor will teach on both BA- and MA-level, supervise theses, is capable of managing large courses and is available for administrative tasks concerning teaching. The candidate is in particular expected to contribute to the group's teaching in Modal Logic, Philosophy of Artificial Intelligence, Critical Thinking, Epistemology, and Philosophy of Language/Logic.For more information, see http://www.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4063&VacatureID=1038856 or contact Prof. D. Cohnitz at d.cohnitz at uu.nl.
Postdoctoral position in "Trust in Science" (15m), Venice (Italy)Deadline: Wednesday 24 April 2019
The Department of Philosophy and Cultural Heritage at the Università Ca’ Foscari Venezia is advertising a 15-month postdoc attached to the project 'Trust in Science', led by Prof. Eleonora Montuschi with the support of a great national/international and interdisciplinary network of experts, and with a view of expanding the project by applying for further grants.
Requirements: PhD in philosophy, social and human sciences, political sciences, management studies, and a scientific/professional curriculum appropriate for the research activities and objectives of the project.For more information, see https://apps.unive.it/common2/file/download/assegni_ricerca/5c9b789e29394 or contact Prof. Eleonora Montuschi at eleonora.montuschi at unive.it.
Two PhD or postdoctoral positions in knowledge-based systems, Dresden (Germany)Deadline: Sunday 12 May 2019
We are looking for two researchers to join the Knowledge-Based Systems Group at TU Dresden.
Project duration: until 31 Dec 2022 (extension possible). Start of position: as soon as possible (details to be negotiated). Main research areas: - Position 1: logic, knowledge representation, AI - Position 2: databases, reasoning, data exchange, AI. German is not required (international group), but it can be a plus.
Two postdoctoral positions in ontology-based management of quantitative data (logicians wanted), Liverpool & London (England)Deadline: Sunday 5 May 2019
We are seeking to recruit two Postdoctoral Researchers for the new EPSRC-funded research project "quantMD: Ontology-Based Management of Many-Dimensional Quantitative Data", under the direction of Professor Frank Wolter (University of Liverpool) and Professor Michael Zakharyaschev (Birkbeck, University of London).
The successful applicants should have a PhD in Computer Science, Mathematics, or related discipline and research experience. Your research tasks on the project will include developing and investigating new logic-based formalisms for representing knowledge about temporal quantitative data (for example, data from sensors) and designing efficient algorithms for query answering. The project will include both theoretical and practical components, and you can contribute to either of them. The start date of the project is October 1, 2019.
For more information, see https://recruit.liverpool.ac.uk/pls/corehrrecruit/erq_jobspec_details_form.jobspec?p_id=011437 (Liverpool) and https://cis7.bbk.ac.uk/vacancy/postdoctoral-researcher--383691.html (London).
Assistant/Associate Professorships in verification / programming languages, Edinburgh (Scotland)Deadline: Sunday 12 May 2019
Several Assistant Professor or Associate Professor positions are opening at Heriot-Watt University, with a focus on the following areas: verification/programming languages, computer security, or data science.
We invite bright researchers with expertise and a strong publication record in one of the following: programming languages, semantics, static analysis, type systems, proof theory, verification, formal methods, distributed systems, and parallel computation.For more information, see https://jobs.hw.ac.uk/OA_HTML/OA.jsp?OAFunc=IRC_VIS_VAC_DISPLAY&p_svid=22112&p_spid=1112032.
PhD position in Logic at Utrecht University, the NetherlandsDeadline: Monday 20 May 2019
We are looking for a talented and dedicated student with a master's degree or equivalent degree in mathematics, computer science, or philosophy, specializing in logic or a related area.The PhD position is embedded in the research project “Optimal Proofs” funded by the Netherlands Organization for Scientific Research and led by Prof. R. Iemhoff, Department of Philosophy and Religious Studies, Utrecht University. The project in mathematical and philosophical logic is concerned with formalization in general and proof systems as a form of formalization in particular.
Its mathematical aim is to develop methods to describe the possible proof systems of a given logic and establish, given various criteria of optimality, what the optimal proof systems of the logic are. Its philosophical aim is to develop general criteria for faithful formalization in logic and to thereby distinguish good formalizations from bad ones. The research of the PhD student lies mainly within the mathematical part of the project, but can, depending on the interests of the candidate, be extended to the philosophical part of the project as well.For more information, see https://www.academictransfer.com/nl/54097/phd-position-in-the-research-project-optimal-proofs-10-fte/ or contact Rosalie Iemhoff at r.iemhoff at uu.nl.
PhD Position in Foundations of Interactive Democracy, TU Berlin (Germany)Deadline: Sunday 5 May 2019
Applications are invited for a PhD position at TU Berlin. We are looking for a candidate with a strong interest in interdisciplinary research at the intersection of computer science, economics, mathematics, and political science. Relevant fields include Algorithmic Economics, Computational Social Choice, and Digital Democracy (aka e-democracy).For more information, see http://www.algo.tu-berlin.de/positions/.
PhD student position on Relevance, Hamburg (Germany)Deadline: Friday 17 May 2019
The University of Hamburg will have a position open for a research associate (wissenschaftliche/r Mitarbeiter/in) in the DFG-funded Emmy Noether Project "Relevance" (PI: Stephan Kraemer). The position is for a fixed term of three years. It is remunerated at the salary level TV-L 13 and calls for 65% of standard work hours per week. Applicants are expected to have obtained a master's degree by the time they take up their position.
The successful applicant will conduct independent research on the topics of the project, which should lead to the completion of a PhD thesis during the timeframe of the position. They will participate in regular research events and take on administrative duties such as the organization of workshops and conferences.For more information, see https://relevanceproject.wordpress.com/2019/03/27/phd-position-available/ or contact hamburgrelevance.applications at gmail.com.
Assistant/Associate Professor of Computer Science, Roskilde UniversityDeadline: Tuesday 23 April 2019
Department of People and Technology, Roskilde University, invites applications for a position as assistant/associate professor of Computer Science from August 1st 2019 or as soon as possible thereafter. The successful candidate is expected to become affiliated with the research group Programming, Logic and Intelligent Systems.For more information, see https://ruc.dk/en/vacant-positions-roskilde-university or contact Anders Siig Andersen at siig at ruc.dk.
PhD scholarships in Logic and Computation, Canberra (Australia)Deadline: Tuesday 30 April 2019
The Logic and Computation Group at the Research School of Computer Science, The Australian National University has a number of PhD scholarship available for bright, enthusiastic doctoral students in logic and several related fields. The scholarships are open to individuals of any nationality. Potential applicants are encouraged to consult the group's web pages and make direct contact with potential supervisors.
Postdoctoral positions in computational linguistics, Gothenburg (Sweden)Deadline: Wednesday 15 May 2019
The Centre for Linguistic Theory and Studies in Probability (CLASP) is based in the Department of Philosophy, Linguistics, and Theory of science (FloV) at the University of Gothenburg. CLASP is devoted to research and advanced training in the application of probabilistic modeling and machine learning methods to core issues in linguistic theory and cognition. It also addresses topics in dialogue and linguistic interaction. The postdoctoral researcher is expected to conduct research in CLASP's core areas of research in cooperation with the research group.
Apart from research, duties may include mentoring graduate students, course design, and/or teaching-related activities; such supplementary duties will not exceed 20% of the position?s responsibilities.For more information, see https://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=3919 or contact shalom.lappin at gu.se.
PhD student positions in theory and foundations of CS, Warwick (England)Deadline: Sunday 31 March 2019
PhD positions are available in the Centre for Doctoral Training (CDT) at the Department of Computer Science, University of Warwick, UK. The Theory and Foundations group in the department is inviting applications from those interested in theoretical computer science. The group works on various aspects of theoretical computer science and has strong ties with the Centre for Discrete Mathematics and its Applications (DIMAP). Together with DIMAP, the group is one of the leading theory groups in Europe, with regular publications in top international conferences and journals in theoretical computer science.
The applicants interested in theoretical computer science are expected to have a strong background in discrete mathematics, algorithms, or related topics with undergraduate and/or Master's degrees in Computer Science, Mathematics, or related disciplines. The position(s) will be fully funded, and the successful applicant(s) will be receiving a stipend at rate in line with current Research Councils UK rates.For more information, see https://warwick.ac.uk/fac/sci/dcs/research/focs/news/?newsItem=8a1785d8697d2eb30169876bf0a03821.
Postdoctoral position (3y) on "Truth & Semantics", Bristol (England)Deadline: Sunday 14 April 2019
The Department of Philosophy at the University of Bristol invites applications for a three-year Research Associate in Logic/Formal Semantics with the ERC-funded project 'Truth and Semantics' directed by Johannes Stern. The project aims to provide a unified perspective on natural language semantics, conceived of as truth-conditional semantics, and the research on the so-called semantic paradoxes in the form of theories of self-applicable truth.
The Research Associate is expected to conduct research with the aim of developing semantic accounts for rich fragments of natural language. They should have a research profile in logic and/or formal semantics. A background in formal theories of truth and/or relevant fields of natural language semantics may be an advantage. The role is offered on an open ended basis with fixed funding for three years, starting October 2019.For more information, see https://sites.google.com/site/jssternjohannes/trust/postdoc or contact Johannes Stern at johannes.stern at bristol.ac.uk.
Two PhD student scholarships in computer science (including logic), Swansea (Wales)Deadline: Saturday 23 March 2019
The Department of Computer Science at Swansea University is offering two fully funded PhD Scholarships to UK/EU applicants (subject to residency requirements). One is for a July 2019 start, the other for an October 2019 start. Any research area represented at the department is eligible. Our focus areas are: Data Science, Logic and Verification, Visual Computing, Human-Computer Interaction, and Security.For more information, see https://www.swansea.ac.uk/compsci/postgraduate/php-opportunities-computer-science/epsrc-computer-science-scholarships-2018-19/ or contact Dr Arno Pauly at arno.m.pauly at gmail.com.
PhD student position in formal verification, Delft (The Netherlands)Deadline: Monday 1 April 2019
The Programming Languages group at Delft University of Technology is looking for a fully-funded PhD student (4 years) on formal verification.
The successful candidate will will be enrolled in the TU Delft Graduate School and work under the supervision of Robbert Krebbers (daily supervisor) and Eelco Visser (promotor). The candidate will work on developing next-generation formal verification techniques and tools for programming concepts that so far have received relatively little attention, such as multilinguial software, (asynchronous) input/output, and non-functional properties. This work will revolve around Iris, a higher-order concurrency separation logic framework that is implemented in the Coq proof assistant. The exact research direction which will be determined based on the common interests of the candidate and the supervisor.For more information, see https://vacature.beta.tudelft.nl/vacaturesite/permalink/50824/?lang=en or contact r.j.krebbers at tudelft.nl.
PhD position in theory and applications of dependence logic, Helsinki (Finland)Deadline: Saturday 27 April 2019
The Department of Mathematics and Statistics at the University of Helsinki invites applications for a three-year doctoral student position (with a possibility of extension if further funding can be obtained later) in a research project on “Logical analysis of no-go theorems in social choice and quantum foundations”. This multidisciplinary project aims to apply the methodology of dependence logic to develop formal connections between no-go theorems in social choice theory (such as Arrow’s Theorem) and in quantum foundations (such as Bell’s Theorem). The project will also address relevant open problems in the theory of dependence logic.
The starting date of this position is September 1, 2019, or earlier by agreement. Applicants are expected to hold a Master’s degree in mathematics, computer science, philosophy or some other relevant subject by the time of the start date. An ideal candidate should have a strong background in mathematical logic, and a keen interest in interdisciplinary research.For more information, see https://www.helsinki.fi/en/open-positions/doctoral-student-theory-and-applications-of-dependence-logic or contact Fan Yang at fan.yang at helsinki.fi.
Multiple PhD Positions in Accountable, Responsible and Transparent AI, University of Bath (UK)Deadline: Monday 1 April 2019
At least 10 fully-funded studentships are available now and annually for the next five years at the UKRI Centre for Doctoral Training in Accountable, Responsible and Transparent AI (ART-AI) at the University of Bath. This 4-year PhD programme will train students to be "a specialist with perspectives", with not only AI skills but a broader understanding of the engineering applications of AI and the ethical, policy and socio-economic consequences of intelligent technologies.
Multiple PhD Position in Safe and Trusted AI, King's College London and Imperial College London (UK)Deadline: Sunday 17 March 2019
The UKRI Centre for Doctoral Training in Safe and Trusted Artificial Intelligence offers a unique four-year PhD programme, focussed on the use of model-based AI techniques for ensuring the safety and trustworthiness of AI systems. The CDT will fund up to 15 students each year for the next 5 years. Applications are open now to start in September 2019. The deadline for the current round of applications is 17 March 2019, with further rounds expected for entry in September 2019For more information, see http://www.kcl.ac.uk/stai.
Assistant Professorship in Digital Humanities, Kolding (Denmark)Deadline: Monday 22 April 2019
The Danish Institute for Advanced Study seeks an outstanding candidate to fill a position at the Assistant Professor level, starting August 1, 2019 or as soon as possible thereafter. The appointment is for four years with the possibility for a subsequent two years of employment as an Associate Professor.
The position is in the fields of: Humanities: Computational thinking, Visualization, and Digital Humanities. It is a requirement for the position that the applicant should have documented research qualifications within use of ICT for knowledge representation, modelling, and visualization within humanistic disciplines. Applicants who have worked with computational thinking or designs for learning with ICT will be preferred. Programming skills are welcomed but not required.For more information, see https://www.sdu.dk/en/service/ledige_stillinger/1028349 or contact professor Nina Bonderup Dohn at nina at sdu.dk.
Junior Research Group Leader in Philosophy of Machine LearningLocation: Tuebingen, GermanyDeadline: Sunday 10 March 2019
The Cluster of Excellence 'Machine Learning - New Perspectives for Science' at the University of Tübingen offers a position for the Leader of an Independent Junior Research Group (TV-L E14/E13), to be filled as soon as possible.
The Junior Research Group will be located in the 'Philosophy & Ethics Lab' within the Machine Learning Cluster, focusing on 'Philosophical / Ethical Implications of Machine Learning in Science'. The group leader is expected to develop and carry out a research program, focusing on either Philosophy of Science or Ethics. Early career researchers directly after the doctorate, as well as more experienced group leaders with some years of postdoc experience are asked to apply.
The research group will initially run for four years. After positive evaluation, it can be extended by up to three more years. The group comes with funding for PhD students/postdoc and independent research funding.For more information, see https://www.nature.com/naturecareers/job?id=674387.
Postdoctoral position in methodology of modal modelling, Stockholm (Sweden)Deadline: Tuesday 12 March 2019
The division of philosophy at KTH Royal Institute of Technology, Stockholm is advertising a 1-year postdoc (with the possibility to extend one more year) in philosophy of science.
The postdoc will work in the project Towards a Methodology of Modal Modeling. The project investigates how scientists employ modeling in order to justify possibility claims, analyses these practices with concepts from philosophy of science and modal epistemology, and seeks to develop a methodology for these modeling practices.
Requirements: PhD (philosophy of science or related) in hand, research focus on some aspect of scientific modelling, knowledge of climate sciences desirable.For more information, see https://www.kth.se/en/om/work-at-kth/lediga-jobb/what:job/jobID:253676/where:4/.
PhD Research Positions at Ruhr-Universität BochumDeadline: Sunday 10 March 2019
The Institute for Philosophy I at the Ruhr-University Bochum (RUB) invites applications for two PhD research positions in the domain of dialetheism and paraconsistent logics.
Duration: 4 years
Starting date: 1 October 2019 (latest)For more information, see https://www.stellenwerk-bochum.de/jobboerse/wissenschaftl-mitarbeiterin-phd-research-positions-mfd-258895-hw-4-years-bo-2019-01-31-231807 or contact Prof. Hitoshi Omori at hitoshi.omori at rub.de.
PhD student or postdoctoral position in philosophy of mind and cognition, Bochum (Germany)Deadline: Monday 25 March 2019
At the Institute of Philosophy II of the Ruhr-University in Bochum a position for a PhD student (65 % TVL) or a postdoc position (100% TVL) is offered in the area of philosophy of mind and cognition in the research group of Prof. Albert Newen. The position is available for a period of three years (with an assessment after the first year). The project will be situated in Bochum and developed in a close collaboration with philosophers from other RUB departments.
The candidates should be interested in working out a project within the thematic framework of the position determined by the research project "Constructing Scenarios of the Past: The Interdependence of Episodic Memory and the Self-Model", which focuses on the questions "How is the self-model constituted by episodic memory recall and how is episodic memory recall shaped by the self-model?"For more information, see http://www.ruhr-uni-bochum.de/philosophy/ii/pdf/stellenausschreibung_2019_eng.pdf or contact sekretariat-newen at rub.de.
PhD student position in Logics for Privacy, Bourges (France)Deadline: Sunday 31 March 2019
We are looking for a PhD candidate in Logics for Privacy at the Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) in Bourges, France, starting on 1st October 2019.
The PhD candidate will work under the supervision of Sabine Frittella and Benjamin Nguyen within the team Security of Data and Systems. The aim of this PhD is to develop probabilistic formal methods for privacy. Depending on the interests of the applicant, the PhD could be either oriented mostly toward logic or mostly toward privacy.
Postdoctoral position in formal methods and quantum computation, Verona (Italy)Deadline: Thursday 9 May 2019
We are seeking candidates for a one year post-doc position (with a possible one year extension) in the context of the QUILAB group at the University of Verona. The research project is concerned with formal methods and quantum computation, with a particular focus on quantum languages design and implementation. The scientific advisor of the project is Margherita Zorzi.
We are looking for researchers who can contribute to one or more of the research topics listed in the project. Candidates should hold a PhD in Computer Science (or a closely related field such as Mathematics) or be close to completing their PhD. Starting date: from May 2019 onwards.
Professorship in Digital Humanities, Cambridge (England)Deadline: Tuesday 5 March 2019
The Board of Electors to the Professorship of Digital Humanities invite applications for this new Professorship from persons whose work falls within the general field of Digital Humanities, to take up appointment on 1 September 2019 or as soon as possible thereafter.
The Professor of Digital Humanities will provide academic and intellectual leadership for and high-level strategic input into the University's work in the field of Digital Humanities. As a key part of their role, the Professor will carry out original scholarly research at the highest level, a significant proportion of which will be relevant to the Digital Humanities. The Professor will also have the opportunity to contribute to the work of a relevant Faculty or Department in the University
PhD student position in Machine Learning, Data Mining, Semantic Technologies, and NLP, Hannover (Germany)Deadline: Friday 1 March 2019
The L3S Research Center is offering a PhD Researcher position in collaboration with Petanux GmBH, in the areas of Machine Learning, Data Mining, Semantic Technologies and Natural Language Processing. This position offers a unique interdisciplinary and cross-sectoral research and training programme, which will explore how we can begin to analyse and understand the major events that influence and shape our lives and our societies. It will facilitate advanced cross-lingual processing of textual and visual information related to key contemporary events at scale, and will develop innovative methods for efficient and intuitive user access to and interaction with multilingual information.
The position is for three years (36 months) in the form of PhD scholarship. Your research will focus on selected topics in the following areas: Information extraction, Cross-lingual information alignment, Interactive access to cross-lingual information, Question answering and dialog systems, Large-scale data analytics - Knowledge graphs and RDF, or Machine Learning. Reference nr: PNX-L3S-1901.
Two PhD studentships in "Truth & Semantics"Location: Bristol, EnglandDeadline: Sunday 24 March 2019
The Department of Philosophy at the University of Bristol invites applications for two fully funded, 4 year PhD-studentships with the ERC-funded project 'Truth and Semantics' directed by Johannes Stern.
We encourage applications from students with a background in fields relevant to the project's research aims and training in logic and/or formal semantics. Successful candidates will work with the Principal Investigator and the project team (two Postdocs) on the project's research questions. The main tasks are to complete a dissertation within four years and participate in organising the project's events.For more information, see https://sites.google.com/site/jssternjohannes/trust/phd-studentships or contact Johannes Stern at johannes.stern at bristol.ac.uk.
Student position at the Czech Academy of SciencesDeadline: Monday 18 March 2019
A 9 month student position (capacity 75% FTE) within the framework of the project 19-05497S: "Complexity of mathematical proofs and structures" is available in the Department of Mathematical Logic and Theoretical Computer Science, Institute of Mathematics of the Czech Academy of Sciences. Applications are invited from candidates who are master students or Ph.D. students in Mathematics / Computer Science, and who have background and research interest in logic, computational or proof complexity, as well as attitude to solve problems in these areas.For more information, see http://www.math.cas.cz/recrutements/postes.php?lang=0 or contact Pavel Hrubes at hrubes at math.cas.cz.
2 PhD Positions at The Center for Information and Bubble Studies (CIBS), Copenhagen (Denmark)Deadline: Thursday 16 May 2019
The advertised PhD positions will be part of uncovering the formal structure and dynamics of bubble phenomena across sectors, domains and institutions.
1. We are looking for a candidate with a background in mathematics and economics with particular emphasis on econometric and statistical methods for studying social media data.
2. We are looking for a candidate with a background in economics, logic, mathematics or theoretical computer science with particular emphasis on formal models of knowledge representation for attention economics.
The successful candidate will be working in close cooperation with computer scientists, economists, social psychologists and behavioral scientists in order to crack the code of these interdisciplinary objects of scientific inquiry, which bubbles are within the CIBS understanding.
Postdoc Position in Game Theory, HSE St. Petersburg (Russia)Deadline: Friday 15 February 2019
The International Laboratory of Game Theory and Decision Making at the Higher School of Economics in St. Petersburg, Russia, invites applications for a postdoctoral research position in the fields of Game Theory, Computational Economics, and Discrete Mathematics.For more information, see http://scem.spb.hse.ru/en/ilgt/postdoc2019.
Postdoctoral position on a coalgebraic framework for reductive logic, London (UK)Deadline: Thursday 7 February 2019
We currently have a vacancy for a 1 year (with the possibility of extension to 3 years) postdoctoral position in UCL's Programming Principles, Logic and Verification research group. It is attached to the EPSRC-funded project ReLiC: A Coalgebraic Framework for Reductive Logic and Proof Search.
The successful candidate will be working with PI Prof. David Pym and co-investigators Prof. Alexandra Silva and Dr. Simon Docherty on coalgebraic and category theoretic approaches to the theory of proof search, focusing on the representation of both search spaces and the algorithmic control processes used to navigate them. The ideal candidate will additionally have automated reasoning and implementation expertise, with a view to implement prototype theorem provers based on the generic theory of reductive logic.For more information, see https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/S013008/1.
Postdoctoral position in Language in Interaction, Nijmegen (The Netherlands)Deadline: Sunday 17 February 2019
The Language in Interaction research consortium invites applications for a postdoctoral position in Linguistics. We are looking for a candidate with a background in theoretical and/or computational linguistics.
We are looking for highly motivated candidates to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour. The succesful candidate will be appointed at the Max Planck Institute for Psycholinguistics, Nijmegen, The Netherlands, and will be supervised by Peter Hagoort, programme director of the Language in Interaction consortium. The research is conducted in an international setting at all participating institutions. English is the lingua franca.
Lectureship / Associate Professorship in programming principles, logic, & verification, London (UK)Deadline: Thursday 28 February 2019
The Department of Computer Science at University College London (UCL) invites applications for a faculty position (Lecturer or Associate Professor) in the area of Programming Principles, Logic, and Verification (PPLV). Our interests span theory and practice, including logic, semantics, language design, program analysis, program verification, systems verification, systems modelling, compilation, and theorem proving.
We seek world-class talent; candidates must have an outstanding research track record.
UCL faculty are expected to carry world-class research, publish in top-tier venues, obtain research funding, deliver high-quality undergraduate and post-graduate teaching, supervise doctoral students, engage with the community, and contribute to the management of their department and the College.For more information, see https://atsv7.wcn.co.uk/search_engine/jobs.cgi?amNvZGU9MTc4NDY1MCZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY3R5cGU9MTI3MSZwb3N0aW5nX2NvZGU9MjI0&jcode=1784650&vt_template=966&owner=5041178&ownertype=fair&brand_id=0&vactype=1271&posting_code=224 or contact Prof. David Pym at d.pym at ucl.ac.uk, or Prof. John Shawe-Taylor at shawe-taylor at ucl.ac.uk.
PhD student or postdoc position in formal methods, Konstanz (Germany)Deadline: Friday 22 February 2019
The Chair for Software and Systems Engineering of the University of Konstanz has the opening of a full-time Research Assistant / PhD Student (Post-Doc) position available for three years, starting July 1, 2018. We are primarily looking for a PhD Student interested in working on formal methods for the design and analysis of complex systems. In exceptional circumstances applications from post-doctoral candidates with fitting interests will also be considered.
We like to use logic-based methods in modeling, specification and analysis of these systems. The position may therefore be interesting of a logician with strong interests in logic-based methods in computer science. Affinity towards software and some programming experience, however, is a prerequisite.For more information, see https://www.uni-konstanz.de/stellenangebote/stellenauswahl.php/stellenauswahl.php?seite=2019/008&id=1 or contact Prof. Dr. Stefan Leue at Stefan.Leue at uni-konstanz.de.
W3 Professorship in Theoretical Computer Science, Munich (Germany)Deadline: Friday 1 February 2019
This professorship is dedicated, in research and teaching, towards Theoretical Computer Science, in particular applications of logic and/or type theory to programming and programming languages.
Relevant areas of research are e.g.:
- Type Theory and Functional Programming
- Logic and Computer-Aided Reasoning
- Automatic Theorem Proving, esp. SAT- and related Solvers
- Foundations and Semantics of Programming Languages, esp. declarative languages
- Logical and Programming Language Aspects of resources, security, privacy, side effects and concurrencyFor more information, see https://www.tcs.ifi.lmu.de/news/professorship.
Lecturer/Senior Lecturer/Associate Professor in Computer Science, Canberra (Australia)Deadline: Sunday 10 February 2019
We seek applicants who have the potential and deep commitment to help define the future of their discipline. You will have the opportunity to present a vision for your research and education, and their importance to the future of computer science. Applications are particularly invited from researchers in computer science whose interests align with or complement existing strengths of the School, whose breadth of vision reaches across traditional discipline silos, and whose record includes strong links with external organisations and industry (where appropriate).For more information, see http://jobs.anu.edu.au/cw/en/job/527916/lecturersenior-lecturerassociate-professor or contact Bob Williamson at bob.williamson at anu.edu.au.
PhD student position in formal verification of ethical principles of AI, Umea (Sweden)Deadline: Thursday 31 January 2019
Umeå University, the Department of Computing Science, is seeking outstanding candidates for a Wallenberg Autonomous Systems Program (WASP) PhD student position in Computer Science with focus on formal verification of ethical principles of AI systems.
An important research area in AI is the development of theories and methods for control and verification of AI systems that adapt to their environment without direct intervention of the users. Trust in the system requires that we are able to ensure that the system complies with societal values and ethical principles, such as fairness, non-discrimination, safety or privacy. This requires going beyond traditional verification and monitoring methods. Theories and tools are needed to specify computational representations of these concepts, and to verify that a given system complies with these. In this project, you will develop methods to verify and monitor the ethical behavior of AI systems based on the observation of input and output behavior according to a continuously evolving societal optimum.
Reference number: AN 2.2.1-2063-18.For more information, see https://umu.mynetworkglobal.com/en/what:job/jobID:241808/ or contact Prof. Virginia Dignum at virginia at cs.umu.se.
PhD student position in cyber security, Guildford (UK)Deadline: Monday 1 April 2019
An exciting PhD position is now open. It will be jointly hosted at the Surrey Centre for Cyber Security (SCCS), a GCHQ-recognised 'Academic Centre of Excellence in Cyber Security Research', and Surrey's 5G Innovation Center (5GIC). @topic: This PhD is called "5GTech-Sec: Security analysis of systems using emerging 5G Technologies".
5GTech-Sec will undertake the formal security & privacy analysis of 5G-systems against 5G-specific security and privacy risks: e.g., threats stemming from reconfigurable networks, arbitrary number of connections to a small cell, etc. In other words, this a project to develop formal models, verification mechanisms and tools that are particularly suited for the verification of 5G systems. These will be primarily based on developing new techniques based on model checking of non-classical logics, such as temporal-epistemic logics, as well as theorem proving suited to security-driven theories. To this end, 5GTech-Sec will focus on: (1) capturing the arbitrary-size of the 5G systems; (2) encoding new threats stemming specifically from the novelty of 5G designs (e.g., reconfigurable networks and topologies); (3) analysing privacy properties.For more information, see https://www.jobs.ac.uk/job/BOZ441/phd-studentship-opportunity-security-analysis-of-systems-using-emerging-5g-technologies-5gtech-sec or contact Dr Ioana Boureanu at i.boureanu at surrey.ac.uk.
Postdoctoral position (1y) on the Goedel hierarchy, Warsaw (Poland)Deadline: Thursday 28 February 2019
A 12-month postdoc position at the University of Warsaw is available within the research project "Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy". The project concerns axiomatic theories of first- and second-order arithmetic.
The position comes with no teaching duties. The starting date of the position should be between October 2019 and February 2020.For more information, see https://www.mimuw.edu.pl/~lak/gr5811-postdoc-Oct2019-EN.pdf or contact Leszek Kołodziejczyk at lak at mimuw.edu.pl.
Two postdoctoral or PhD student positions on explaining description logic, Dresden (Germany)Deadline: Tuesday 15 January 2019
The Institute for Theoretical Computer Science at TU Dresden offers two research positions (PhD student or Postdoc) from March 2019 until December 2022.
The main task for these positions is to create, implement, and test approaches for explaining Description Logic and other forms of logical reasoning in a way that can adapt to certain types of users. In addition, one of the researchers is expected to work on interactive visualisation methods for explanations, and the other on applying ontology-based reasoning and explanation in an application scenario. This research will be carried out within a collaborative research center (CRC/Transregio 248) that lays the foundations for the cyberphysical systems of the future, enabling them to explain their functionality and behaviour (so-called Perspicuous Systems).For more information, see https://www.verw.tu-dresden.de/stellaus/stelle.asp?id=6536&lang=en.
Postdoctoral position in Language in Interaction, Nijmegen (The Netherlands)Deadline: Friday 18 January 2019
The Language in Interaction research consortium invites applications for a postdoctoral position. This position provides the opportunity for conducting world-class research as a member of an interdisciplinary team. This position will be held at the Donders Institute, Centre for Medical Neuroscience, Radboudumc, Nijmegen, The Netherlands. The institute involved is an equal opportunity employer, committed to building a culturally diverse intellectual community.
1 - 5 April 2019, ACE Incubator Program Tech & ScienceLocation: Startup Village, Science Park 608, AmsterdamTarget audience: MSc students, researchers & industry experts
Want to start your company in 2019? ACE helps founders build their startup with 12 weeks of training and support by leading mentors and business coaches. Sign up for our upcoming program (starts April 1st, 2019). We kick off the program with a one-week Bootcamp lead by SILICON VALLEY expert Gigi Wang.
The Incubation program is developed for MSc students & researchers. ACE provides the resources to build and grow your science or tech startup. Based within Amsterdam Science Park’s startup community at Startup Village, ACE’s workshops take place within the heart of innovation.
Deadline for applications: February 28th.
Translation Automation Society (TAUS) implements research results of Khalil Sima`an's DatAptor project
TAUS launches Matching Data: a new technique of selecting
language data for the training and tuning of machine
translation (MT) engines. This new approach is a perfect fit for
the new generation of Neural MT, which is much more sensitive to
the quality of the training data. Matching Data empowers MT
developers as well as Language Service Providers to efficiently
compile customized corpora for building their own domain-specific
translation solutions based on an example data set.
The DatAptor project was a research project undertaken by the Institute for Logic, Language and Computation of the
University of Amsterdam, led by Professor Khalil Sima’an and funded by the Dutch STW. Partners in the project were Intel, the Directorate General of Translation of the European Commission and TAUS. From 2013 to 2016 a team of researchers explored different approaches to make data selection from vast amounts of data seamless and more effective.