These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << December 2018 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
||||||
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
|
16
|
17
|
18
|
19
|
20
|
21
|
22
|
|
23
|
24
|
25
|
26
|
27
|
28
|
29
|
|
30
|
31
|
|||||
7 - 12 April 2019, 4th Conference on Artificial Intelligence and Theorem Proving (AITP 2019), Obergurgl, Austria
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.
29 November - 1 December 2018, 64th Studentische Tagung Sprachwissenschaft (StuTS 64), Göttingen, Germany
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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
12 December 2018, ILLC Current Affairs Meeting & Christmas Drinks
As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.
The meeting will be followed by Christmas drinks until 21:00. As usual, we would appreciate it if people would bring along some traditional food to accompany the Christmas drinks. The ILLC Office will hang up a form in the Common Room on which you can indicate what you intend to make. We look forward to some delicious international Christmas food!
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
13 - 14 December 2018, TriCoLore 2018: Creativity | Cognition | Computation, 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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
13 - 14 December 2018, TriCoLore 2018: Creativity | Cognition | Computation, 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.
5 - 10 August 2019, 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST XVI), Prague, Czech Republic
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.
3 - 15 December 2018, Cantor Meets Robinson: Set theory, model theory, & their philosophy, 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.
16 - 19 December 2018, The 29th International Symposium on Algorithms and Computation (ISAAC 2018), 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.
16 - 19 December 2018, The 29th International Symposium on Algorithms and Computation (ISAAC 2018), 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.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), 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.
16 - 19 December 2018, The 29th International Symposium on Algorithms and Computation (ISAAC 2018), 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.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), 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.
16 - 19 December 2018, The 29th International Symposium on Algorithms and Computation (ISAAC 2018), 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.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), 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.
19 - 21 February 2019, Special Session on Natural Language Processing in Artificial Intelligence (NLPinAI 2019), Prague, Czech Republic
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.
6 - 8 June 2019, Workshop "Expressing Evidence", Konstanz, Germany
Evidential restrictions cross-cut grammars in varied ways. In this workshop, we want to bring together researchers working from different angles on how natural language expresses evidence. We are especially interested in (but not limited to) submissions that straddle the divide between linguistics and philosophy and address the following issues:
1. Evidentiality across syntactic categories
2. Speech acts conveyed by evidentials
3. Evidentiality in a broader context of attitude ascriptions and subjective expressions
4. Types of reasoning and knowledge involved in statements with different evidentials
5. Formal tools for modelling evidence
Invited speakers: Corien Bary (Nijmegen), Lisa Matthewson (British Columbia), Elin McCready (Aoyama) and Dilip Ninan (Tufts).
We invite submission of abstracts for 30-minute oral presentations (with additional time for discussion) on any topic related to the aims and scope of the workshop. We are especially interested in (but not limited to) contributions that straddle the line between disciplines dealing with the linguistic expression of evidence, such as linguistics, philosophy, and psychology.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), 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.
17 - 21 December 2018, 13th International Conference on Computability, Complexity and Randomness (CCR 2018), 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.
1 - 5 July 2019, 14th Computer Science Symposium in Russia (CSR'19), Novosibirsk, Russia
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.
8 - 11 April 2019, Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA 2019), Las Vegas NV, U.S.A.
The CogSIMA conference series provides an annual venue for presenting multi-disciplinary research on complex heterogeneous dynamical systems - of interacting humans, machines, computer agents and/or networks - whose individual and/or collective behavior depends on their Situation Awareness.
Examples of systems include a variety of command and control systems, disaster monitoring and recovery systems, human-robot teams, physical and cyber security situation awareness systems, intelligent transportation systems, health care medical situation control systems, and many other systems.
The CogSIMA conferences are aimed at researchers and practitioners from academia, industry and government, with a wide variety of backgrounds and experience including computer science, artificial intelligence, human factors, cognitive science, modeling & simulation, robotics, and systems engineering.
Two types of paper submissions will be accepted: Regular Papers (papers that describe new results that advance the state-of-the-art, 5-7 pages) and Poster Presentations (Papers that describe work in progress, 3-5 pages). All papers must present original and unpublished work that is not currently under review elsewhere.
Quantitative and/or qualitative methods and results are welcome, as well as hypotheses-driven or more open-ended exploratory work. Submissions must clearly outline the methodology (manipulations, measurements, environment and context, etc.) and technologies used, for both replicability and enabling in-depth review. In addition, research providing novel system designs, algorithms, interface technologies, and computational methods supporting elements of situation management are encouraged.
3 - 7 June 2019, 4th SILFS Postgraduate Conference on Logic & Philosophy of Science, Urbino, Italy
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.
CfP Special Issue of "Trends in Logic" on Algebra & Substructural Logics
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 Logics
13 - 16 March 2019, The 4th Interdisciplinary Scientific Conference Mathematical Transgressions (ISCMT 2019), Cracow, Poland
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.
CfP special issue of MCA on "Numerical and Evolutionary Optimization"
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.