News and Events:
These pages provide information about recent developments at or relevant to the ILLC (last update: 16 December 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.
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
This conference is a forum of young researchers (typically PhD students) for exchanging current research results and broadening their academic network. The scope of the conference ranges over formal and algorithmic methods in computer science, in a broad sense.
The conference consists of invited lectures by Moshe Vardi (Houston), Jean-Francois Raskin (Brussels), Joel Ouaknine (Oxford), Bernd Finkbeiner (Saarbrücken), Azadeh Farzan (Toronto), and Eric Bodden (Darmstadt), and short presentations (talks of 12 minutes duration).
Submissions are welcome via the submission page for short presentations given by young researchers (up to two years after completion of PhD), with an abstract of 2-5 pages written by a single author. The results may have been accepted or even published elsewhere. Each author is free to submit his/her “best result” (possibly obtained jointly with others). Multiple submissions by one author are not permitted. The language of the conference is English. Deadline for submission of abstracts: December 31, 2014.
For more information, see http://ffm2015.rwth-aachen.de/
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/
Are you eager to share your research? Are there developments in your field that we should all know about? Then contribute to Amsterdam Science.
Amsterdam Science is a new university science magazine, publishing the best science writing of students and researchers in Amsterdam. The magazine will showcase research conducted by master students, PhD students and researchers in all areas, e.g., mathematics, chemistry, astronomy, physics, biological and biomedical sciences, ecology, earth and environmental sciences, forensic science, computer science, logic. The core of the magazine consists of scientific reports about recent research, written in an accessible yet academic style. The magazine will be distributed for free in print and online.
To contribute, please contact the scouting editors on magazine-scienceuva.nl. They will guide you through the submission process. The publication of the first issue is scheduled for March 2015. The submission deadline is 1 January 2015. Two more issues will follow in the course of 2015.
For more information, see http://amsci.nl/
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.
Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net
Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 16th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on 20-23 February 2015.
The two main themes of this year's convention are (1) "Mental Representation of Semantic and Pragmatic Lexical Knowledge" and (2) "The Role of Linguistics in the Cognitive Sciences". Confirmed invited speakers are Jaroslav Peregrin (Charles University Prague), Judith Tonhauser (Ohio State University, with 97% certainty), Berit Gehrke (CNRS / Paris Diderot) and Reinhard Blutner (retired, University of Amsterdam).
We invite submission of blind abstracts of no longer than 250 words in PDF. Deadline for abstracts: 5 January
For more information, see https://sites.google.com/site/szklarskaporebaworkshop16/call-for-papers or contact szklarskaporebaworkshop16gmail.com.
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/
Run by the Society for the Philosophy of Information. each WPI workshop is a small scale gathering, with an open Call for Papers to present works in the large variety of research areas that focus on information, both in scientific and conceptual terms. This includes works in progress and we aim at discussing open problems in the area.
Invited speakers include William Wong (Middlesex University), Emma Tobin (UCL), Judith Simon (IT University of Copenhaghen) and Rob Kitchin.
Send your 500-1000 words abstract, suitable for anonymous review, by 23rd January 2015. Issues of interest include (but are not limited to): Causality, Data Quality, Security and Big Data.
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.
Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field. The integration of databases and natural language has been an utopia for many years. However, progress has been made and this is now an established field thanks to developments in Natural Language and technologies that made the storage and manipulation of large linguistic resources and datasets possible. The use of Natural Language in Software Engineering has contributed to both improving the development process from the viewpoints of developers (improve the process of conceptual modeling, validation, etc) and the usability of applications by users (natural language query interfaces, etc). NLDB’2015 will take place in Passau, Germany.
NLDB 2015 invites researchers from academia and industry to submit papers for oral or poster presentations on recent, unpublished research that addresses theoretical aspects, algorithms, applications, architectures for applied and integrated NLP, resources for applied NLP, and other aspects of NLP, as well as survey and discussion papers. For the 20th edition of NLDB, we especially solicit submissions for our special track: Natural Language and its connection to Semantic and Cognitive Computing. Deadline for paper submission: January 31, 2015.
For more information, see http://nldb2015.org/
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/
We are pleased to announce that the *Twentieth Anniversary Conference Applications of Logic in Philosophy and the Foundations of Mathematics* will be held in Szklarska Poreba from May 4 to May 8, 2015. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.
Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is TBA.
The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website http://www.klmn.uni.wroc.pl/conference.html.
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/
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/
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
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.
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/
The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.
TARK 2015 is the 15th conference of the TARK conference series. Previous conferences have been held bi-annually around the world, most recently in 2013 at the Institute of Mathematical Sciences, Chennai, India.
Submissions are now invited to TARK 2015. Deadline for submission of abstracts: February 20, 2015 Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2015.
For more information, see http://www.imsc.res.in/tark/tark15.html
FG-2015 is the 20th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which takes place in 2015 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline is February 22, 2015. Papers should report original work which was not presented in other conferences. However, simultaneous submission is allowed, provided that the authors indicate other conferences to which the work was submitted in a footnote. Note that accepted papers can only be presented in one of the venues.
For more information, see http://fg.phil.hhu.de/2015/
This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) provides a forum for researchers working in the areas of verification, program transformation, software engineering, rule-based programming, formal methods, and Web-oriented research, to submit their papers on the Automated Verification of Programs and Web Systems.
This special issue is devoted to the themes of the WWV and VPT workshop series on Automated Specification and Verification of Web Systems (WWV) and on Verification and Program Transformation (VPT). This is however an open call for papers. Both participants of the most recent editions of the WWV and VPT workshop series and others working on the themes of this special issue are hereby invited to submit a paper. Abstract submission deadline: 25 February 2015
For more information, see http://www.journals.elsevier.com/
The Spanish Society of Logic, Methodology and Philosophy of Science (SLMFCE) and the Facultat de Filosofia of the Universitat de Barcelona organize the VIII Congress of the society to be held in Barcelona from 7th to 10th July 2015. The congress will host the second edition of the Lullius Lectures, which will be in charge of Prof. Hartry Field (New York U.). The steering committee of the society will organize a symposium on H. Field's work.
The SLMFCE Conference is held every three years (aproximately). Its main aim is to promote the integration of research in Logic and Philosophy of Science, and serve as a meeting place for those who work in such area of research in Spain and abroad.
We invite submissions for both contributed papers and proposals for symposia (in English,Spanish or Catalan). Deadline for the submission of abstracts for contributed papers and symposia: February 28th, 2015.
The Journal of Artificial Intelligence Research (JAIR) is pleased to announce the launch of the Special Track on Cross-language Algorithms and Applications. The core Artificial Intelligence technologies of speech and natural language processing need to address the challenges of processing multiple languages. While the first challenge of multilingualism is to bridge the nomenclature gap for the same concepts, the next significant challenge is to develop algorithms and applications that not only scale to multiple languages but also leverage cross-lingual similarities for improved natural language processing.
The goal of this special track is to serve as a home for the publication of leading research on Cross-language Algorithms and Applications, focusing on developing unified themes leading to the development of the science of multi- and cross-lingualism. Topics of interest include, but are not limited to: efforts in the direction of multilingual transliteration; multilingual document summarization; rapid prototyping of cross language tools for low resource languages; and machine translation.
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/
The Panhellenic Logic Symposium(PLS), a biennial scientific event established in 1997, aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, it has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived. The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece.
Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 1 March 2015.
Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Those accepted will have an opportunity to present their results in poster form in a special poster session. Interested students should submit an abstract of no more than one page in pdf form by April 30, 2015 using the Easy Chair conference system.
The 2nd Belgrade University Graduate Conference in Philosophy and Logic is organised by the Department of Philosophy and the Institute of Philosophy of the Faculty of Philosophy at the University of Belgrade.
Keynote Speakers: Alexandru Baltag (University of Amsterdam), Kosta Dosen (University of Belgrade), Michael Griffin (Central European University), Peter Schroeder-Heister (University of Tuebingen), Sonja Smets (University of Amsterdam).
We welcome contributions from the graduate students in the field of analytic philosophy and logic in a wider sense. Presentations of interdisciplinary research from the fields of mathematics, computer science, linguistics and philosophy, are also most welcome. Final submission deadline is March 10th (CET).
. The series of CLfL workshops is designed to bring together NLP researchers interested in working with literary data – prose and poetry – in any human language. This is a friendly forum to discuss ideas, bring up problems and chart new directions. CLfL-2015 is co-located with NAACL 2015.
If you among those who heartily approve of automated processing of literary texts, consider contributing to the workshop. Papers are due by March 4th.
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/.
CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).
We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. Deadline for abstract submission: March 22, 2015.
For more information, see http://coalg.org/calco15/
The Student Session of the 27th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Barcelona, Spain, August 3rd to 14th. We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters and will appear in the student session proceedings by Springer. This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.
Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.
Submission deadline: March 25, 2015. Detailed guidelines regarding submission can be found on the Student Session website: http://esslli-stus-2015.phil.hhu.de/. Please direct inquiries about submission procedures or other matters relating to the Student Session to P.Schulzuva.nl and kaeshammerphil.uni-duesseldorf.de.
The TSD series evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. Proceedings of TSD form a book published by Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI) series.
Topics of the conference will include Corpora and Language Resources, Speech Recognition, Tagging, Classification and Parsing of Text and Speech , Speech and Spoken Language Generation, Semantic Processing of Text and Speech, Integrating Applications of Text and Speech Processing , Automatic Dialogue Systems, and Multimodal Techniques and Modelling. Papers on processing of languages other than English are strongly encouraged. Invited speakers: Hermann Ney, Dan Roth, Björn W. Schuller, Peter D. Turney and Alexander Waibel.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Deadline for submission of full papers: March 31, 2015.
For more information, see http://www.tsdconference.org/tsd2015
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/
Researchers in several communities are trying to understand the basic principles underlying creativity-related abilities (such as concept invention, concept formation, creative problem solving, the production of art, and creativity in all its facets e.g. in engineering, science, mathematics, business processes), working on computational models of their functioning, and also their utilization in different contexts and applications (e.g. applications of computational creativity frameworks with respect to mathematical invention and inventions in engineering, to the creation of poems, drawings, and music, to product design and development, to architecture etc.). In particular, a variety of different methodologies are used in such contexts ranging from logic-based frameworks to probabilistic and neuro-inspired approaches. This workshop shall offer a platform for scientists and professional users within relevant areas, on the one hand presenting actual and ongoing work in research, on the other hand also offering a chance for obtaining feedback and input from applications and use-case studies.
We invite papers that make a scientific contribution to the fields of computational creativity, idea generation and/or artificial general intelligence. Paper submission deadline: 19th of April, 2015.
For more information, see http://www.cogsci.uos.de/~c3gi
This workshop brings together researchers working on mathematical foundations of quantum physics, quantum computing, spatio-temporal causal structures, and related areas such as computational linguistics. Of particular interest are topics that use logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods and other computer science methods for the study of physical behaviour in general. The workshop will be preceded by tutorials
Prospective speakers are invited to submit a contribution to the workshop, either a *Short contributions* (linking to a paper published elsewhere) or a Longer *original contributions*. Submissions of works in progress are encouraged but must be more substantial than a research proposal. Submission Deadline: May 1, 2015
For more information, see http://www.cs.ox.ac.uk/qpl2015/
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.
The Eleventh Tbilisi Symposium on Language, Logic and Computation will be held in Tbilisi, Georgia from 21 September until 26 September 2015.
The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2015 forum is the eleventh instalment of a series of biannual Symposia.
The programme committee invites submissions of maximum three page abstracts (including references) in LNCS style on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. The submission deadline is the 1st of March 2015.
For more information, see http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
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.
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.
"Naming Matters" is a workshop with the world's leading researchers on proper names, the Stuttgart Circle for logic, and the Student Representatives of Philosophy of the University of Stuttgart. Speakers: Hans Kamp, Artemis Alexiadou, Tillmann Pross, Tomoo Ueda, Hazel Pearson, Jonathan Mai. Language: English/ German.
Participation is free of charge and registration is open to anyone. Visit http://www.namingmatters.org for more information (including program and abstracts) or to register (Deadline 17th of December), or contact mailnamingmatters.org.
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.
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).
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
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
There will be a Very Informal Gathering of Logicians at UCLA from 1:00 PM, Friday, January 30 to 1:00 PM, Sunday, February 1, 2015 (VIG 18), dedicated to Tony Martin on the occasion of his formal retirement. The invited speakers are Kit Fine, Sherwood Hachtman, Steve Jackson, Andrew Marks, Antonio Montalban (Hjorth lecturer), Itay Neeman, Charles Parsons, Pierre Simon, Sergei Starchenko, John Steel, Katrin Tent, Anush Tserunyan and Hugh Woodin.
There are no registration fees, and it is expected that travel grants will be available for graduate students and faculty in early career stages; write to ynmmath.ucla.edu if you are interested. For further information as it develops, check the Web page for the meeting, http://www.logic.ucla.edu/vig2015.
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)
For more information, see http://www.crissp.be/lnat3
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
The Southeastern Logic Symposium 2015 will take place at University of Florida in Gainesville on the weekend of February 28/March 1, beginning with a colloquium talk on Friday February 27, 4pm. The main theme will be computability, descriptive set theory,and their interaction.
We have secured 25 prominent speakers for the conference. The plenary speakers include Denis Hirschfeldt, Andrew Marks, and Theodore Slaman; the Friday colloquium will be given by Henry Towsner. We do offer travel support for graduate students. We strongly encourage especially graduate students in set theory who wish to present a talk to apply.
The website of the conference can be found at http://people.clas.ufl.edu/zapletal/event/seals-2015
Date and time: Friday 27 February 2015, 16:00-17:30Location: ILLC Common room (F1.21), Science Park 107, Amsterdam
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. Drinks will be served afterwards (also in the ILLC Common Room).
For more information, contact illcuva.nl.
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.
For more information, see http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
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).
- 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.
Further information will be posted at the conference website http://artsandsciences.sc.edu/phil/content/trip2015
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.
For more information, see http://www.math.uni-hamburg.de/spag/ml/Delhi2015/.
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
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
For more information, see http://www.lmu.de/graduateworkshop2015/
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/
Toy models are ubiquitous in the natural and social sciences - prominent examples include the Ising model in physics, the Lotka-Volterra model in the life sciences, and the Schelling model in the social sciences. It is characteristic of toy models that they simplify radically and often succeed in identifying the crucial features that produce a phenomenon. Toy models play an important and, though, insufficiently appreciated role in philosophy of science. This workshop addresses several questions regarding the epistemic functions of toy models in the natural and social sciences.
DATES AND REGISTRATION:
Workshop Date: May 8-9, 2015
Everyone is welcome to attend! Please e-mail the organizers in advance. For more information, see http://www.lmu.de/justplaying2015
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.
For more information, see http://www.csk.uni.lodz.pl/
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
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.
For more information, see http://www.uni-log.org/wk5-IOL.html
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
CSR 2014 intends to reflect the broad scope of international cooperation in computer science. It is the 10th conference in a series of regular events started with CSR 2006 in St. Petersburg
Distinguished opening lecture: Moshe Y. Vardi (Rice U.). Invited Speakers include Samuel R. Buss (UCSD), Phokion Kolaitis (UCSC and IBM Research/Almaden) and Vladimir Podolskii (Steklov Inst./Moscow).
Further information and contacts:
Email: csr2015 "at" googlegroups.com
The Munich Center for Mathematical Philosophy (MCMP) is organizing the 2nd Summer School on Mathematical Philosophy for Female Students, which will be held from July 26 to August 1, 2015 in Munich, Germany. The summer school is open to excellent female students who wish to specialize in mathematical philosophy.
Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school aims to encourage women to engage with mathematical methods and apply them to philosophical problems. The summer school will provide an infrastructure for developing expertise in some of the main formal approaches used in mathematical philosophy, including formal epistemology, simulation techniques, the semantics-pragmatics interface. Furthermore, it offers study in an informal setting, lively debate, and a chance to strengthen mathematical self-confidence and independence for female students. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.
The deadline for application is March 1, 2015. For more information, see http://www.mathsummer.philosophie.uni-muenchen.de/
The Scandinavian Logic Society is very pleased to announce the next summer school in logic, taking place July 27-31 in Helsinki this summer of 2015. Notice that the school takes place exactly the week before both the ASL European Summer Meeting and the LMPS, both of which being in Helsinki August 3rd.
Course are offered by a very distinguished group of lecturers: Samson Abramsky (Oxford), Jeremy Avigad (Carnegie Mellon), Laura Fontanella (Hebrew University), Curtis Franks (Notre Dame), Ã sa Hirvonen (Helsinki), Nicole Schweikardt (Berlin) and Moshe Vardi (Rice University). There may be funds for students. Also: note the inexpensive registration fee.
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.
For more information, see http://www.helsinki.fi/clmps
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.