These pages provide information about recent developments at or relevant to the ILLC. Please let us know if you have material that you would like to be added to the news pages, by using the online submission form. For minor updates to existing entries you can also email the news administrators directly. English submissions strongly preferred.
The calender view is not available on the mobile version of the website. You can view this information as a list.
You can also view this information as a list or iCalendar-feed, or import the embedded hCalendar metadata into your calendar-app.
| << January 2015 | ||||||
|---|---|---|---|---|---|---|
| Sunday | Monday | Tuesday | Wednesday | Thursday | Friday | Saturday |
|
1
|
2
|
3
|
||||
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
|
18
|
19
|
20
|
21
|
22
|
23
|
24
|
|
25
|
26
|
27
|
28
|
29
|
30
|
31
|
Contribute to Amsterdam Science magazine
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-science at uva.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/
3-5 July 2015, Formal Ethics 2015, Bayreuth, Germany
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.
Contact and further information:
Email: organization at formalethics dot net
Web: www dot formalethics dot net
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.
20-23 February 2015, 16th Szklarska Poreba Workshop on the Roots of Pragmasemantics 16th Workshop on the Roots of Pragmasemantics, Szklarska Poreba, Poland
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).
For more information, see https://sites.google.com/site/szklarskaporebaworkshop16/call-for-papers or contact szklarskaporebaworkshop16 at gmail.com.
We invite submission of blind abstracts of no longer than 250 words in PDF.
Deadline for abstracts: 5 January
.
24-26 June 2015, Society for Philosophy of Science in Practice Fifth Biennial Conference (SPSP 2015), Aarhus, Denmark
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.
For more information on local arrangements and updates on the conference, please see http://spsp2015.au.dk/, or contact Sabina Leonelli, S.Leonelli at exeter.ac.uk.
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.
5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India
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
5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2014), Las Cruces NM, U.S.A.
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 2014 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).
For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.
5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India
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
5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2014), Las Cruces NM, U.S.A.
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 2014 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).
For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.
6-7 January 2015, "Logic in Kant's Wake", Hamilton ON, Canada
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
5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India
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
5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2014), Las Cruces NM, U.S.A.
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 2014 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).
For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.
6-7 January 2015, "Logic in Kant's Wake", Hamilton ON, Canada
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
5-8 January 2015, Fourteenth Asian Logic Conference (ALC 2015), Mumbai, India
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
5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2014), Las Cruces NM, U.S.A.
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 2014 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).
For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.
8-10 January 2015, 6th Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India
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.
For more information, see http://www.cse.iitb.ac.in/~icla15/. Any further queries related to the conference may be sent to the following email address: icla15 at cse.iitb.ac.in.
5-9 January 2015, Boolean algebras, Lattices, universal Algebra, Set theory, Topology (BLAST 2014), Las Cruces NM, U.S.A.
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 2014 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).
For more information, see http://www.math.nmsu.edu/blast2015/ or contact BLAST at math.nmsu.edu.
8-10 January 2015, 6th Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India
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.
For more information, see http://www.cse.iitb.ac.in/~icla15/. Any further queries related to the conference may be sent to the following email address: icla15 at cse.iitb.ac.in.
9 January 2015, Celebration: 25 years of Coordination Models and Languages at CWI
Friday January 9, 2015 we celebrate prof. dr. Farhad Arbab's achievements of 25 years Coordination Models and Languages at the CWI. The program starts at 13.30 with lectures of the following eminent scientists: Prof. dr. Joseph Sifakis (EPFL/RiSD Lab/CIR/CNRS/VERIMAG); Prof. dr. Ugo Montanari (Università di Pisa); Prof. dr. Krzysztof R. Apt (CWI).
If you wish to attend, please register (without further costs) at our website: https://www.cwi.nl/events/.
8-10 January 2015, 6th Indian Conference on Logic and its Applications (ICLA 2015), Mumbai, India
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.
For more information, see http://www.cse.iitb.ac.in/~icla15/. Any further queries related to the conference may be sent to the following email address: icla15 at cse.iitb.ac.in.
16-17 May 2015, Wyclif and the Realist Tradition in 14th Century Logic, St Andrews, Scotland
Historians of logic have known for decades that the 14th century was a tremendously productive period in the Latin West. As far as the relationship between logic and metaphysics is concerned, however, research has tended to focus on the nominalist tradition associated with Ockham and Buridan. The aim of this workshop is to redress the balance a little by focussing instead on the realist tradition that spans the 14th century. We have singled out for special mention the influential figure of John Wyclif, whose Logic is currently being re-edited here at St Andrews, but we welcome contributions involving other figures from Walter Burley to Paul of Venice.
For more information, see http://www.st-andrews.ac.uk/arche/events/event?id=866
Each accepted paper will standardly be allocated an hour including time for discussion. Authors of accepted papers will be provided with meals during the conference and overnight accommodation for three nights. Please submit abstracts of around 250 words to the organizers Mark Thakkar (mnat at st-andrews.ac.uk) and Stephen Read by Monday 12 January 2015. We will notify you of the outcome by the end of January.
12-13 January 2015, Symposium on the Foundations of Mathematics: Competing Foundations (SOTFOM II) , London, U.K.
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/.
12-13 January 2015, Symposium on the Foundations of Mathematics: Competing Foundations (SOTFOM II) , London, U.K.
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/.
28-29 May 2015, Workshop 'Gradability, Scale Structure, and Vagueness: Experimental Perspectives', Madrid, Spain
The workshop is concerned with the semantics of gradability, scale structure and vagueness from an experimental perspective.
For more information, see https://sites.google.com/site/gradexp2015/.
We invite papers that challenge or confirm current formal analyses of these phenomena in view of experimentally collected data; that discuss how semantic and pragmatic theory can benefit from experimental methodologies; and that aim for an explicit and detailed account of the use, mental representation, online processing, neural correlates or acquisition of expressions of gradability, scalarity, and vagueness. Abstract submission deadline: January 15th, 2015.
17-19 May 2015, St. Louis Annual Conference on Reasons and Rationality, St. Louis MO, U.S.A.
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).
For more information, see http://www.umsl.edu/~slacrr/ or email slacrr at gmail.com.
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.
19-20 March 2015, Redrawing Pragmasemantic Borders, Groningen, The Netherlands
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.
For more information, see https://sites.google.com/site/redraw2015/.
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.
20-22 May 2015, 12th Annual Formal Epistemology Workshop (FEW 2015), St. Louis MO, U.S.A.
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).
For more information, see the conference webpage at https://sites.google.com/site/juliastaffelphilosophy/few.
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.
17-18 January 2015, 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, England
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 here or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.conf at googlemail.com.
1-4 June 2015, 4th International Congress on Tools for Teaching Logic, Rennes, France
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.
For more information, see http://ttl2015.irisa.fr/
We invite submission on all aspects of teaching logics. Submission deadline is 18th January 2015.
17-18 January 2015, 8th Annual Cambridge Graduate Conference on the Philosophy of Mathematics and Logic, Cambridge, England
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 here or contact the conference organisers, Fiona Doherty and Fredrik Nyseth at cam.phil.grad.conf at googlemail.com.
18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps
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
18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps
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
18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps
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
29 June - 3 July 2015, Computability in Europe 2015 (CiE 2015), Bucharest, Romania
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.
For more information, see http://fmi.unibuc.ro/CiE2015/
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 (extended): 21 January 2015.
18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps
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
18-22 January 2015, Winterschool on practical quantum communications, Les Diablerets in the Swiss Alps
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
22-23 January 2015, Workshop "Formal Semantics Meets Cognitive Semantics", Nijmegen
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/
30-31 March 2015, 7th Workshop on the Philosophy of Information (7WPI): Conceptual challenges of data in science and technology, London, England
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.
For more information, see http://socphilinfo.org/news/cfp/ or contact the organizers at phyllis.illari at ucl.ac.uk or G.Primiero at mdx.ac.uk.
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.
22-23 January 2015, Workshop "Formal Semantics Meets Cognitive Semantics", Nijmegen
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/
29 June - 1 July 2015, 12th International Conference on Mathematics of Program Construction (MPC 2015), Koenigswinter (Germany)
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.
For more information, see http://www.cs.ox.ac.uk/conferences/MPC2015/ or email jv at informatik.uni-bonn.de.
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.
26-27 January 2015, Winter School on Paradoxes and Dilemmas, Groningen, The Netherlands
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.novaes at rug.nl.
26-27 January 2015, Winter School on Paradoxes and Dilemmas, Groningen, The Netherlands
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.novaes at rug.nl.
27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India
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.
27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India
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.
28 January 2015, Wadge theory and automata, Turin, Italy
The logic group in Turin is pleased to announce a one-day workshop on "Wadge theory and automata". Wadge theory is an area of descriptive set theory dealing with the classification of subsets of reals in terms of their topological complexity. It has strong connections with automata theory, in particular when it comes to classifying omega-regular languages that can be recognized by different types of automata.
The workshop will consist of four talks, by Jacques Duparc (Lausanne), Alessandro Facchini (Warsaw), Victor Selivanov (Novosibirsk) and Olivier Finkel (Paris). The meeting will be concluded by a brief discussion session outlining some open problems and future directions of the area.
More information can be found on the webpage of the workshop: http://www.personalweb.unito.it/luca.mottoros/workshop280115.html
27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India
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.
1-3 July 2015, 13th International Conference on Typed Lambda Calculi and
Applications (TLCA 2015), Warsaw, Poland
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.
For more information, see http://www.mimuw.edu.pl/tlca/ and http://rdp15.mimuw.edu.pl/.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Abstract Deadline: 30 January 2015.
29 June - 1 July 2015, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), Warsaw, Poland
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).
For more information, see http://rewriting.loria.fr/rta/ and http://rdp15.mimuw.edu.pl/, or contact the PC chair: Maribel.Fernandez at kcl.ac.uk
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.
27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India
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.
30-31 January 2015, Quantum computation, Quantum information and the exact sciences, Munich, Germany
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
30 January - 1 February 2015, Very Informal Gathering (VIG 2015), on the occasion of Tony Martin's retirement, Los Angeles CA (U.S.A.)
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 ynm at math.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.
17-19 June 2015, 20th International Conference on Application of Natural
Language to Information Systems (NLDB'15), Passau, Germany
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'15 will take place in Passau, Germany.
For more information, see http://nldb2015.org/
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.
CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity"
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.
For more information, see http://computal.uni-trier.de/ and http://logicandanalysis.org/.
27-31 January 2015, 1st Indian Winter School on Diagrams, Kolkata, India
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.
30-31 January 2015, Quantum computation, Quantum information and the exact sciences, Munich, Germany
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
30 January - 1 February 2015, Very Informal Gathering (VIG 2015), on the occasion of Tony Martin's retirement, Los Angeles CA (U.S.A.)
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 ynm at math.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.
31 January - 7 February 2015, Winter School in Abstract Analysis (Set Theory and Topology), Hejnice, Czech Republic
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/.