News and Events: Conferences
These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
Headlines Calls for Paper
Headlines Upcoming conferences
Calls for Paper
28 - 30 November 2018, 29th Novembertagung on the History of Mathematics: "History of Mathematical Concepts & Conceptual History of Mathematics", Sevilla, SpainLocation: Sevilla, Spain
The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.
We encourage submissions that engage with historical considerations of key concepts in mathematics, as well as those that are guided by a conceptual approach to the history and philosophy of mathematics. Abstracts, of around 250 words, should be submitted by May 15th 2018. Please note that the theme serves as a guide, not a criterion for exclusion, and as such it is not necessary for a submission to engage with the theme to be accepted.
22 - 23 March 2019, Mathematics in Philosophy: Purity and Idealization, Notre Dame IN, U.S.A.Location: Notre Dame IN, U.S.A.
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
17 - 21 June 2019, 16th Asian Logic Conference (ALC 2019), Astana, KazakhstanLocation: Astana, Kazakhstan
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/.
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.
(New) 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.
29 November - 1 December 2018, 64th Studentische Tagung Sprachwissenschaft (StuTS 64), Göttingen, GermanyLocation: Göttingen, GermanyTarget audience: studentsCosts: 30€ ppDeadline: Friday 16 November 2018
The „Studentische Tagung Sprachwissenschaft“ (StuTS) is a students conference taking place every semester in a different university in Germany and surrounding countries. The StuTS aims at providing a platform for students of all disciplines of linguistics and related subjects to get to know each other and share their knowledge.
The conference focusses on academic exchange amongst students. Participants have the possibility to conduct a presentation or give a workshop (usually 20 to 40 minutes) by submitting an abstract, where they can present any linguistic project they are working on without the pressure of talking in front of „experts“. Information can be found on our linked website.
We are inviting students of linguistics and related disciplines from BA to PhD level to present their work at the 64th StuTS, which takes place from November 29 to December 01, 2018 in Göttingen. Feel free to present work from class projects, your bachelor’s or master’s thesis, or a project you are working on. The topics should somehow fit into the general topic of linguistics and language research and we would appreciate a wide variety of topics.
Please hand in your abstract (max. 250 words including references) until November 11, 2018. The abstract should be in the language of your talk. If you are not presenting in English or German, please provide a translation of your abstract to one of those languages for us to evaluate your proposal. The translation will not be published in the conference booklet.
N.B.: As soon as you hand in your abstract, you will have to register for the conference separately. Both can be done directly from our website.
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/.
CfP special issue of the Artificial Intelligence Journal (AIJ) on Epistemic PlanningDeadline: Saturday 1 December 2018
Epistemic planning is the enrichment of automated planning with epistemic notions such as knowledge and belief. In order to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine state of the art from several such sub-areas of artificial intelligence that have so far been considered mostly in separation. Epistemic planning has applications in game playing, human-robot interaction, social robotics, etc.
For this special issue of AIJ, we invite papers on theory, applications, and implemented systems of epistemic planning.For more information, see here or at https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning.
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.
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/.
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.
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.
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.
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/.
CfP Special Issue of "Trends in Logic" on Algebra & Subsstructural LogicsDeadline: Monday 31 December 2018
Substructural logics, so named because they are usually formulated as Gentzen systems that lack one or more structural rules, have been intensively studied over the past two decades by logicians of various persuasions - mathematicians, philosophers, linguists and computer scientists. The recourse to algebraic methods - or, better, the fecund interplay of algebra and proof theory 0 has proved very useful in providing a unifying framework for these investigations. In particular, the series of conferences AsubL - Algebra and Substructural Logic, has played an important role in these developments. This special issue of Trends in Logic will be dedicated to the Conference AsubL (Algebra and substructural Logics - take 6) held in Cagliari on June 2018.
Following the spirit of the meeting, the present book proposal is aimed at exploring the following main topics:
- Proof Theory for Substructural Logics
- Algebraic Structures for Substructural Logics
- Methods for the Investigation of Substructural Logics
- Relationships with Other Families of LogicsFor more information, see http://sites.unica.it/asubl6/proceedings/.
CfP special issue of MCA on "Numerical and Evolutionary Optimization"Deadline: Monday 31 December 2018
The development of powerful search and optimization techniques is of great importance in science and engineering, particularly in today's world, which requires researchers and practitioners to tackle a variety of challenging real-world problems as technology becomes an ever-more-important aspect of everyday life. There are two well-established and widely-known fields that are addressing these issues: (i) traditional numerical optimization techniques and (ii) comparatively recent bio-inspired heuristics. Both of these fields have developed approaches with their unique strengths and weaknesses, allowing them to solve some challenging problems while sometimes failing in others.
The aim of this SI is to collect papers on the intersection of numerical and evolutionary optimization.For more information, see https://www.mdpi.com/journal/mca/special_issues/NEO18.
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.
6 - 10 May 2019, The 19th Brazilian Logic Conference (EBL 2019), Joao Pessoa, BrazilLocation: Joao Pessoa, BrazilDeadline: Saturday 5 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.
15 - 19 July 2019, 15th Conference on Computability in Europe (CiE 2019), Durham, EnglandLocation: Durham, EnglandDeadline: Monday 7 January 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.
The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2019. Papers must be submitted in PDF format, using the LNCS style, and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome.
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 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.
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/.
23 - 27 May 2019, 13th International Conference on Computational Semantics (IWCS Gothenburg 2019), Gothenburg, SwedenLocation: Gothenburg, SwedenDeadline: Tuesday 15 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.
25 - 28 June 2019, ICFCA 2019: Formal Concept Analysis, 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/.
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.
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.
5 - 7 June 2019, International Association for Computing and Philosophy Annual Meeting 2019 (IACAP 2019), Mexico City, MexicoLocation: Mexico City, MexicoDeadline: Friday 1 February 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.
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.
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.For more information, see http://www.iacap.org/.
26 - 28 June 2019, AUTOMATA 2019, Guadalajara, MexicoLocation: Guadalajara, MexicoDeadline: Monday 4 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/.
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/.
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.
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.
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/.
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.
CfP topical issue of Open Philosophy on "Computer Modeling in Philosophy"Deadline: Thursday 28 February 2019
Computational modeling opens new prospects for philosophical exploration and argument. The role played by logic in 20th century philosophy, it can be argued, will be played by computational modeling in the 21st. This special issue is devoted first and foremost to examples of computer-aided or computer-instantiated modeling across the discipline, including but not limited to philosophy of science, cognitive science, philosophy of mind, theory of evolution, logic, philosophy of language, epistemology, and social and political philosophy. Computational techniques range from agent-based modeling to neural networks and data mining. Results can expand the role of intuition pumps and thought experiments, can be used to measure the robustness and parameter-sensitivity of basic models, can put techniques from other disciplines to work in philosophical analysis, can track unexpected consequences of basic assumptions, and can force philosophical assumptions to be made explicit. Beyond new answers, computational techniques can highlight new questions, including questions regarding model validation, complexity, computability, representation, and reality.
Submissions will be collected from October 1, 2018 to February 28, 2019. There are no specific length limitations. To submit an article for the special issue of Open Philosophy, authors are asked to access the on-line submission system.Before submission the authors should carefully read over the Instruction for Authors. All contributions will undergo critical review before being accepted for publication.
(New) 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/.
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.
12 - 16 November 2018, The 21st International Conference on Knowledge Engineering and Knowledge Management (EKAW 2018), Nancy, FranceLocation: Nancy, France
EKAW 2018 concerns all aspects of eliciting, acquiring, modeling and managing knowledge, and the role of knowledge in the construction of systems and services for the semantic web, knowledge management, e-business, natural language processing, intelligent information integration, and so on.
The special theme of EKAW 2018 is "Knowledge and AI". We have papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery. EKAW 2018 puts a special emphasis on the importance of Knowledge Engineering and Knowledge Management with the help of AI as well as for AI.For more information, see https://project.inria.fr/ekaw2018/.
15 - 17 November 2018, The Making of the Humanities VIILocation: CREA, Nieuwe Achtergracht 170, Amsterdam, The Netherlands
The Making of the Humanities conference returns to Amsterdam! This is where the conference series started in 2008, ten years ago. Following successful meetings in Amsterdam in 2010, in Rome in 2012 and 2014, in Baltimore in 2016, and in Oxford in 2017, the seventh conference on the history of the humanities returns to the University of Amsterdam, November 15–17, 2018. The seventh conference is the largest in the series: over 140 papers have been accepted for presentation by speakers from over thirty different countries.
16 - 21 November 2018, Logic for Programming, AI & Reasoning (LPAR-22), Awassa, Ethiopia, Haile ResortLocation: Awassa, Ethiopia, Haile Resort
The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.For more information, see http://www.LPAR-22.info.
16 - 19 November 2018, "Reflections on Set Theoretic Reflection", Sant Bernat, Montseny, Catalonia, SpainLocation: Catalonia, Spain
The set theory conference 'Reflections on Set Theoretic Reflection', in celebration of Joan Bagaria's 60th birthday, will take place from 16-19 November 2018 in Sant Bernat, Montseny, Catalonia. The event is organised by the Institute of Mathematics of the University of Barcelona in partnership with the Clay Mathematics Institute.
Keynote Speakers: Peter Koellner (Harvard), Paul Larson (Miami) Menachem Magidor (Jerusalem), Jouko Väänänen (Helsinki and Amsterdam), and W. Hugh Woodin (Harvard).For more information, see http://www.ub.edu/RSTR2018/.
18 - 20 November 2018, 12th Multi-disciplinary International Conference on Artificial Intelligence Venue (MIWAI 2018), Hanoi, VietnamLocation: Hanoi, Vietnam
MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.
23 - 24 November 2018, Workshop on Mathematical and Astronomical Practices in pre-Enlightenment Scotland and her European Networks, St Andrews, ScotlandLocation: St Andrews, Scotland
The workshop will focus on Scottish natural philosophy and mathematics, and their innovative developments between 1550 and 1750. Traditional Scottish historiography of the period has been framed in terms of religious factions. The question of how scientific innovations flourished in this context has been little addressed.
We are particularly interested in mathematical practices related to measurement both in astronomy and in contexts such as navigation, surveying, cask gauging, grain measuring, and so on. Some apparently paradoxical processes of conceptual change in early modern mathematics, such as of ratio and proportionality, can only be understood by examining the mathematical collective tacit knowledge developed through practices with measuring instruments. Such instruments, and the associated practices, concepts, and books, circulated through networks of exchange.For more information, see http://www.mcs.st-andrews.ac.uk/MathsHistory/mathprac2018.shtml or contact Isobel Falconer at ijf3 at st-andrews.ac.uk.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, Sao Paulo & Campinas (Brazil)Location: Sao Paulo & Campinas (Brazil)
The topic of the conference is the interplay between set theory and model theory, both from a mathematical and a philosophical perspective, with particular emphasis on the method of forcing. This method, invented by Cohen in 1963, facilitated not only a proof of the independence of the Continuum Hypothesis, but also placed at the center of set theory the study of its models. Its model theoretic version, invented by Robinson, attempts to generalize the notion of algebraic closed fields to other areas of mathematics.
The conferece aims to gather early career scholars in order to foster collaborations and to present a wide perspective on the topics that Cantor and Robinson helped to create and develop. A series of three mini-courses will be held the week before the conference on the topics of Large Cardinals, Robinson Forcing, and Forcing Axioms.
8 - 9 December 2018, 13th International Symposium on Cognition, Logic, & Communication: "Events & Objects in Perception, Cognition, & Language", Riga, LatviaLocation: Riga, Latvia
Object and event perception are core features of human cognitive processing. Further, these core human cognitive abilities may be reflected differently in language and in perception. This symposium aims to integrate perspectives from different areas (including psychology, neuroscience, linguistics, computer science, AI, and philosophy).
The conference will include the Robert Blumberg Distinguished Lecture.
13 - 14 December 2018, TriCoLore 2018: Creativity | Cognition | Computation, Bolzano, ItalyLocation: Bolzano, Italy
TriCoLore 2018 consists of 2 days of joint workshops focusing on creativity, cognition, and computation: C3GI, on computational creativity, ISD4, the 4th Image Schema Day, together with the Bremen-Bolzano research collaboration SCORE on cognitive robotics. Three exciting interconnected events for the price of one!
C3GI 2018 is the 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence. Workshop topics include the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence.
The image schema day is dedicated to the interdisciplinary study of conceptual primitives such as image schemas, conceptual dependency, semantic primes and affordances.
SCORE is a research cooperation between the University of Bremen, Germany, and the Free University of Bozen-Bolzano, Italy, covering topics related to integrating cognitively inspired knowledge representation, embodied simulations, as well as ontology, into cognitive robotics. Interactions with image schema research and creativity are particularly encouraged.For more information, see http://tricolore.inf.unibz.it/.
16 - 19 December 2018, The 29th International Symposium on Algorithms and Computation (ISAAC 2018), Jiaoxi, TaiwanLocation: Jiaoxi, Taiwan
The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. In this year, we schedule two keynote talks by Clifford Stein and Shang-Hua Teng. In addition, we organize a special workshop on Dec. 16, right before the regular program of ISAAC (Dec. 17-19) and invite several internationally renowned computer scientists who were born in 1949 or earlier as special guest speakers, including Tetsuo Asano, Fan Chung Graham, Kurt Mehlhorn, and so on.For more information, see http://isaac2018.ie.nthu.edu.tw/.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), Santiago de Chile, ChileLocation: Santiago de Chile, Chile
The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.For more information, see http://www.mat-unab.cl/~ccr2018/.
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.
(New) 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.
21 - 25 January 2019, Syntax Meets Semantics 2019 (SYSMICS 2019), Amsterdam, the NetherlandsLocation: Doelenzaal, University Library, Singel 425 Amsterdam, the Netherlands
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/.
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/.
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/.
19 - 21 February 2019, 11th International Conference on Agents and Artificial Intelligence (ICAART-2019), Prague, Czech RepublicLocation: Prague, Czech Republic
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.
6 - 8 March 2019, Post-truth: The semantics and pragmatics of saying "what you believe to be false", BremenLocation: Bremen
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).
(New) 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/.
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.
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).
25 - 29 March 2019, 13th International Conference on Language and Automata Theory and Applications (LATA 2019), St Petersburg, RussiaLocation: St Petersburg, Russia
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).For more information, see http://lata2019.irdta.eu/.
27 - 30 March 2019, Third Tübingen Conference on Proof-Theoretic Semantics (PTS3): Assessment and Future Perspectives, Tübingen, GermanyLocation: Tübingen, GermanyFor more information, see http://ls.informatik.uni-tuebingen.de/PTS3/.
29 - 30 March 2019, "The Creative Power of Metaphor", Oxford, EnglandLocation: Oxford, England
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)For more information, see https://www.creativeml.ox.ac.uk/about/events/creative-power-metaphor or contact creativemetaphor2019 at gmail.com.
6 - 11 April 2019, 22nd European Joint Conferences on Theory And Practice of Software (ETAPS 2019), Prague, Czech RepublicLocation: Prague, Czech Republic
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.
24 - 26 April 2019, 8th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART), Leipzig, GermanyLocation: Leipzig, Germany
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.For more information, see http://www.evostar.org/2019/cfp_evomusart.php.
28 June 2019, ABC Networking Day 2019Location: Amsterdam, the Netherlands
This will be a full day of opportunities for strong mind and brain connections!For more information, see http://abc.uva.nl/content/events/conferences/2019/06/abc-day-2019.html.
1 - 15 July 2019, Spring Course in Epistemic Game TheoryLocation: Maastricht University, Maastricht, The Netherlands
Epistemic game theory is a new, fresh approach to game theory where the reasoning of people is at center stage. More precisely, it investigates how people like you and me reason in a game theoretic situation before they make a decision. Not only do we reason about the possible choices of others, but also about the reasoning of others. This type of reasoning will be our main theme of interest. The course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.
5 - 16 August 2019, 31st European Summer School in Logic, Language and Information (ESSLLI 2019), Riga, LatviaLocation: Riga, Latvia
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.
16 - 19 September 2019, Thirteenth International Tbilisi Symposium on Language, Logic and Computation, GeorgiaLocation: 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. There have been ten instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013), Tbilisi (2015) and Lagodekhi (2017).