News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 20 November 2014). 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.
Items which are new or have been updated within the last week are marked "(New)" or "(Updated)".
Headlines Calls for Papers
Headlines Upcoming Conferences
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
The Balkan Journal of Philosophy is pleased to announce the topic of the 2015 issue: 'Facets of Rationality: Reasoning, Communication and Decision making'.
"Human actions in all their appearances are evaluated and assessed as rational or irrational. Subject to evaluation are everyday thinking and decision-making, scientific research, economic and political behavior, even love-affaires and sport competitions, as well as communication and speech acts of all kinds. Rationality is a normative concept in the sense that it is supposed to provide a standard or criteria to evaluate a piece of reasoning or an instance of decision-making. Why is this important? Using these criteria we are able to evaluate, control and regulate our own and others actions, thinking and decision-making".
You are kindly invited to submit a paper on any of these topics. Papers should be between 6000 and 8000 words. The deadline for receiving manuscripts is the end of November 2014 but earlier submissions would be appreciated. This special issue will appear in 2015.
For more information, see http://www.issk-bas.org/BJP/call_for_papers.htm
The Department of English and General Linguistics at University of Lodz announces the Fourth International Conference on Philosophy of Language and Linguistics (PhiLang2015). The principal aim of our Conference is to bring together philosophers, logicians and linguists.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission is 30 November 2014.
For more information, see http://www.csk.uni.lodz.pl/
- What are the roles of pictures and diagrams in mathematical proofs, in formal reasoning, and in epistemic justification more broadly?
- Can pictures by themselves serve as arguments insofar as they can be persuasive and even convey a sense of demonstrative certainty?
For the most part, these two questions have been discussed separately. We seek to bring them together and thereby take them in new directions. These are philosophical questions that are addressed by many different disciplines: STS, history of science, mathematics, engineering, media studies, and the visual arts. They draw attention to technologies of picturing, the contexts of practice in which proofs and procedures of formal reasoning are employed, and problems and methods of teaching and communication.
We invite submissions on any aspect of the relation between pictures and proofs. Please submit by (extended deadline) November 30, 2014, a 400 to 600 word abstract (no manuscript required).
Further information will be posted at the conference website http://artsandsciences.sc.edu/phil/content/trip2015
JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. In 2015, JAIST Logic Workshop Series focuses on 'Constructivism and Computability', aiming at interaction and knowledge transfer between constructive mathematics and computability theory.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org. Deadline for abstract submissions: November 30.
For more information, see http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
The great tradition of international congresses of LMPS, under the auspices of the Division of Logic, Methodology and Philosophy of Science, was started in 1960 at Stanford University. Every four years these meetings bring together logicians and philosophers of science from all over the world to present and discuss their current work.
The programme covers all systematic and historical aspects of formal logic, general philosophy of science, and philosophical issues of special sciences. The theme of the 15th Congress is "Models and Modelling". A special feature of the LMPS in 2015 is the co-location of the Logic Colloquium, the European Summer Meeting of the Association for Symbolic Logic (ASL), in Helsinki, which allows the participants also to enjoy a rich supply of lectures in mathematical logic.
CLMPS 2015 calls for Contributed Papers, Contributed Symposia, and Affiliated Meetings. Submission deadline: 30 November 2014.
For more information, see http://www.helsinki.fi/clmps
Logic as a discipline is not characterized by a stable scope throughout its history. True enough, the historical influence of Aristotelian logic over the centuries is something of a common denominator in Western philosophy. But Aristotelian logic certainly was not alone (see stoic logic for instance), not to mention non-western logics. Even within the Aristotelian tradition there is significant variability. Furthermore, as is well known, in the 19th century logic as a discipline underwent a radical modification, with the development of mathematical logic. This workshop, held at the 5th World Congress on Universal Logic in Istanbul, will focus on both the diversity and the unity of logic through time.
Abstracts (500 words maximum) should be sent via e-mail before December 1st, 2014.
For more information, see http://www.uni-log.org/wk5-IOL.html
The Munich Center for Mathematical Philosophy (MCMP) is organizing the first Munich Graduate Workshop in Mathematical Philosophy, 9 - 11 April 2015. The workshop is intended for masters and doctoral students with interests in the philosophical foundations of physics. The program will feature student presentations, keynote lectures, and `working groups? on advanced material at the forefront of contemporary research.
Keynote Lectures: Harvey Brown (Oxford), Rüdiger Schack (London), Charlotte Werndl (Salzburg). Internal Lectures: Erik Curiel, Michael Cuffaro, Radin Dardashti, Samuel Fletcher, Paula Reichert, Karim Thébault
We invite submissions of 1000 word extended abstracts together with a short abstract, motivation letter, CV and reference letter. The submission deadline is 1st December 2014 and notification of acceptance can be expected by 19th December. Please visit the website fore more details.
For more information, see http://www.lmu.de/graduateworkshop2015/
The conference will be devoted to the relationship between the semantics and pragmatics of logical constants (connectives, quantifiers, modal operators). Its aim is to critically assess and contribute to semantic and pragmatic theories developed for constructions containing such operators in natural language. On the one hand, we hope to bring together cutting edge contributions to debates that are currently in full swing, but at the same time, we very much invite contributions of a more historical nature, which shed light on antecedents of current views and issues, thereby placing them in a wider diachronic perspective. In short, the semantics and pragmatics of logical constants now and then.
* Rick Nouwen (Utrecht University)
* Daniel Rothschild (University College London)
* Johan van der Auwera (University of Antwerp)
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstracts should be in PDF-format, anonymous, at most one page long, and should include any example sentences. A second page may be added for bibliographical references only. Abstract submission deadline: 1 December 2014
For more information, see http://www.crissp.be/lnat3
A research community that could be described with the phrase "Practice and Cultures of Mathematics" has studied mathematics as a human subject with different practices and cultures in recent years. This research has been closely linked to the Philosophy of Mathematical Practice community and its Association for the Philosophy of Mathematical Practice, but is broader in the sense that it is interested in the study of mathematical practices and cultures independently of whether there is an interaction with traditional philosophical questions (such as epistemology or ontology).
In addition to many other meetings associated to the research community, there has been a series of meetings dealing specifically with the phenomenon of diversity of research cultures in mathematics: the traditional view claims that all of the differences between mathematical research cultures are superficial and do not touch the nature of mathematics; it is the goal of this research community to evaluate that claim by studying concrete examples. Here, culture should be understood very widely, and cultural differences can be found distinguishing mathematical subdisciplines, national cultures, cultures imposed by university or institute structures, etc.
The meeting will focus on case studies from mathematical research that highlight cultural differences, methodological discussions of the use of empirical data from the study of mathematical practice for gaining insight in the phenomenon of mathematics, and fundamental questions about mathematics that require a view towards mathematics as a human discipline to be discussed.
The programme committee of the conference Cultures of Mathematics IV cordially invites all researchers who work on cultural aspects of mathematics and/or the practice of mathematics from all associated disciplines (i.e., mathematics, philosophy, sociology, mathematics education, history, psychology, and others) to submit abstracts of papers to be presented in Delhi. We are particularly interested in studies dealing with differences between mathematical research cultures, and among these in studies dealing with concrete examples, as well as methodological discussions of the use of empirical and historical data from the study of mathematical practice for gaining insight in the phenomenon of mathematics. Please submit abstracts of talks by the deadline of 7 December 2014.
For more information, see http://www.math.uni-hamburg.de/spag/ml/Delhi2015/.
Human higher-level cognition is a multi-faceted and complex area of thinking which includes the mental processes of reasoning, decision making, creativity, and learning among others. Logic, understood as a normative theory of thinking, has a widespread and pervasive effect on the foundations of cognitive science. However, human reasoning cannot be completely described by logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. Still, humans have an impressive ability to derive satisficing, acceptable conclusions. Generally, people employ both inductive and deductive reasoning to arrive at beliefs; but the same argument that is inductively strong or powerful may be deductively invalid. Therefore, a wide range of reasoning mechanisms has to be considered, such as analogical or defeasible reasoning.
The topics of interest for the special issue of the Kuenstliche Intelligenz journal, appearing in autumn 2015, include, but are not limited to: analogical reasoning, common sense and defeasible reasoning, deductive calculi for higher-level cognition * inductive reasoning and cognition, preferred mental models and their formalization, and probabilistic approaches of reasoning.
The Kuenstliche Intelligenz journal, which is published and indexed by Springer, supports the following lists of formats: Technical contributions, research projects, discussions, dissertation abstracts, conference reports and book reviews. If you are interested in contributing to this special issue, please contact one of the guest editors. Submission deadline: 19-Dec-2014 (EXTENDED).
For more information, see http://www.kuenstliche-intelligenz.de/index.php?id=7800
We welcome full paper submissions for a book titled: "Applications of Formal Philosophy: The Road Less Travelled" to be published with Springer, edited by Rafal Urbaniak and Gillman Payette.
Logicians have devoted considerable effort to applying formal methods to what are now considered core disciplines of analytic philosophy: philosophy of mathematics, philosophy of language and metaphysics. Researchers in these fields have been accused of sharpening their knives without actually cutting anything of interest to those outside of philosophy. The focus of formal methods is changing and our intent is to further counter the impression of idleness with respect to philosophy at large. The focus of the volume is on those applications of formal methods in philosophy which might be of interest to people working on philosophical questions of more direct relevance to human life.
The submission deadline is December 31, 2014. Please make sure that the content of the paper fits the scope of the volume. For more information, see http://entiaetnomina.blogspot.nl/2014/09/
The formal analysis of ethical concepts and theories (via the application of tools from logic, rational choice theory, natural language semantics, AI) is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, and conventions. The series Formal Ethics conferences aims at providing an international platform for the discussion and promotion of formal approaches to ethics, to bring together researchers who are employing formal tools to address questions in ethics and/or political philosophy, and to push the frontiers of the research being conduced in this field.
We invite submissions to Formal Ethics 2015. We encourage researchers at all level to submit, including graduate students. Submissions will be considered both for full contributed talks and for poster presentation. Submissions in all areas of formal ethics, broadly construed, are welcome. For Formal Ethics 2015, submissions related to ethics and responsibility are particularly welcome. Deadline for submissions: January 3rd, 2015.
The Society for Philosophy of Science in Practice (SPSP) is an interdisciplinary community of scholars who approach the philosophy of science with a focus on scientific practice and the practical uses of scientific knowledge. The SPSP conferences provide a broad forum for scholars committed to making detailed and systematic studies of scientific practices - neither dismissing concerns about truth and rationality, nor ignoring contextual and pragmatic factors. The conferences aim at cutting through traditional disciplinary barriers and developing novel approaches.
Keynote speakers will include: Marcel Boumans (Eramus University of Rotterdam), Nancy J. Nerssessian (Georgia Institute of Technology), Hans-Jörg Rheinberger (Max Planck Institute for the History of Science), and Léna Soler (University of Paris-I). There will be a pre-conference workshop on teaching philosophy of science to scientists to be held at Aarhus University, Aarhus on 23 June, as well as a pre-conference casual social event that evening.
We welcome contributions from not only philosophers of science, but also philosophers working in epistemology and ethics, as well as the philosophy of engineering, technology, medicine, agriculture, and other practical fields. Additionally, we welcome contributions from historians and sociologists of science, pure and applied scientists, and any others with an interest in philosophical questions regarding scientific practice. We welcome both proposals for individual papers, and also strongly encourage proposals for whole, thematic sessions with coordinated papers, particularly those which include multiple disciplinary perspectives and/or input from scientific practitioners. Abstract Submission Deadline: 5 January 2015.
CiE 2015 is the 11-th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.
Evolution of the universe, and us within it, invite a parallel evolution in understanding. The CiE agenda - fundamental and engaged - targets the extracting and developing of computational models basic to current challenges. From the origins of life, to the understanding of human mentality, to the characterising of quantum randomness - computability theoretic questions arise in many guises. The CiE community, this coming year meeting for the first time in Bucharest, carries forward the search for coherence, depth and new thinking across this rich and vital field of research.
In line with other conferences in this series, CiE 2015 has a broad scope and provides a forum for the discussion of theoretical and practical issues in Computability with an emphasis on new paradigms of computation and the development of their mathematical theory. The Programme Committee invites all researchers in the area of the conference to submit their papers for presentation at CiE 2015. We particularly invite papers that build bridges between different parts of the research community. Submission deadline: 11 January 2015.
For more information, see http://fmi.unibuc.ro/CiE2015/
The 2015 annual meeting of the Deutschen Mathematiker-Vereinigung (DMV) will be hosted by the Department of Mathematics of the University of Hamburg from 21 to 25 September 2015. The organisers collaborated with the Dansk Matematisk Forening during the composition of the scientific programme; Danish-German research collaboration in mathematics is one of the special themes of this meeting.
Satellite workshops (20 & 21 September 2015): "Current Trends in Stochastic Analysis and Related Topics", "Generalized Baire Space", "History of Mathematics", and "Trends in Proof Theory".
The programme committee cordially invites all researchers to propose minisymposia in their research areas. A minisymposium is a coordinated meeting consisting of research presentations on a particular topic of current research interest, organized by one or two active researchers from the field. Minisymposia are scheduled during the main part of the conference, typically over one or two days; they can last between 2 and 6 hours (4 to 12 talks). Deadline for submissions: 15 January 2015.
For more information, see http://www.math.uni-hamburg.de/DMV2015/
St. Louis Annual Conference on Reasons and Rationality provides a forum for new work on practical and theoretical reason, broadly construed. Keynote Speaker: Pamela Hieronymi (UCLA).
The Programme Committee cordially invites all researchers to submit their papers for presentation. SLACRR includes papers in ethics, epistemology, and other areas of philosophy that deal with reasons, reasoning, or rationality. Please submit an anonymized abstract of 750-1500 words by January 15, 2015.
The Formal Epistemology Workshop will be held in connection with the 2015 meeting of the St. Louis Annual Conference on Reasons and Rationality (SLACRR), which will take place immediately before, from May 17-19, 2015.
There will be conference sessions all day on May 20 & 21, and in the morning on May 22. Keynote speakers: Tom Kelly (Princeton), Jeff Horty (University of Maryland, College Park).
Contributors are invited to send full papers as PDF files (suitable for presenting as a 40 minute talk) by Friday, January 16, 2015. Submissions should be prepared for anonymous review. Submitting the same paper to both FEW and SLACRR is permitted.
For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.
Semantics and pragmatics have long recognized multiple meaning types: asserted and entailed meaning, world knowledge and lexically based inferences, presupposition, expressive content, and conversational and conventional implicature. These each get their own separate treatments and/or are thought of as separate ‘dimensions’ of meaning.
There are two main strands of research that question the traditional divisions: accounts that seek more unifying characteristics and accounts that identify exceptional behavior in a subset of a certain meaning type. The aim of the workshop is to discuss how to cut the pragmasemantic pie.
Invited Speakers: Craige Roberts, Judith Tonhauser, Hans-Martin Gärtner.
We solicit submissions dealing with:
- formal arguments or empirical data that support unifying different information types based on for instance projection properties
- formal arguments or empirical data suggesting new distinctions
- work that integrates the analysis of different meaning types with contextual or discourse effects
- new theoretical approaches to representing and integrating different types of information (e.g. multi-dimensional semantics).
Deadline for abstract submission:Fri, January 16th, 2015.
For more information, see https://sites.google.com/site/redraw2015/.
The organizing committee invites you to take part in the Fourth International Congress on Tools for Teaching Logic, which will be held in Rennes on June 1-4, 2015. There will be lectures, discussion sessions, round tables and software demonstrations. You are kindly invited to take active part in discussion sessions and to exhibit your teaching or professional software.
We invite submission on all aspects of teaching logics. Submission deadline is 18th January 2015.
For more information, see http://ttl2015.irisa.fr/
The MPC conferences aim to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs, broadly interpreted.
Papers are solicited on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. The notion of "program" is broad, from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. Deadline for submission of abstracts: 26 January 2015.
The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. TLCA 2015 is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2015), together with the International Conference on Rewriting Techniques and Applications (RTA 2015) and several related events.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Deadline: 30 January 2015.
RTA is the major forum for the presentation of research on all aspects of rewriting. RTA 2015 will be co-located with the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) as part of the International Conference on Rewriting, Deduction, and Programming (RDP-2015).
The Programme Committee cordially invites all researchers to submit their papers for presentation. This year we particularly welcome submissions on applications of rewriting. In addition to full research papers, application papers, systems descriptions and problem sets that provide realistic, interesting challenges in the field of rewriting techniques are also welcome. Submission deadline (title and abstract): 30 January 2015.
After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Ljubljana (Slovenia) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project in the Journal of Logic and Analysis.
The issue should reflect progress made in Computable Analysis and related areas, not only work in the project. Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms. Deadline for Submission: 31 January 2015.
The Bertrand Russell Society (BRS), an international organization dedicated to the memory of the philosopher Bertrand Russell, will hold its annual meeting in Dublin in 2015. We meet at Trinity College, June 5-7. This meeting will be held in conjunction with the Society for the Study of the History of Analytic Philosophy, which will hold its annual meeting on June 4-6.
If you are interested in presenting a paper at the BRS Annual Meeting, please contact Alan Schwerin, President of the BRS, at aschwerimonmouth.edu. We welcome papers on any aspect of Russell?s life, thought, work, and legacy. We also welcome proposals for other activities that might be appropriate for the meeting (e.g., a master class on an essay by/about Russell).
Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/
Narrative provides a framing structure for understanding, communicating, influencing, and organizing human experience. Systems for its analysis and production are increasingly found embedded in devices and processes, influencing decision-making in venues as diverse as politics, economics, intelligence, and cultural production. The aim of this workshop series is to address the technical implementation of narrative systems, the theoretical bases of these frameworks, and our general understanding of narrative at multiple levels: from the psychological and cognitive impact of narratives to our ability to model narrative responses computationally.
This year's workshop is associated with the Third Annual Conference on Advances in Cognitive Systems (ACS), and will have a special focus on the building cognitive systems that are distinguished by a focus on high-level cognition and decision making, reliance on rich, structured representations, a systems-level perspective, use of heuristics to handle complexity, and incorporation of insights about human thinking, meaning we especially welcome papers relevant to the cognitive aspects of narrative.
This workshop .
This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative. Regardless of its topic, reported work should provide some sort of insight of use to computational modeling of narratives. Discussing technological applications or motivations is not prohibited, but is not required. We accept both finished research and more tentative exploratory work. Submission deadline is February 2nd, 2015.
For more information, see http://narrative.csail.mit.edu/cmn15/
The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks. It is also open to advanced masters students as well as PhD students who are most welcome to not only participate but to also present their work.
The program is split into a tutorial part and a research part. The tutorial part will consist of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: Claude Laflamme, David Milovich, Justin T. Moore and Andrzej Roslanowski. The research part will consist of presentations of research papers/problems from the area of Set Theory, Set-Theoretic Topology and related fields.
Deadline for registration: December 31st (December 11th to apply for a fee waiver). To get more information about the conference, about the financial support and to register please visit our web page http://www.winterschool.eu/.
IJCAI is the International Joint Conference on Artificial Intelligence, the main international gathering of researchers in AI. Held biennially in odd-numbered years since 1969, IJCAI is sponsored jointly by IJCAI and the national AI societie(s) of the host nation(s).
A theme of IJCAI-15 is Artificial Intelligence and Arts. This theme will highlight AI's increasingly important role in how we create, discover, disseminate, learn and appreciate arts.
Submissions are invited on significant, original, and previously unpublished research on all aspects of artificial intelligence. Deadline for abstract submission: Feb 8, 2015 (11:59PM, UTC-12).
For more information, see http://ijcai-15.org/
Research in resource-bounded agency contributes both to reasoning about actions in philosophy and artificial intelligence, and to applications of logic in computer science, such as the practical verification of resource-bounded multi-agent systems. The Logics for Resource-Bounded Agents workshop will provide a forum for established researchers and advanced PhD students to present and discuss their work with colleagues working in related areas (particularly those represented at ESSLLI). In addition to logics of strategic ability where actions produce and consume resources, we solicit contributions from researchers working in epistemic logic, game theory, linear logic etc. on alternative approaches to modelling resource-bounded agency.
The workshop is part of ESSLLI and is open to all ESSLLI participants. It will consist of five 90-minute sessions held over five consecutive days in the second week of ESSLLI. There will be 2 or 3 slots for paper presentation and discussion per session. On the first day the workshop organizers will give an introduction to the topic.
We invite submissions of extended abstracts describing the topic of a 30 or 45 minute talk at the workshop. This talk may present original work or may be based on recently published work in the area of the workshop. Submissions due: February 15, 2015
For more information, see http://www.cs.nott.ac.uk/~nza/lrba15/
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. The twenty-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015.
It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL) (SBL).
Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date).
For more information, see http://wollic.org/wollic2015/
Logica 2015 is the 29th in the series of annual international symposia devoted to logic. The official language of the symposium is English.
Invited speakers are Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne.
Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for 'philosophically' and for 'mathematically' oriented logicians. The deadline for submissions is 15 February 2015.
This workshop provides a forum for discussion of recent empirical advances in categorial grammar (CG). After the revival of interest in CG in linguistics in the 80s, various extensions to the Lambek calculus and an early version of Combinatory Categorial Grammar have been proposed. But the fundamental question of whether CG constitutes an adequate linguistic theory still seems to be wide open. Moreover, there are now numerous variants of CG, both in the TLCG tradition and in CCG. Which of these theories constitutes the most adequate version of an empirical theory of natural language?
Logical, mathematical, and computational analyses have tended to take precedence over empirical ones in the past 30 years in CG research. These are all important and very illuminating, but at the same time we may now want to pause and reflect on the question of just where we are in terms of empirical adequacy. We think that the time is ripe to critically scrutinize the empirical consequences of the various formal techniques/frameworks proposed in the literature in the past 30 years, as well as ones that are being developed at this very moment.
We invite submissions of anonymous abstracts of up to five pages. We welcome any submission whose topic pertains to the empirical adequacy of CG. We expect to allot 45 minutes for each accepted paper (30 minutes for presentation and 15 minutes for questions and discussion). Submission deadline: February 15, 2015
For more information, see http://www.u.tsukuba.ac.jp/~kubota.yusuke.fn/cg2015.html
Title: Bridging Logical and Probabilistic Approaches to Language and Cognition
Recent years have seen increased interest in applying logical methods and frameworks, the traditional subject matter of ESSLLI, to cognitive modeling, whereby logical models of cognitive phenomena are tested against empirical data. At the same time, there has recently been an explosion of activity in the cognitive sciences around (structured) statistical, and specifically Bayesian, models. With this workshop we propose to bring together two groups of researchers -- logicians focused on cognitive modeling, and cognitive scientists incorporating logical structure into probabilistic models -- with the aim of cross-pollination, and ideally, a consensus on how these two traditions relate, and how we might combine the best of what both have to offer. The primary aim is to gain a better understanding of (i) how cognitive computational models could be enriched by logical insights and (ii) how logical models may be turned into cognitive models.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline: March 1, 2015.
For more information, see http://www.jakubszymanik.com/PLLC2015/
Topoi: An international Review of Philosophy, is planning to devote a special issue to Epistemic Modals and the Epistemology of Modality, which will be edited by Berit Brogaard (University of Miami) and Dimitria Electra Gatzia (University of Akron).
Papers must be in English and should not exceed 8,000 words, though there is no minimum length. Each submission should also include a title page containing contact details, a brief abstract and list of keywords for indexing purposes. All submissions for this issue should be made through Topoi Editorial Manager (http://www.editorialmanager.com/topo/default.asp). Select 'S.I.: Epistemic modals (Brogaard/Gatzia)' as Article Type.
The deadline for the initial submission is March 15, 2015. Accepted papers will be published in 2016. For more information, see http://www.springer.com/philosophy/journal/11245 or email Dimitria E. Gatzia at dg29uakron.edu.
Costs: 170 EUR [100 EUR for students]
There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for abstract/paper submission: 20 March, 2015
For more information, see http://www.renyi.hu/conferences/lrb15/.
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. The 31st MFPS will be co-located with the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO)
The Programme Committee cordially invites all researchers to submit their papers for presentation. In addition to research papers, we also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example. Submission: April 3, 2015
For more information, see http://events.cs.bham.ac.uk/mfps31/
The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related fields that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavor, and supports the creation of an East-Asian community of interdisciplinary researchers.
We invite submission of contributed papers on any of the broad themes of the LORI series, Please submit your paper by May 18, 2015.
For detailed conference information and registration, please visit the website of LORI-V at https://www.yoursaas.cc/websites/36224472513387025486/. All inquiries concerning the submission of papers should be addressed to Wiebe van der Hoek (wiebeliverpool.ac.uk) and Wesley Holliday (weshollidayberkeley.edu). For questions concerning conference details, please contact conferenceonlogicgmail.
Please note: conferences with an open Call for Papers will be listed under 'Calls for Papers', not under 'Upcoming Conferences', until the Call for Papers closes.
Costs: 30 Euro
The 'StUTS' is a biannually held Conference organized by and for students at different universities. Every semester, there are about 150 participants from various universities and colleges from all over Europe - anyone interested in linguistics can join.
The programme consists mainly of student talks - anyone (who wants to) is given the possibility to present their own project, research or paper, or give a language tutorial. Usually, a variety of different linguistic disciplines are present. Furthermore, there will be intriguing keynote presentations by professors from Hamburg University, and of course there will be time for some fun free-time activities, to get to know each other and also the beautiful city.
First and foremost, the conference offers the possibility to gather some experience in giving a scientific talk, to present and discuss your own ideas with interested peers, to get to know other related fields of linguistic research and to develop creative new approaches for the future.
LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) sponsored by the Japan Society for Artificial Intelligence (JSAI).
Invited Speaker(s): Chris Barker (New York University), Kimiko Nakanishi (Ochanomizu University) Christopher Tancredi (Keio University) and Matthew Stone (Rutgers University) (TBC). This year the workshop will include a student session.
For more information, see http://www.is.ocha.ac.jp/~bekki/lenls/
The University of Leeds will be hosting a workshop focused on recent linguistic and philosophical work on modality.
The list of speakers includes:
Simona Aimar (UCL/Columbia)
Fabrizio Cariani (Northwestern U)
Paul Egre (IJN, Paris)
Valentine Hacquard (U of Maryland)
Daniel Rothschild (UCL)
Malte Willer (U of Chicago)
More information is available at: http://www.personal.leeds.ac.uk/~phlps/modals/. Registration is free, but places are limited. If you're interested, please email the organizer at paolosantoriogmail.com.
Location: Doelenzaal, University Library, Singel 425, AmsterdamCosts: none (registration necessary!!)
Via this workshop, we are creating a forum to present new developments, exchange ideas, explore and establish new connections between different areas that have already developed techniques to model correlated information change in a multi-agent context. The types of correlated information change that we are interested in, covers a list of phenomena studied in a number of areas such as: Game Theory, Logic, Belief Revision Theory, Formal Epistemology, Social Science, Formal Learning Theory, AI (Multi-agent Systems) and the Foundations of Quantum Physics.
For more information, see http://www.illc.uva.nl/LogiCIC14/
AREW is a two-day workshop aimed at bringing together people working in the area of analogical reasoning, broadly speaking. The invited speakers are two people working on formal aspects of analogical reasoning, including issues of the logical representation of analogical reasoning and formal models of the same, and applications of analogical reasoning, particularly with reference to such applications in history.
Further information about the workshop can be found at https://analogicalreasoning.wordpress.com.
In recent years, research in contextual knowledge representation and reasoning became more relevant in the areas of Semantic Web, Linked Open Data, and Ambient Intelligence, where knowledge is not considered a monolithic and static asset, but it is distributed in a network of interconnected heterogeneous and evolving knowledge resources. Amounts of data of ever increasing scale are now handled and processed. The ARCOE-Logic workshop aims to provide a dedicated forum for the researchers to discuss recent developments, important open issues and future directions in the area of contextual knowledge representation and knowledge management.
ARCOE-Logic 2014 is held in conjunction with The 19th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2014).
For more information, see http://www.arcoe.org/2014/.
Location: CWI, Turing room, Science Park 123, Amsterdam
We cordially invite you to attend this event organized on the occasion of the retirement of Krzysztof R. Apt. All the speakers will be under the age of 30.
The primary aim of the conference is to examine the purpose of the semantics-pragmatics distinction and the arguments referred to in order to defend a particular account of the distinction.
The conference intends to address the following questions: What is the function of the semantics-pragmatics distinction? Are the different participants in the debate trying to account for the same distinction? On which basis, i.e. referring to what kind of arguments, can a particular account of the distinction between semantics and pragmatics be defended?
The 2014 annual meeting of the Australasian Association of Logic will be held just prior to the 2014 New Zealand Association of Philosophers Conference.
It is a common thought that mathematics can be not only true but also beautiful, and some of the greatest mathematicians have attached central importance to the aesthetic merit of their work. Many have derived aesthetic pleasure from mathematical research, pointing out the incomparable beauty and elegance of particular theorems, proofs and theories. As the French mathematician and theoretical physicist Henri Poincaré put it, mathematical beauty is a "real aesthetic feeling that all true mathematicians recognise". Others have gone further, recognising mathematical beauty not only as a well-known phenomenon, but as one of the key motivations behind the formulation of mathematical proofs and as a criterion for choosing one mathematical theorem over another. Thus, Hermann Weyl famously declared: "My work always tried to unite the true with the beautiful, but when I had to choose one or the other, I usually chose the beautiful".
This conference seeks to address questions that arise out of this tendency, prevalent among mathematicians, to call theories, proofs and definitions ‘beautiful’ or ‘ugly’ and to judge them on the basis of aesthetic standards.
The aim of the workshop is to provide a space for exchange of methodological ideas concerning the research on legal argumentation from three perspectives: AI and Law, argumentation theory and legal theory. Since a thorough discussion of scientific aims and adopted methodologies is needed in this field, our main motivation is to discuss some perspectives of cooperation and mutual inspiration between these three research areas in order to develop more effective, accurate and scientifically adequate theories and models of legal argumentation. This may lead to establishing of interdisciplinary research projects related to legal argumentation.
MET-ARG is held in conjunction with the CMNA 14 workshop and is organized under auspices of the ArgDiaP organisation. At the workshop eight position papers will be presented by key specialists in the fields of AI and Law, argumentation theory and legal theory, which will be followed by a panel discussion "Force of Legal Arguments: Contemporary Perspectives and Methods" to which all the workshop's participants will be invited.
For more details, please visit the website: http://argdiap.pl/
The series of workshops on Computational Models of Natural Argument acts to nurture and provide succor to the ever growing community working on Argument and Computation, a field developed in recent years overlapping Argumentation Theory and Artificial Intelligence.
The workshop focuses on the issue of modelling "natural" argumentation. Naturalness may involve the use of means which are more visual than linguistic to illustrate a point, such as graphics or multimedia. Or to the use of more sophisticated rhetorical devices, interacting at various layers of abstraction. Or the exploitation of "extra-rational" characteristics of the audience, taking into account emotions and affective factors.
For more information, see http://www.cmna.info/CMNA14/
The Center for Logic and Philosophy of Science (CLWF) at Free University Brussels (VUB) will hold an international workshop on Logic and Philosophy of Mathematical Practices.
Invited keynote speakers are: Danielle Macbeth (Haverford College, Haverford, PA), Rik Pinxten (Ghent University) and Suzanne Prediger (Technische Universität Dortmund)
For more information, see http://www.vub.ac.be/CLWF/LPMP2014/
The symposium of the Italian Association for Artificial Intelligence (AI*IA) is a traditional two-yearly meeting of researchers working on theory and applications in Artificial Intelligence. The XIII symposium will be hosted by the Department of Computer Science at the University of Pisa.
AI*IA 2014 will be centred on thematic workshops, tutorials, panels, doctoral consortium, demo session, plenary sessions with invited speaker seminars, and a special track on the theme Artificial Intelligence for Society and Economy. We hope that the 2014 meeting will strengthen awareness that AI is assuming a central role in the competitive strategies of the present scenario of rapid changes.
The AI*IA Doctoral Consortium on December 11th is a full-immersion occasion, for Ph.D. students, to discuss their ongoing research work, establish research connections with peer researchers, and receive first-class mentorship from domain experts.
For more information, see http://aiia2014.di.unipi.it/
In the past two decades, agent-based models (ABMs) have become ubiquitous in philosophy and various sciences. In contrast with classical economic models or population-level models in biology, ABMs are praised for their lack of assumptions and their flexibility. Nonetheless, many of the methodological and epistemological questions raised by ABMs have yet to be fully articulated and answered. This conference aims to bring together an interdisciplinary group of researchers aimed at understanding the foundations of agent-based modeling and how the practice can inform and be informed by philosophy.
For more information, see http://www.lmu.de/abmp2014
The 25th International Symposium on Algorithms and Computation (ISAAC 2014) will be held in Jeonju, Korea during December 15-17, 2014. The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. Papers presenting original research in the areas of algorithms and theory of computation are sought. Papers in relevant applied areas are also welcomed.
For more information, see http://tcs.postech.ac.kr/isaac2014/
Location: Lipsius-building, room 002, Cleveringaplaats 1, Leiden
Speakers will be Stewart Shapiro (Ohio State University), Göran Sundholm, Maria van der Schaar, and Ansten Klev.
For more information, see http://www.hum.leidenuniv.nl/filosofie/nieuws-agenda/
There is widespread agreement that adequate models of the semantics of vague language and of reasoning with vague information cannot be developed within the confines of classical logic. There is less agreement over which nonclassical logic is best suited for handling vagueness and indeed over whether just one logical framework is sufficient to accommodate all vagueness related phenomena. This workshop will bring together researchers working on these issues in philosophy, logic, mathematics and computer science–with special (but not exclusive) focus on approaches that appeal to degrees of truth and fuzzy logics.
Further information can be found at http://sydney.edu.au/arts/philosophy/research/conferences.shtml#vagueness
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 technologies in the 21st century. The aim of this 12th European Conference on Multi-Agent Systems is to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts. This conference is primarily intended as a European forum at which researchers, and those interested in activities relating to research in the area of autonomous agents and multi-agent systems, could meet, present (potentially preliminary) research results, problems, and issues in an open and informal but academic environment.
EUMAS 2014 is a designated event of the European Association of Multi-Agent Systems (EURAMAS). To attract students as well as experienced researchers, preliminary as well as mature work, EUMAS 2014 offers three submission types and formal proceedings as well as post-proceedings in form of a journal special issue are planned.
Date and time: Friday 19 December 2014, 16:00 - 17:15Location: ILLC Common Room (F1.21), Science Park 107, Amsterdam
The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.
For more information, see http://www.illc.uva.nl/ILLCColloquium/Midwinter2014/ or contact rens.bodgmail.com.
The Asian Logic Conference series is sponsored by the Association for Symbolic Logic and the meetings are major international events in mathematical logic. The series features the latest scientific developments in the fields in mathematical logic and applications, logic in computer science, and philosophical logics. It also aims at promoting activities of mathematical logic in the Asia-Pacific region and bringing logicians both from within Asia and elsewhere together to exchange information and ideas.
The programme will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic. In addition there will be many contributed talks. The conference topics include, but are not limited to: Set Theory; Model theory; Recursion Theory; Proof theory; Computability Theory; Algebraic Structures; Logical Aspects of Computation; Philosophical Logic.
Conference page: http://www.cse.iitb.ac.in/~alc15/index.html
BLAST is a conference focusing on Boolean Algebras, Lattices, Algebraic Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. It is supported by the NSF and circulates among different universities.
BLAST 2015 will feature invited talks by Papiya Bhattacharjee, George Gratzer, Thomas Icard, John Krueger, Julie Lindman, Jan van Mill, Daniele Mundici and Constantine Tsinakis, as well as tutorials on Algebraic Logic (Nick Bezhanishvili), Set Theory (Joel Hamkins), Point-free Topology (Jorge Picado) and Universal Algebra (Matt Valeriote).
On 6-7 January 2015 The Bertrand Russell Research Centre at McMaster University will be hosting an international workshop on the development of logic at the turn of the 19th century, in Kant's wake.
The speakers include: Risto Vilkko (Helsinki), Michael Forster (Chicago), Lydia Patton (Virginia Tech), Sandra Lapointe (McMaster), Jeremy Heis (UC, Irvine) and Hans-Johann Glock (Zürich)
Attendance is free and lunch will be catered. Places are limited, however. Those interested in attending the workshop are invited to contact the organizers. Funding may be available.
For more information, contact Dr. Sandra Lapointe, http://www.humanities.mcmaster.ca/~lapointe
ALI, the Association for Logic in India, announces the sixth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology, Bombay, from January 8 to 10, 2015. ICLA 2015 will be co-located with the 14th Asian Logic Conference to be held during January 5-8, 2015.
ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.
The focus of this conference is on different approaches to the foundations of mathematics. The interaction between set-theoretic and category-theoretic foundations has had significant philosophical impact, and represents a shift in attitudes towards the philosophy of mathematics. This conference will bring together leading scholars in these areas to showcase contemporary philosophical research on different approaches to the foundations of mathematics.
To accomplish this, the conference has the following general aims and objectives. First, to bring to a wider philosophical audience the different approaches that one can take to the foundations of mathematics. Second, to elucidate the pressing issues of meaning and truth that turn on these different approaches. And third, to address philosophical questions concerning the need for a foundation of mathematics, and whether or not either of these approaches can provide the necessary foundation.
For more information, see the conference website at http://sotfom.wordpress.com/.
Keynote Speakers this year are Prof Alan Weir (Glasgow) & Mary Leng (York).
The conference website may be found at http://www.phil.cam.ac.uk/events/camb-grad-conf-2015. For any further information, please see http://www.illc.uva.nl/NewsandEvents/Events/newsitem.php?id=5928 or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.confgooglemail.com.
Costs: 3480 EUR
This program will deal with quantum cryptography, quantum computing and quantum repeaters. The goal of this event is to introduce this exciting topic in a relaxed and stimulating atmosphere to a general audience of physicists and computer scientists with little or no background in practical quantum communications. Special emphasis will be placed on practical aspects of quantum communications, such as the implementation of quantum key distribution systems and quantum repeaters, as well as concrete steps towards a quantum computer. The emerging applications of these promising technologies will also be discussed.
For more information, see http://www.idquantique.com/instrumentation/training.html
Semantics is a divided discipline. On one side we have Formal Semantics, which has its roots in logic and analytical philosophy (Frege, Montague). Meaning here is viewed as a relation between language and external reality, formalized in terms of reference, truth, possible worlds, etc. On the other side we have Cognitive Semantics, a central part of the Cognitive Linguistics movement, which grew out of dissatisfaction with formal linguistics (in particular, formal semantics and generative syntax) in the seventies (Fauconnier, Lakoff, Talmy). In this framework meaning is primarily a relation between language and the mind, described in terms of mental spaces, conceptual schemata, frames, etc.
For more information, see: https://sites.google.com/site/formcogsem/
On January 26th-27th 2015, the Faculty of Philosophy of the University of Groningen will host a short Winter School aimed at advanced undergraduate students and early-stage graduate students. The theme of the winter school isParadoxes and Dilemmas, and it will consist of 6 tutorials where the topic will be discussed from different viewpoints. The program will showcase the high level of teaching and research of the three departments of the Faculty (theoretical philosophy; ethics, social and political philosophy; history of philosophy).
Scholarship application deadline: December 1st 2014 Registration deadline: December 15th 2014 For more information, see http://www.rug.nl/filosofie/news/events/winter-school-paradoxes-and-dilemmas Further inquiries can be directed to Catarina Dutilh Novaes, c.dutilh.novaesrug.nl.
The 1st Indian Winter School on Diagrams aims to bring together graduate students and early career researchers, from all over the world, with interests in diagrams research. Participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering two main themes: diagrammatic logics alongside philosophical and historical developments. Courses will be delivered by internationally renowned experts to small groups of delegates and will have an emphasis on interactivity.
The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in diagrammatic reasoning. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators. It is expected that delegates who attend the winter school will become equipped to identify research questions in the diagrams field and be knowledgeable of current research endeavours. The School will also include one-on-one discussion sessions where delegates can meet with the expert facilitators to identify suitable research contributions that match their skills and interests.
Details on the courses running, their scope and any required prerequisite knowledge can be found here: https://sites.google.com/site/winterschoolondiagrams/winter-school-program.
This conference will feature keynote speakers Hans J. Briegel (Innsbruck), Leah Henderson (Carnegie Mellon) and Christopher Timpson (Brasenose/Oxford). It will also include submissions from both philosophers and scientists exploring the connections between the philosophy and foundations of quantum computation and quantum information theory (QCIT), and more traditional philosophical and foundational questions in physics, computer science, information theory, and mathematics.
Website where more information on the conference will be posted soon: http://www.mcmp.philosophie.uni-muenchen.de/events/workshops/index.html
Costs: free (registration required)
In the setting of secure multiparty computation, two or more parties with private inputs wish to compute some joint function of their inputs. The security requirements of such a computation are privacy (meaning that the parties learn the output and nothing more), correctness (meaning that the output is correctly distributed), independence of inputs, and more. This setting encompasses computations as simple as coin-tossing and agreement, and as complex as electronic voting, electronic auctions, electronic cash schemes, anonymous transactions, and private information retrieval schemes. Due to its generality, secure computation is a central tool in cryptography.
The aim of the school is to start from the basics, and teach the material needed to bring the participants up to date with the latest results in this exciting field. The school program includes approximately 27 hours of lectures and a half-day excursion to Jerusalem. The last day of the school will be a mini-workshop where latest results will be presented.
The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.
Participation is free, but registration is required. Please register by December 30, 2014. For more information, see http://crypto.2bwebsite.co.il/5th-biu-winter-school
RACT2015 brings together international experts from fields as diverse as education, philosophy, speech communication, psychology, mathematics, and rhetoric, among others. The main purpose is to assess the state of the art in research on reasoning and argumentation that can play a load-bearing role in the development of cutting-edge critical thinking instruction, both as dedicated courses and across the curriculum.
For more information, see http://ract2015.wordpress.com
LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2015 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. LATA 2014 will consist of invited talks and and peer-reviewed contributions
The scope of the conference includes algorithms and data structures, automata and formal languages, computational complexity, and logic in computer science, ass well as current challenges such as natural computing, quantum computing and mobile and net computing. The conference features invited speakers Sanjeev Arora (CS, Princeton), Manuel Bodirsky (CNRS, LIX, Palaiseau) and Peter Sanders (KIT, Karlsruhe), as well as tutorials on Computational Social Choice (by Felix Brandt, TUM, Munich) and Algorithmic Game Theory (TBA).
SMART Cognitive Science is an initiative of the Faculty of Humanities of the University of Amsterdam to provide a forum for the discussions highlighting the important contributions to cognitive science from traditional humanities disciplines. SMART is an acronym for Speech & language, Music, Art, Reasoning & Thought. The SMART Cognitive Science International Conference will consist of three plenary evening lectures and six 2-day workshops devoted to the topics on the intersection of humanities and cognitive science.
For more information, see http://smartcognitivescience.wordpress.com/2014/02/04/394/ or http://cl.ly/230F1l0W1W42.
Logic can be understood in different ways. The word "logic" has four basic meanings: reasoning, science, language and relation. Religion is also "relational", it can be viewed as the connection between human beings with life, reality, divinity. Logic, symbol of rationality, may appear as opposed to religion belief-oriented.
But logic and religion are intertwinned in many ways. Theo-logy is the science of god. It includes some proofs of the existence of god ranging from Anselm to Gödel. Moreover in the Bible the logos is assimilated to God and this has been repercuted in occidental philosophy in different ways by philosophers such as Leibniz or Hegel. A religion like Buddhism is also strongly connected to reasoning as well as Islam and many others.
This will be the first world congress on logic and religion. Relations between logic in all its dimensions - philosophical, mathematical, computational, linguistical - and the the different religions will be examined.
For more information, see http://www.uni-log.org/logic-and-religion.html
A conference in honor of Hugh Woodin's 60th birthday will be held at Harvard University on April 17-19, 2015.
The speakers for the meeting will be Garth Dales, Qi Feng, Matt Foreman, Alexander Kechris, Menachem Magidor, Donald Martin, Grigor Sargsyan, Ted Slaman and John Steel.
There is a conference website at:http://logic.harvard.edu/woodin_meeting.html Information will be added there as it becomes available. We would like to keep a head count of those planning to attend, so if you are planning to do so, please let us know at woodinbirthdayconferencegmail.com.
The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 51st Convention will be held at the University of Kent, Canterbury, UK, from 20-22nd April 2015.
The convention is structured as a number of co-located symposia, together with a number of plenary talks and events. A symposium lasts for one or two days, and can include any type of event of academic benefit: talks, posters, panels, discussions, debates, demonstrations, outreach sessions, exhibits, etc. Each symposium is organised by its own programme committee.
This is the seventh in the progic series of conferences, which seeks to address the questions of whether, and if so, how, probability and logic should be combined. The 2015 conference will also be interested in connections between formal epistemology and inductive logic. Can inductive logic shed light on epistemological questions to do with belief, judgement etc.? Can epistemological considerations lead to a viable notion of inductive logic?
Invited speakers include: Richard Bradley, Dorothy Edgington, John Norton, Jeanne Peijnenburg. The conference will be preceded by a two-day Spring School, where introductory lectures on the themes of the conference will be given by Juergen Landes, Jeff Paris, Niki Pfeifer, Gregory Wheeler, Jon Williamson.
A limited number of bursaries are available to postgraduate students attending the Spring School and the conference: these will cover 50% of accommodation and registration costs. For further details please see the conference website http://www.kent.ac.uk/secl/philosophy/jw/2015/progic/.
AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.
For more information, see http://www.aamas2015.com/
Epistemic game theory is a modern and blooming approach to game theory where the reasoning of people is at center stage. More precisely, it investigates the beliefs that people form – about the opponents' choices, but also about the opponents' beliefs – before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.
For more information about the course, together with a full program of the course, please visit our course website: http://www.epicenter.name/springcourse/
The European Conference on Argumentation (ECA) is a new pan-European initiative aiming to consolidate and advance various streaks of research into argumentation and reasoning: from philosophical, linguistic, discourse analytic, cognitive, to computational approaches. The chief goal of the initiative is to organize on a regular basis a major conference on argumentation. The first of these conferences will be hosted in Lisbon by the ArgLab, Institute of Philosophy (IFILNOVA), Universidade Nova de Lisboa.
The primary idea behind this first edition of the conference is that argumentation and reasoning are the main vehicles for our decisions and actions. They accompany, indeed constitute, a variety of significant social practices: from individual practical reasoning, small group decisions, deliberations of official bodies in various institutional contexts, to large-scale political and social deliberations. Argumentation is understood here as a mode of action - and not just any action, but a reasoned action, comprised of consideration of reasons (whether they are good or bad). Traditionally, argumentation has been assigned many distinct functions: epistemic, moral, conversational, etc. The aim of the conference is to explore how these functions are interrelated with the practical need for deciding on a course of action. Simply put, our chief concern is with the role argumentation and reasoning play when the question of 'what to do?' is addressed.
For more information, see http://www.ecargument.org/
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).
Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.
This is the fifth edition of a world event dedicated to universal logic. This event is a combination of a school and a congress. The school offers many turorials on a wide range of subjects. The congress will follow with invited talks by some of the best alive logicians and a selection of contributed talks. As in previous eiditons there will also be a contest and secret speaker.
This event is intended to be a major event in logic, providing a platform for future research guidelines. Such an event is of interest for all people dealing with logic in one way or another: pure logicians, mathematicians, computer scientists, AI researchers, linguists, psychologists, philosophers, etc.
For more information, see http://www.uni-log.org/enter-istanbul
There is an ongoing philosophical and logical debate about motivations in accepting or rejecting the principle (law) of (non-)contradiction and the principle (law) of excluded middle. A logic rejecting the principle of non-contradiction is called *paraconsistent* and a logic rejecting the principle of excluded middle is called *paracomplete*. But what does it really mean to reject a classical principle (law)? And what are the philosophical consequences for this refusal? In which sense would it still be possible to defend nowadays that there is just one true logic?
This workshop, held at the 5th World Congress on Universal Logic in Istanbul, shall represent a privileged platform to evaluate proposals for a more integrated and general approach to philosophical motivations and consequences in the emergence of non-classical logics. Keynote speaker: Graham Priest (CUNY).
For more information, see http://www.uni-log.org/wk5-PNC.html
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. There will be about 50 courses at introductory and advanced levels, as well as workshops, invited lectures and a student session to foster interdisciplinary discussion of current research.