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
5 - 8 August 2018, Fifteenth International Conference on Computability and Complexity in Analysis (CCA 2018), Lake Kochel, GermanyDate: 5 - 8 August 2018Location: Lake Kochel, Germany
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 2018 is held in Honour of Klaus Weihrauch's 75th Birthday, and is preceded by the conference Computability in Europe (CiE 2018) that takes place in Kiel, in the north of Germany, from July 30 to August 3, 2018.
Authors are invited to submit 1-2 pages abstracts in PDF format, including references.For more information, see cca-net.de/cca2018.
15 - 16 March 2018, "Philosophy of Imagination", Bochum, GermanyDate: 15 - 16 March 2018Location: Bochum, Germany
Recently, the notion of imagination has received much attention, especially in the epistemology of modality. However, what exactly it means to imagine something, and under what circumstances imaginability is a justification for believing in a modal claim, is still up for debate. The conference aims to elucidate the notion of imagination.
The interdisciplinarity of the topic is reflected in the expertises of the invited speakers: Magdalena Balcerak Jackson (University of Miami), Francesco Berto (ILLC, University of Amsterdam), Ruth Byrne (Trinity College Dublin), Heinrich Wansing (Ruhr-University Bochum) and Timothy Williamson (Oxford University).
Submissions are invited of abstracts for contributed talks. Abstracts should not exceed 3000 words (incl. references). Accepted authors will give a talk of about 20 minutes followed by a short discussion.
17 - 19 November 2017, 8th Language & Technology Conference (LTC'17), Poznan, PolandDate: 17 - 19 November 2017Location: Poznan, PolandDeadline: Thursday 26 October 2017
The 8th Language and Technology Conference (LTC 2017) is a meeting organized by the Faculty of Mathematics and Computer Science of the Adam Mickiewicz University, Poznań, Poland and the Adam Mickiewicz University Foundation. Following the tradition of the past events, it is supported by ELRA, FlaReNet, and META-NET. Since the very beginning (1995) the meetings of the LTC series continue to address Human Language Technologies (HLT) as a challenge for computer science, linguistics and related fields.
This year the conference will feature invited talks by Chris Cieri (Penn State University, USA), Verónica Dahl (Simon Fraser University, School of Computing Science, Burnaby B.C., Canada) , Joseph van Genabith (DFKI, Germany), and Jan Wielemaker (University of Amsterdam, Netherlands).
In memory of Alain Colmerauer who left us on May 13, 2017, and to whom LTC 2017 is dedicated, we organize a special session, for which contributions that rely or extend his work, as well concerning himself are solicited. These contributions can be research as well as state of the art papers, mini-tutorials or demos. Besides papers on new results we will highly appreciate contributions reporting on author's former results (already published or not), often remaining unknown to the large public, in particular those that directly refer to the work of Alain Colmeauer and/or his students. Also critical and comparative studies concerning logic programing versus other programming paradigms are welcome.
15 December 2017, Workshop "Games, Values, & AI", Cambridge, EnglandDate: Friday 15 December 2017Location: Cambridge, EnglandDeadline: Tuesday 31 October 2017
Please find below a CFP for a workshop we are arranging in Cambridge in December (apologies for cross-posting).
CALL FOR PAPERS: 'Games, Values and AI'
15 December 2017, Leverhulme Centre for the Future of Intelligence, University of Cambridge
This workshop aims to bring together researchers from different backgrounds to explore the philosophical and social issues raised by games as inspiration, model, testbed or context for Artificial Intelligence.
We welcome contributions from any field of research that illuminates the philosophical and social dimensions of AI in relation to games. Possible topics include (but are not limited to) the Ethics of AI and Games, Narratives of AI, Games in AI Research, Intelligence and Game-Playing and the Aesthetics and Art Theory of Games.
Deadline for submissions: 31 October 2017.
Submission format: Send a 200-300 word abstract (excluding references), prepared for anonymous review, together with separate documents containing contact details, to: rn330 at cam.ac.uk, subject headline: "Games, Values and AI".
Organisers: Rune Nyrup and Henry Shevlin. Further details: https://philevents.org/event/show/36266
We welcome contributions from any field of research that illuminates the philosophical and social dimensions of AI in relation to games. Possible topics include (but are not limited to) the Ethics of AI and Games, Narratives of AI, Games in AI Research, Intelligence and Game-Playing and the Aesthetics and Art Theory of Games.
25 - 29 June 2018, XXIInd European Symposium on Medieval Logic & Semantics (ESMLS XXII), Düsseldorf, GermanyDate: 25 - 29 June 2018Location: Düsseldorf, GermanyDeadline: Tuesday 31 October 2017
The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".
Many thanks to those of you who already sent us a proposal for a contribution. We would like to invite the rest to send us your abstracts by October 31, 2017. We are looking forward to your contributions.For more information, see preben.nl/ESMLS.html.
4 - 6 April 2018, 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART 7), Parma, ItalyDate: 4 - 6 April 2018Location: Parma, ItalyDeadline: Wednesday 1 November 2017
The 7th International Conference on Computational Intelligence in Music, Sound, Art and Design (evoMUSART) will be held in Parma in 4-6 April 2018, as part of the evo* event. 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.For more information, see www.springer.com/computer/lncs.
16 - 18 January 2018, Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2018) at ICAART 2018, Funchal, Madeira - PortugalDate: 16 - 18 January 2018Location: Funchal, Madeira - PortugalDeadline: Tuesday 7 November 2017
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 session covers theoretical work, advanced 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 any of 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.
17 - 19 April 2018, Tenth NASA Formal Methods Symposium (NFM 2018): 30 Years of Formal Methods at NASA, News VA, U.S.A.Date: 17 - 19 April 2018Location: News VA, U.S.A.Deadline: Friday 10 November 2017
The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.
The focus of the symposium will be on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.
There are two categories of submissions: Regular papers (describing fully developed work and complete results, maximum 15 pages) and Short papers (on tools, experience reports, or work in progress with preliminary results, maximum 6 pages). All papers must be in English and describe original work that has not been published or submitted elsewhere.
CfP special issue of Studia Logic on "Permissions, Obligations, & Beyond"Deadline: Wednesday 15 November 2017
The relation between obligations and permissions is usually understood either as the first implying the second, or as the second constraining the promulgation of further obligations. The dynamic generation of obligations by rights and permissions, by contrasts, has received comparatively little attention. This special issue aims at exploring such questions as 'when do permissions and rights generate obligations for others', and more generally welcomes any original perspective on the logical relations between obligations and permissions and other related topics within deontic logic.
18 - 22 June 2018, 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), Edinburgh, ScotlandDate: 18 - 22 June 2018Location: Edinburgh, ScotlandDeadline: Thursday 16 November 2017
Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.
Diagrams 2018 has various calls, providing a range of opportunities for taking part in the conference. Diagrams solicits research contributions falling within the scope of the conference, to be submitted to one of three tracks: the Main track, the Main track, the Psychology of Diagrams track, and the Philosophy of Diagrams track. In addition, Diagrams seeks to host Workshops and Tutorials.For more information, see www.diagrams-conference.org/2018.
8 - 12 April 2018, 12th International Conference on Language and Automata Theory and Applications (LATA 2018), Ramat Gan, IsraelDate: 8 - 12 April 2018Location: Ramat Gan, IsraelDeadline: Friday 17 November 2017
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2018 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.
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.
9 - 12 July 2018, 12th International Congress of the International Society for the History of Philosophy of Science (HOPOS 2018), Groningen (The Netherlands)Date: 9 - 12 July 2018Location: Groningen (The Netherlands)Deadline: Friday 1 December 2017
HOPOS is devoted to promoting serious, scholarly research on the history of the philosophy of science. We construe this subject broadly, to include topics in the history of related disciplines and in all historical periods, studied through diverse methodologies. We aim to promote historical work in a variety of ways, but especially through encouraging exchange among scholars through meetings, publications, and electronic media.
HOPOS 2018 will take place at the University of Groningen in the Netherlands in July 2018. The local organizers include Professor Martin Lenz, Dr Han Thomas Adriaenssen and Dr Andrea Sangiacomo of the History of Philosophy Department. Keynote speakers: Karen Detlefsen (University of Pennsylvania) and Martin Kusch (University of Vienna).
The Society hereby requests proposals for papers and symposia to be presented at the meeting. The program committee particularly encourages submissions on philosophical themes that cross time periods. Proposals for papers should be prepared for anonymous review. Proposals for symposia should consist of 3 or 4 papers.
25 - 30 March 2018, 3rd Conference on Artificial Intelligence and Theorem Proving (AITP 2018), Aussois, FranceDate: 25 - 30 March 2018Location: Aussois, FranceDeadline: Sunday 3 December 2017
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, modern AI and big-data methods, and several sessions with contributed talks. The focused sessions will be based on invited talks and discussion oriented.
We solicit contributed talks. Selection of those will be based on extended abstracts/short papers of 2 pages formatted with easychair.cls.For more information, see aitp-conference.org/2018.
4 - 6 January 2018, British Postgraduate Model Theory Conference 2018, Oxford, EnglandDate: 4 - 6 January 2018Location: Oxford, EnglandDeadline: Monday 4 December 2017
The aim of this conference is to provide a platform for postgraduate students working in model theory to present their research.
Invited speakers: Bruno Poizat (Institut Camille Jordan) and Francoise Delon (Paris Diderot), plenary talks, and Dugald Macpherson (Leeds), short course.
If you would like to give a talk please email the address given on the website by 4 December 2017.For more information, see bpgmtc2018.wixsite.com/bpgmtc.
16 - 17 June 2018, 2nd Chinese Conference on Logic & Argumentation (CLAR 2018), Hangzhou, ChinaDate: 16 - 17 June 2018Location: Hangzhou, ChinaDeadline: Monday 15 January 2018
The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.
We invite submissions of full papers or extended abstracts (see below), from either the field of logic or the field of argumentation. We are particularly interested in works crossing the boundaries between the two (but this is not a requirement). We invite two types of submissions: full papers (max 12 pages in LNCS format) describing original and unpublished work and extended abstracts (max 5 pages in LNCS format) of preliminary original work or already published work.
14 - 17 July 2018, 9th International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, EnglandDate: 14 - 17 July 2018Location: Oxford, EnglandDeadline: Monday 22 January 2018
IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.
IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods).
IJCAR 2018 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Both original research papers and descriptions of working automated deduction systems are solicited.
We welcome papers combining automated-reasoning formalisms & techniques and with those from other areas of CS and mathematics, including, e.g., computer algebra, machine learning, formal languages, formal verification, termination. In particular, high-quality conference papers on the topics of the IJCAR 2018 affiliated workshops are welcome.For more information, see www.ijcar2018.org.
CfP special issue of Synthese on "Mathematical Cognition & Enculturation"Deadline: Thursday 1 February 2018
A CfP is out for the upcoming Synthese Special Issue "Mathematical Cognition and Enculturation", edited by Catarina Dutilh Novaes and Markus Pantsar.
With this special issue, we hope to advance our understanding of mathematical cognition by exploring the perspective of enculturation. Conversely, we also hope to investigate the merits, reach and limits of the enculturation perspective by means of detailed analyses of a specific but important case study: mathematical cognition. Submissions are invited from a wide variety of approaches in philosophy of mathematics, including views critical of the concept of enculturation with respect to mathematics.For more information, see philevents.org/event/show/35470.
27 - 31 August 2018, 12th International Conference on Advances in Modal Logic (AiML 2018), Bern, SwitzerlandDate: 27 - 31 August 2018Location: Bern, SwitzerlandDeadline: Sunday 11 March 2018
Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).
Authors are invited to submit, for presentation at the conference and publication in the proceedings:
- full papers, intended for publication in the proceedings and presentation at the conference, reporting on original research and not submitted elsewhere
- short presentations intended for presentation at the conference but not for the published proceedings. which may describe preliminary results, work in progress etc.
We invite submissions on all aspects of modal logic. Papers on related subjects will also be considered.
(New) 24 - 27 July 2018, 25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018), Bogota, ColombiaDate: 24 - 27 July 2018Location: Bogota, ColombiaDeadline: Sunday 11 March 2018
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.
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 wollic.org/wollic2018.
11 - 13 June 2018, 6th Workshop on Algebra & substructural logics (AsubL Take 6), Cagliari, ItalyDate: 11 - 13 June 2018Location: Cagliari, ItalyDeadline: Sunday 15 April 2018
The workshop AsubL (Algebra & Substructural Logics) is a workshop on algebraic structures related to substructural logics. It is the sixth in the series and it will be held in Cagliari, Italy as an event in the framework of SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
Invited speakers: Anatolij Dvurečenskij, Tomasz Kowalski, Hiroakira Ono (Founder of AsubL) and Constantine Tsinakis.
Authors are kindly asked to submit an abstract (not exceeding two pages) for their proposed contributed talks to Francesco Paoli. The duration of the contributed talks will be communicated in a later announcement. We welcome contributions on any topic relevant to the theme of the workshop.
30 October - 2 November 2018, 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe AZ, U.S.A.Date: 30 October - 2 November 2018Location: Tempe AZ, U.S.A.Deadline: Sunday 13 May 2018
Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.
The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.
KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.
We solicit papers presenting novel results on the principles of KRR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KRR. We also encourage "reports from the field" of applications, experiments, developments, and tests. We invite two kinds of submissions: full papers and short papers.
For its 2018 edition, KR will solicit proposals for both the Tutorial and Workshop tracks. Tutorials and workshops will be held from 27 to 29 October 2018, prior to the KR main technical program, which will run from 30 October to 1 November 2018. The deadline for proposal submissions is 21 February 2018.For more information, see reasoning.eas.asu.edu/kr2018.
15 - 17 October 2017, The 3rd Israeli Workshop on Non-Classical Logics and Their Applications (IsraLog 2017), Tel Aviv, IsraelDate: 15 - 17 October 2017Location: Tel Aviv, Israel
The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.
This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.For more information, see is.haifa.ac.il/~annazam/isralog17.
16 - 18 October 2017, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Mons, BelgiumDate: 16 - 18 October 2017Location: Mons, Belgium
TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.For more information, see informatique.umons.ac.be/time2017.
18 - 20 October 2017, 16th International Conference on WWW/INTERNET 2017 (ICWI'2017), Vilamoura, PortugalDate: 18 - 20 October 2017Location: Vilamoura, Portugal
The WWW/Internet 2017 Conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference aims to cover both technological as well as non-technological issues related to these developments.
18 - 20 October 2017, 14th International Conference on Applied Computing 2017 (AC 2017), Vilamoura, PortugalDate: 18 - 20 October 2017Location: Vilamoura, Portugal
The Applied Computing 2017 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas.
18 - 21 October 2017, Symposium "On the infinite", Paris, FranceDate: 18 - 21 October 2017Location: Paris, France
In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures. Some of the mathematical talks will be aimed at a general audience. The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.For more information, see www.i-n-f-i-n-i-t-y.org.
20 October 2017, Workshop "The Classics of the Humanities II"Date & Time: Friday 20 October 2017, 09:30-17:00Location: Amsterdam, the Netherlands
What are the classics of humanistic scholarship? Most historians of science or historians of philosophy would be able to produce a list of classical texts within their field in a short time. Such texts are well known, often reproduced, and recommended in syllabi and readers around the world. Nothing similar exists for the history of the humanities. Even if much debate in recent decades has criticized the idea of canons, there may be good reasons why we need one. An established list of classics would not only make the history of humanities a more teachable topic, but also to promote new research in the field. On the one hand, such a list could inspire scholars to reinvestigate the classics. On the other hand, it could provoke others to question what should and should not be considered classics, as it has happened in recent decades in other historical fields.For more information, see vossius.uva.nl/content/events/workshops/2017/10/classics-of-humanities-2.html or contact Rens Bod at rens.bod at gmail.com.
23 - 27 October 2017, Fourth International Meeting of the Association for Philosophy of Mathematical Practice (APMP IV), Salvador da Bahia, BrazilDate: 23 - 27 October 2017Location: Salvador da Bahia, Brazil
Over the last few years approaches to the philosophy of mathematics that focus on mathematical practice have been thriving. Such approaches include the study of a wide variety of issues concerned with the way mathematics is done, evaluated, and applied, and in addition, or in connection therewith, with historical episodes or traditions, applications, educational problems, cognitive questions, etc. In 2009, a group of researchers in this field gathered to promote the creation of the Association for the Philosophy of Mathematical Practice, APMP. This association aims to become a common forum that will stimulate research in philosophy of mathematics related to mathematical activity, past and present, and foster joint actions. The Fourth International Meeting of the Association for the Philosophy of Mathematical Practice will be held on October 23-27, 2017, in Salvador da Bahia, Brazil.
25 - 27 October 2017, Workshop on Linguistic Intuitions, Evidence, and Expertise, Aarhus, DenmarkDate: 25 - 27 October 2017Location: Aarhus, Denmark
At this conference we want to bring together linguists and philosophers interested in the methodological foundations of linguistics. In particular, we want to better understand whether linguistic intuitions can legitimately be used as evidence for theories of grammar. How big is the risk of bias and distortion when linguists use their own intuitions? Can the evidential value of linguistic intuitions be improved by systematically studying the intuitions of non-linguists? Or are there good reasons to prefer the judgements of expert linguists?For more information, see projects.au.dk/intuitions/upcoming-events.
26 - 27 October 2017, International Conference "I Think, Therefore I Teach: Evolutions in Early Modern Education", Leuven, BelgiumDate: 26 - 27 October 2017Location: Leuven, Belgium
The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.
Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.
2 - 4 November 2017, Novembertagung 2017: "Tools for research in mathematics, history, & philosophy", Brussels, BelgiumDate: 2 - 4 November 2017Location: Brussels, Belgium
The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students in the history of mathematics and related fields. It provides an opportunity for them to present and discuss their research in an informal and safe environment, share experiences and advice and to establish new contacts.
The theme of the Novembertagung this year is "Tools for research in mathematics, history and philosophy". Invited speakers: Liesbeth de Mol (Lille) & Ralf Krömer (Wuppertal).
9 - 10 November 2017, Workshop "Logic in the Wild", Gent, BelgiumDate: 9 - 10 November 2017Location: Gent, Belgium
Nowadays we are witnessing a ‘practical’, or cognitive turn in logic. The approach draws on enormous achievements of a legion of formal and mathematical logicians, but focuses on `the Wild: actual human processes of reasoning and argumentation. Moreover, high standards of inquiry that we owe to formal logicians offer a new quality in research on reasoning and argumentation. In terms of John Corcoran’s distinction between logic as formal ontology and logic as formal epistemology, the aim of the practical turn is to make formal epistemology even more epistemically oriented. This is not to say that this ‘practically turned’ (or cognitively oriented) logic becomes just a part of psychology. This is to say that this logic aquires a new task of “systematically keeping track of changing representations of information”, as Johan van Benthem puts it, and that it contests the claim that the distinction between descriptive and normative accounts of reasoning is disjoint and exhaustive. From a different than purely psychological perspective logic becomes — again — interested in answering Dewey’s question about the Wild: how do we think? This is the new alluring face of psychologism, or cognitivism, in logic, as opposed to the old one, which Frege and Husserl fought against. This is the area of research to which this workshop is devoted.
12 - 15 November 2017, Trends in Logic XVII, Lublin, PolandDate: 12 - 15 November 2017Location: Lublin, Poland
Trends in Logic is the conference series of the journal 'Studia Logica'. The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from November 12-November 15, 2017 under the title 'Traditional and new perspectives on deontic logic and agency modeling'.
Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan WoleńskiFor more information, see trends.philosophy.kul.pl.
13 - 15 November 2017, 14th International Workshop on Logic & Engineering of Natural Language Semantics (LENLS 14), Tokyo, JapanDate: 13 - 15 November 2017Location: Tokyo, Japan
LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI. Invited Speakers: Craige Roberts (The Ohio State University),Ivano Ciardelli (University of Amsterdam), Shoichi Takahashi (Aoyama Gakuin University).For more information, see www.is.ocha.ac.jp/~bekki/lenls.
15 - 17 November 2017, 7th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2017), Vienna, AustriaDate: 15 - 17 November 2017Location: Vienna, Austria
MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research.
16 - 17 November 2017, Category Theory in Physics, Mathematics, & Philosophy, Warsaw, PolandDate: 16 - 17 November 2017Location: Warsaw, Poland
What is the role of category theory (in brief CT) in physics, mathematics and philosophy? Is CT just a useful language of some parts of mathematics and theoretical physics or are categories new structures that are important for these fields? How can categories be used in modern physics? What is the role of CT in the philosophy of mathematics? Is CT a new foundation of mathematics or is it a kind of organization of mathematics? Is the arrow-ontology of CT a new kind of ontology?
The conference will address the questions mentioned above and issues that concern possible ways of applying CT in physics, mathematics and philosophy.
22 - 24 November 2017, Workshop "Logic and Philosophy of Time: Themes from Prior", Copenhagen, DenmarkDate: 22 - 24 November 2017Location: Copenhagen, DenmarkTarget audience: Logicians and philosophers
This workshop is part of a three year project 'The Primacy of Tense: A.N. Prior Now and Then".Keynote speakers are:
- Thomas Müller (University of Konstanz)- Valentin Goranko (University of Stockholm)- L. Nathan Oaklander (University of Michigan Flint)For more information, see www.prior.aau.dk/digitalAssets/316/316354_call-for-papers---branching-time-the-true-future.pdf or contact Patrick Blackburn at patrick.rowan.blackburn at gmail.com.
24 - 25 November 2017, Law and Mind 2017, Kraków, PolskaDate: 24 - 25 November 2017Location: Kraków, PolskaTarget audience: legal scholars, philosophersCosts: 60-150 euro
The aim of the conference is to combine the perspectives of psychology, neurobiology, and cognitive science.
Recent advances in psychology, neurobiology and cognitive science have created many ideas whose relevance for jurisprudence can be significant. It is our hope that a stimulating exchange of ideas between scholars from these empirical disciplines and legal scholars will generate new insights and develop further the ongoing debate in this field.
Keynote speakers: Giovanni Sartor, Francis X. Shen, Deborah W. Denno, Fritz Strack
4 - 8 December 2017, Non-classical Modal and Predicate Logics：The 9th International Workshop on Logic and Cognition (WOLC2017), Guangzhou, ChinaDate: 4 - 8 December 2017Location: Guangzhou, China
Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.
Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.
5 - 7 December 2017, Workshop "Enabling Mathematical Cultures", Oxford, EnglandDate: 5 - 7 December 2017Location: Oxford, England
This workshop celebrates the completion of the EPSRC-funded project 'Social Machines of Mathematics', led by Professor Ursula Martin at the University of Oxford. We will present research arising from the project, and bring together interested researchers who want to build upon and complement our work. We invite interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.
6 - 8 December 2017, 2nd Amsterdam SMART Cognitive Science Conference: 'SMART Animals', Amsterdam, the NetherlandsDate: 6 - 8 December 2017Location: Amsterdam, the Netherlands
We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place at the UvA, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).
11 - 15 December 2017, 37th Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017), Kanpur, IndiaDate: 11 - 15 December 2017Location: Kanpur, India
The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.
Invited Speakers: Sham Kakade (University of Washington, USA), Anca Muscholl (LaBRI & Université Bordeaux, France), Devavrat Shah (MIT, USA), Vinod Vaikuntanathan (MIT CSAIL, USA), and Thomas Wilke (Christian-Albrechts-Universität zu Kiel).For more information, see fsttcs.org.
11 - 15 December 2017, School & Workshop on Univalent Mathematics, Birmingham, EnglandDate: 11 - 15 December 2017Location: Birmingham, England
Univalent Type Theory is an emerging field of mathematics that studies a fruitful relationship between homotopy theory and (dependent) type theory. This relation plays a crucial role in Voevodsky's program of Univalent Foundations, a new approach to foundations of mathematics, based on ideas from homotopy theory, such as the Univalence Principle.
The UniMath library is a large repository of computer-checked mathematics, developed from the univalent viewpoint. The workshop will give many young researchers an opportunity to familiarize themselves with the UniMath library and become contributors. During the school/workshop, the participants will be working either individually or in small groups, mentored by experienced UniMath developers. The problems will be designed to be of practical importance in the development of the UniMath library as well as of pedagogical value to participants.For more information, see unimath.github.io/bham2017.
14 - 15 December 2017, 15th European Conference on Multi-Agent Systems (EUMAS 2017), Evry, FranceDate: 14 - 15 December 2017Location: Evry, France
In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key intelligent systems technologies in the 21st century. The aim of the EUMAS series is to provide a forum for academics and practitioners in Europe at which current research and application issues are presented and discussed, and to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts.
EUMAS is co-located with the 5thedition of the International Agreement Technologies (AT) Conference, and is a designated event of the European Association of Multi-Agent Systems (EURAMAS).
17 - 21 December 2017, Advanced Winter School on Formal Verification, Jerusalem, IsraelDate: 17 - 21 December 2017Location: Jerusalem, Israel
Formal Verification is the study of algorithms and structures applicable to the verification of hardware and software designs. It draws upon ideas and results from logic, graph theory, and automata theory, and combines theoretical and experimental aspects. The IIAS Winter School on Formal Verification would bring together several leading researchers to cover the mathematicall and algorithmic foundations of the field, as well as to discuss its application in industry, and its impact on related areas in computer science.
Application Deadline: October 1, 2017.For more information, see ias.huji.ac.il/CSE2.
20 - 22 December 2017, 21st Amsterdam Colloquium (AC'2017), Amsterdam, The NetherlandsDate: 20 - 22 December 2017Location: Amsterdam, The Netherlands
The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The 21st Amsterdam Colloquium will feature two workshops on Causality and Semantics and on Formal and Distributional Perspectives on Meaning; and one evening lecture, jointly organized with the E.W. Beth Foundation.For more information, see events.illc.uva.nl/AC/AC2017.
3 - 5 January 2018, Fifteenth International Symposium on Artificial Intelligence and Mathematics (ISAIM 2018), Fort Lauderdale FL, U.S.A.Date: 3 - 5 January 2018Location: Fort Lauderdale FL, U.S.A.
The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence.
Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.
8 - 11 January 2018, Symposion on Logical Foundations of Computer Science (LFCS 2018), Deerfield Beach FL, U.S.A.Date: 8 - 11 January 2018Location: Deerfield Beach FL, U.S.A.
The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992.For more information, see lfcs.ws.gc.cuny.edu.
(New) 8 January - 26 April 2018, Applied Category Theory 2018 Adjoint SchoolDate: 8 January - 26 April 2018Location: Online and at the Lorentz Center, LeidenTarget audience: Graduate students and early career researchers
We're delighted to announce the Applied Category Theory 2018 Adjoint School, an initiative to bring early career researchers into the applied category theory community. The Adjoint School comprises two phases: (1) an online reading seminar based on the recent Kan Extension Seminars, and (2) a four day research week at the Lorentz Center, Leiden, The Netherlands. Participants will also be invited to attend Applied Category Theory 2018, which will be held immediately following the research week, also at the Lorentz Center.
During the school, participants will work under the mentorship of four mentors, on one of the following research projects:
- John Baez: Semantics for open Petri nets and reaction networks
- Aleks Kissinger: Unification of the logic of causality
- Martha Lewis: Compositional approaches to linguistics and cognition
- Pawel Sobocinski: Modelling of open and interconnected systems
The online seminar begins in early January 2018, and will run until the research week begins on April 23rd, 2018. Applied Category Theory 2018 will be held April 30th to May 4th.
10 - 13 January 2018, Joint Mathematics Meeting 2018, San Diego CA, U.S.A.Date: 10 - 13 January 2018Location: San Diego CA, U.S.A.
Held early each January in partnership with the American Mathematical Society, the Joint Mathematics Meetings is the largest annual mathematics meeting in the world. The program provides plentiful opportunities to engage with your fellow mathematicians and learn about innovative research in your interest areas, including numerous invited addresses, minicourses, short courses, panel sessions, workshops, paper sessions, posters, exhibits, and more.
16 - 18 January 2018, 10th International Conference on Agents and Artificial Intelligence (ICAART-2018), Funchail, Madeira - PortugalDate: 16 - 18 January 2018Location: Funchail, Madeira - Portugal
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.
15 - 17 February 2018, Linguistic Evidence 2018, Tübingen, GermanyDate: 15 - 17 February 2018Location: Tübingen, Germany
With the ninth Linguistic Evidence we bring a new focus on empirical, theory-driven approaches to syntax, semantics and their interface to this conference series. We also aim at providing a forum that allows us to address and reflect on the challenges and opportunities of experimental approaches to linguistic theory.
Invited Speakers: Barbara Hemforth (Paris Diderot), Edward Gibson (MIT), Valentine Haquard (University of Maryland) and David Beaver (University of Texas, Austin).
(New) 16 - 18 February 2018, Workshop "Ouroboros: Formal Criteria of Self-Reference in Maths & Philosophy", Bonn, GermanyDate: 16 - 18 February 2018Location: Bonn, Germany
While self-reference is deeply intertwined with logic and foundational aspects of mathematics, the notion itself is still surprisingly barely understood. For instance, it can be observed that in discussions regarding the nature of Visser's and Yablo's paradoxes, often differing and vague concepts are applied. However, there has been recently several proposals of precise characterizations of self-reference. This workshop is intended to facilitate a discussion of such proposals, their interrelations and applicability to the paradoxes as well as their adequacy to capture the intuitive notion of self-reference.
This interdisciplinary workshop, designed as a hybrid between winter school and research conference, is aimed at students (incl. PhDs) and researchers from the fields of mathematics, philosophy and computer science.
7 - 9 March 2018, Workshop "Specificity, definiteness & article systems across languages", Stuttgart, GermanyDate: 7 - 9 March 2018Location: Stuttgart, Germany
One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.For more information, see artsysworkshop.wordpress.com.
(New) 30 April - 4 May 2018, Applied Category Theory 2018 (ACT 2018), Leiden, the NetherlandsDate: 30 April - 4 May 2018Location: Leiden, the NetherlandsTarget audience: researchers and practitioners of applied category theory
The workshop is heavily slanted toward discussion and collaboration. We want to instigate a multi-disciplinary research program in which concepts, structures, and methods from one discipline can be reused in another. Tangibly and in the short-term, we will bring together people from different disciplines in order to write an expository survey paper that grounds the varied research in applied category theory and lays out the parameters of the research program.
A limited number of speakers will give overview talks intended to instigate discussion, including Samson Abramsky (Oxford), John Baez (UC Riverside), Kathryn Hess (EPFL), Mehrnoosh Sadrzadeh (Queen Mary) and David Spivak (MIT).
16 - 26 June 2018, 6th World Congress & School on Universal Logic (UNILOG 2018), Vichy, FranceDate: 16 - 26 June 2018Location: Vichy, France
UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.
The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).
16 - 20 June 2018, Workshop on "Logic, Probability, and their generalisations" at UNILOG 2018, Vichy, FranceDate: 16 - 20 June 2018Location: Vichy, France
Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Peirce, Keynes, Carnap, Popper and several other contemporary thinkers. According to this tradition, the problem of generalizing logical consequence relations raises questions that transcends both logic and probability, as a consequence of modern logical pluralism. This also leads to a probability pluralism, represented by non-standard theories of probability (i.e., theories of probability based on non-classical logics) that open new avenues and pose new challenges to theory and to applications.
All such tendencies and areas of investigation are naturally generalized to possibility logics, necessity logics and other credal calculi that extend probability, considering that belief can be regarded as generalized probability or as evidence. This workshop intends to contribute to the state-of-the-art of such research topics, emphasizing the connections between all such topics.
16 - 26 June 2018, Workshop on Model Theory at UNILOG 2018, Vichy, FranceDate: 16 - 26 June 2018Location: Vichy, France
We organize a workshop on Classification Questions
in Model Theory at UNILOG 2018. Keynote speaker of Workshop: Professor Bruno Poizat (Lyon).
Model theory is the branch of mathematical logic dealing with the connection between a formal language and its interpretations, or models, i.e., it represents links between syntactic and semantic objects. These objects can be used to classify each others producing structural classifications of theories and their models. Solving classification questions valuable characteristics arise (dimensions, ranks, complexities, spectra etc.) for various classes of structures and their theories.
21 - 26 June 2018, Workshop on Logical Correctness at UNILOG 2018, Vichy (France)Date: 21 - 26 June 2018Location: Vichy (France)
Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.
Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).
21 - 26 June 2018, Workshop on Proof Theory at UNILOG 2018, Vichy, FranceDate: 21 - 26 June 2018Location: Vichy, France
We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.
23 - 29 June 2018, 8th North American Summer School in Logic, Language and Information (NASSLLI 2018), Pittsburgh PA, U.S.A.Date: 23 - 29 June 2018Location: Pittsburgh PA, U.S.A.
The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.
NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.
23 - 24 June 2018, Workshop on Practices of Reading & Writing in Logic at UNILOG 2018, Vichy, FranceDate: 23 - 24 June 2018Location: Vichy, France
The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.
Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).
24 - 25 June 2018, Workshop "Logic & Music" at UNILOG 2018, Vichy, FranceDate: 24 - 25 June 2018Location: Vichy, France
Keynote Speaker: Thomas Noll (Barcelona, Spain)
Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.
25 June 2018, Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018, Vichy, FranceDate: Monday 25 June 2018Location: Vichy, France
The Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018 aims to deepen our theoretical understanding of the logical and diagrammatic behavior of Aristotelian diagrams, as well as to broaden our perspective on their (historical and contemporary) applications.
The keynote speaker at WoLGA will be Amirouche Moktefi (Talinn University of Technology, Estonia).
6 - 19 July 2018, 7th Federated Logic Conference (FLoC'18), Oxford, EnglandDate: 6 - 19 July 2018Location: Oxford, England
FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:
- International Conference on Computer Aided Verification (CAV)
- IEEE Computer Security Foundations Symposium (CSF)
- International Symposium on Formal Methods (FM)
- International Conference on Formal Structures for Computation and Deduction (FSCD)
- International Conference on Logic Programming (ICLP)
- International Joint Conference on Automated Reasoning (IJCAR)
- International Conference on Interactive Theorem Proving (ITP)
- Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
- International Conference on Theory and Applications of Satisfiability Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July).
We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city.For more information, see www.floc2018.org.
6 - 17 August 2018, 30th European Summer School in Logic, Language and Information (ESSLLI 2018), Sofia, BulgariaDate: 6 - 17 August 2018Location: Sofia, Bulgaria
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. ESSLLIs attract around 500 participants from all over the world.