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.
| << February 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
|
14-18 September 2015, Ninth International Conference of the German Society for Analytic Philosophy (GAP.9), Osnabrück, Germany
GAP.9 will take place in Osnabrück (Germany), September 14-17, 2015, hosted by the GAP and Osnabrück University. It is locally organized by the Philosophy of Mind and Cognition group of the Institute of Cognitive Science at Osnabrück University. The title of GAP.9 is "Philosophy Between Armchair and Lab".
In addition to more than 250 national and international speakers in nine colloquia and thirteen sections, the four day conference will feature three plenary lectures, by Kirsten Meyer (Humboldt Universität Berlin, Germany), Jennifer Lackey (Northwestern University, USA) and Martine Nida-Rümelin (Université de Fribourg, Switzerland).
Details about the conference can be found at http://gap9.de/en/. Please address any remaining queries to info at gap9.de.
The GAP invites all interested persons to submit contributions to GAP.9. In order to submit your paper or poster to GAP.9, please send an email by February 1, 2015.
4-8 May 2015, 20th Conference on Applications of Logic in Philosophy and the Foundations of Mathematics, Szklarska Poreba, Poland
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.
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.
Contributions related to logic, logical philosophy, pragmatics, foundations of mathematics and related areas are welcome. papers for presentation. Submission deadline is TBA.
4-6 June 2015, 2015 meeting of the Bertrand Russell Society, Dublin, Ireland
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.
Further details about the annual meeting (registration, etc.) will be posted at Alan Schwerin's website at https://sites.google.com/site/alanschwerinsphilosophycorner/home/
If you are interested in presenting a paper at the BRS Annual Meeting, please contact Alan Schwerin, President of the BRS, at aschweri at monmouth.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).
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/.
26-28 May 2015, Sixth International Workshop on Computational Models of Narrative (CMN 2015), Atlanta GA, U.S.A.
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. This inter-disciplinary workshop will be an appropriate venue for papers addressing fundamental topics and questions regarding narrative, such as 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.
CMN 2015 will be co-located with the Third Annual Conference on Advances in Cognitive Systems (ACS 2015). The workshop 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. Invited Speaker: Janet H. Murray (Georgia Institute of Technology, USA)
For more information, see http://narrative.csail.mit.edu/cmn15
The Programme Committee cordially invites all researchers to submit their papers for presentation. Long, short and position papers are solicited. Papers should be relevant to issues fundamental to the computational modeling and scientific understanding of narrative. Submission deadline: February 2, 2015.
26-28 May 2015, Sixth Workshop on Computational Models of Narrative (CMN'15), Atlanta GA, U.S.A.
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 .
For more information, see http://narrative.csail.mit.edu/cmn15/
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.
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/.
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/.
3 February 2015, LoLa Day II
Everyone is welcome to attend the next LoLa day, which takes place on February 3, 2015 in the city center of Amsterdam.
At this second edition of the LoLa day, we create a platform for the Lola members to present their new results and ongoing work.
For more information, including the scientific programme, see https://www.illc.uva.nl/LoLa/LoLa-Day/.
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/.
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/.
5-6 February 2015, Logic Now and Then 3 (LNAT3), Brussels, Belgium
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.
Invited speakers:
* 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
6-11 July 2015, 32nd International Conference on Machine Learning (ICML 2015), Lille, France
ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.
For more information, see http://icml.cc/2015/
We invite submissions of papers on all topics related to machine learning for the conference proceedings, and proposals for tutorials and workshops. This year, ICML will adopt a single reviewing cycle, with a single paper deadline on February 6th, 2015.
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/.
5-6 February 2015, Logic Now and Then 3 (LNAT3), Brussels, Belgium
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.
Invited speakers:
* 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
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/.
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/.
25 July - 1 August 2015, 24th International Joint Conference on Artificial Intelligence (IJCAI-15), Buenos Aires, Argentina
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.
For more information, see http://ijcai-15.org/
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).
4-5 May 2015, Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2015), Istanbul, Turkey
The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results.
For more information, see http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm
Three types of submissions are allowed: regular papers (describing original unpublished research, but position papers and visionary work in progress can also be submitted in this category), system descriptions (describing new systems or significant upgrades of existing ones) or extended abstracts reporting interesting and relevant work that has been published (or accepted for publication) in the last 12 months. Paper submission deadline: February 11, 2015.
14-16 May 2015, PhDs in Logic VII, Vienna, Austria
PhDs in Logic is an annual graduate conference organized by local graduate students. Its aim is to bring together graduate students and researchers as well as to foster contact between graduate students. This year, the conference includes tutorials by Thomas Eiter (Vienna University of Technology), Michael Moortgat (Universiteit Utrecht), Revantha Ramanayake (Vienna University of Technology) and Torsten Schaub (University Potsdam).
For more information, see http://phdsinlogic.logic-cs.at/. In case you have any questions, please do not hesitate to contact us via phdsinlogic at gmail.com
We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. Students interested in doing a talk should send a 500-1000 word blinded abstract by February 12th, 2015.
17-19 June 2015, Eighth Workshop in Decisions, Games and Logic (DGL 2015), London School of Economics
The Decisions, Games and Logic (DGL) workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.
DGL 2015 will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The details of this year's workshop and the CFP can be found at the conference website at http://personal.lse.ac.uk/marcoci/dgl2015.html, or contact philosophy.probability at lse.ac.uk.
This year, we invite submissions from graduate students, post-docs and other early career researchers in the fields of Decision Theory, Game Theory, Logic and Formal Philosophy. Preference will be given to conceptual/foundational work in these fields and to interdisciplinary approaches. Both full and poster presentations are solicited. Deadline for submission: 15 February 2015.
17-19 April 2015, Truth Pluralism and Logical Pluralism, Storrs CT, U.S.A.
The Philosophy Department at the University of Connecticut in partnership with the Pluralisms Global Research Network funded by the National Research Foundation of Korea is delighted to announce a conference on *Truth Pluralism and Logical Pluralism*, to be held from April 17-19, 2015, at the University of Connecticut, Storrs.
What does a mean for a sentence or proposition to be true? Can there be more than one way for something to be true? What does it mean for a logic to be "correct", and can there be multiple equally correct logics? This conference is aimed at exploring issues in pluralisms about truth and logic and their rival theories, as well as the connections between them.
If you have any questions, please contact the conference organiser, Nathan Kellen <nathan.kellen at gmail.com>. For more information and a registration form, see http://philosophy.uconn.edu/ and http://www.nikolajpedersen.com/pluralisms.html. While the conference is free and open to the public, registration is required. Please register by April 1st, using the registration form at http://www.nathankellen.com/.
We will also have room for 2-3 contributed papers. We invite submissions of *full papers*, suitable for 35 minute presentation. Please submit the paper, in .pdf format and formatted for blind review, as well as a separate cover sheet with contact information. Papers should be submitted to Nathan Kellen nathan.kellen at gmail.com, by *11:59PM EST on February 15th, 2015*. Papers should address the topic of the conference, and papers addressing the connections between truth pluralism and logical pluralism are especially welcome. We encourage submissions from all scholars, including early career researchers and graduate students and especially those from underrepresented groups in philosophy.
3-14 August 2015, ESSLLI-2015 Workshop "Logics for Resource-Bounded Agents", Barcelona, Spain
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.
For more information, see http://www.cs.nott.ac.uk/~nza/lrba15/
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
10-14 August 2015, "Empirical Advances in Categorial Grammar", Barcelona, Spain
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.
For more information, see http://www.u.tsukuba.ac.jp/~kubota.yusuke.fn/cg2015.html
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
20-23 July 2015, 22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015), Bloomington IN, U.S.A.
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).
For more information, see http://wollic.org/wollic2015/
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).
15-19 June 2015, Logica 2015, Hejnice, Czech Republic
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.
For more information, see http://logika.flu.cas.cz/cz/logica/logica-2015 or email logica at flu.cas.cz.
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.
15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel
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
15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel
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
15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel
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
15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel
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
15-19 February 2015, 5th Bar-Ilan Winter School on Cryptography: Advances in Practical Multiparty Computation, Tel Aviv, Israel
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
4-6 June 2015, 15th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015), Pittsburgh PA, U.S.A.
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.
For more information, see http://www.imsc.res.in/tark/tark15.html
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.
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.
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.
4-5 June 2015, 15th Annual Philosophy of Logic, Mathematics and Physics Graduate Conference (LMP 2015), London, Ontario, Canada
This year, the 2015 LMP Conference will precede the annual Philosophy of Physics Conference, taking place June 6-7. Elaine Landry (University of California-Davis) will be giving the keynote address.
Additional information can be found on our website at http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.
Graduate students who have not yet defended their PhD thesis are invited to submit papers on any topic in philosophy of logic, philosophy of mathematics, and philosophy of physics. Papers should be submitted by February 22nd, 2015.
Papers in philosophy of physics will be considered for the 12th Annual Clifton Memorial book prize. The contest will be adjudicated by philosophy of physics faculty members at Western.
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.
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.
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
8-9 August 2015, The 20th Conference on Formal Grammar (FG 2015), Barcelona, Spain
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.
For more information, see http://fg.phil.hhu.de/2015/
We invite electronic submissions of original, 16-page papers (including references and possible technical appendices). The submission deadline (extended) is February 25, 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.
CfP special issue of JLAMP on "automated verification of programs and web systems"
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/
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
25-27 February 2015, Young Researchers' Conference "Frontiers of Formal Methods", Aachen, Germany
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).
For more information, see http://ffm2015.rwth-aachen.de/
25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden
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
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
25-27 February 2015, Young Researchers' Conference "Frontiers of Formal Methods", Aachen, Germany
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).
For more information, see http://ffm2015.rwth-aachen.de/
25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden
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
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
25-27 February 2015, Young Researchers' Conference "Frontiers of Formal Methods", Aachen, Germany
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).
For more information, see http://ffm2015.rwth-aachen.de/
25-27 February 2015, Reasoning, Argumentation and Critical Thinking Instruction (RACT2015), Lund, Sweden
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
27 February 2015, Heyting Day 2015
The Arend Heyting Foundation was founded in 1981 by prof. dr. A.S. Troelstra, under the auspices of the The Royal Netherlands Academy of Arts and Sciences and has as goal to further the knowledge of mathematical logic, and Intuitionism in particular. The Arend Heyting Foundation organizes an Arend Heyting Lecture at least once every three year. The 2015 Arend Heyting Lecture, entitled "136 years and still going strong?: Cantor's continuum problem", will be given by Michael Rathjen.
The Heyting Day 2015 is dedicated to the celebration of the 75th birthdays of Dick de Jongh and Anne Troelstra. The speakers of this year's Heyting Day are: Lev Beklemishev, Nick Bezhanishvili, Jaap van Oosten, Paulo Oliva and Michael Rathjen.
For more information, see http://phil.uu.nl/~albert/Heyting_Day/
27 February - 1 March 2015, South-Eastern Logic Symposium (SEALS 2015), Gainesville FL, U.S.A.
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
CfP volume on applications of logical methods outside of the core areas, edited by Urbaniak and Payette
A special volume in Springer's series Logic, Argumentation and Reasoning on applied formal/mathematical philosophy is being edited by Rafal Urbaniak and Gillman Payette. We are requesting papers which apply logical/mathematical methods outside of the usual "core disciplines" of mathematical philosophy, i.e., outside of pure logic, philosophy of logic, philosophy of language, and metaphysics.
The submission deadline is now February 28, 2015. If you're interested, please email your full paper, prepared in PDF and LaTeX formats, prepared for anonymous refereeing to both rfl.urbaniak at gmail.com and gpayette at dal.ca. Please include your contact details in the submission email.
7-8 June 2015, PLM Masterclass, with David Chalmers, Stockholm
Postgraduates are invited to apply for the 2nd PLM Masterclass, to be held at the Department of Philosophy, Stockholm University, 7-8 June 2015. The masterclass will be devoted to the work of David Chalmers, New York University and Australian National University. 9 graduate students will have the opportunity to present papers on David Chalmers's work. Professor Chalmers will comment on the papers and will also present new research.
Each student talk will be 30 minutes long, and will be followed by comments by Professor Chalmers and a general discussion.
Participation in the Masterclass will be free of charge, but students will have to find their own funding support for accommodation and living expenses.
For more information, see http://langmind.eu/
Applications are made by sending an abstract up to 1000 words of your proposed talk, together with a short cv, to plm.masterclass at gmail.com. The deadline for application is 28 February, 2015. Please use pdf (preferred), doc, or docx, as your file format. Notifications regarding acceptance will be sent out in the beginning of April.
7-10 July 2015, VIII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science, Barcelona, Spain
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.
For more information, see http://www.ub.edu/slmfce8 or contact 8slmfce at gmail.com.
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.
23 February - 12 June 2015, M.Sc. distance learning course on "Modal Logics and Description Logics", Manchester, U.K.
For many applications, specific domain knowledge is required. Instead of coding such knowledge into a specific system in a way that it can never be changed (hidden in the overall implementation), different logic-based formalisms for representing different kinds of knowledge have been developed in the last 50 years. In this module, we discuss some of these approaches, namely modal logics and description logics.
Description logics are mainly designed to represent and reason about the terminology of an application domain and form the logical underpinning of the Semantic Web ontology language OWL. Modal logics can be used to represent and reason about the behaviour of systems, for example agent based systems. For both logics, automated reasoning tools have been developed to answer queries about the knowledge representation explicitly. This module provides an introduction to various modal and description logics, how to formalise knowledge and questions about this knowledge in these logics, different approaches to automated reasoning for these logics, and the relationship between these logics and first-order logic.
The module is entirely web-based, so a reliable internet connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning outcomes, assessment information is available from the module website at http://www.cs.manchester.ac.uk/study/professional-development/study-options/. Registration deadline: 20 February 2015.
27 February - 1 March 2015, South-Eastern Logic Symposium (SEALS 2015), Gainesville FL, U.S.A.
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