The 6th North American Summer School in Logic, Language and Information (NASSLLI 2014), a bi-annual summer school loosely modeled on the long-running ESSLLI series in Europe, will be held at the University of Maryland, College Park, June 23 - 27, 2014. In addition, we will run three intensive introductory courses ("bootcamps") on Saturday and Sunday, June 21-22. Additional events will be held during the weekend following the summer school, June 28-29.

The summer school will consist of 18 courses, scheduled in five parallel sessions throughout the week. Courses will meet for 90 minutes on each of five days. The instructors are prominent researchers who volunteer their time and energy to present work in their disciplines. NASSLLI courses are aimed at graduate students and advanced undergraduates in any of the fields represented at the summer school, but will also be of interest to post-docs and researchers in those fields. Courses are designed with an interdisciplinary audience in mind, by instructors who enjoy addressing students and colleagues from a wide range of disciplines.

For more information including the full program, see http://www.nasslli2014.com/.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 2013 edition will be held at the University of Amsterdam on 18-20 December and will be collocated with the 17th SemDial workshop (DialDam).

The 19th Amsterdam Colloquium will feature two workshops on Quantitative Data and on Modals; a special session on the Semantics and Pragmatics of Dialogue, jointly organized with the SemDial Workshop; and one evening lecture, jointly organized with the E.W. Beth Foundation.

For more information, see https://www.illc.uva.nl/AC/AC2013/

This is the 5th world congress on paraconsistent logic, gathering top researchers from all over the world.

All aspects of paraconsistency are under examination: studies of various systems of paraconsistent logic, general tools and frameworks for these systems, philosophical discussion and historical investigations as well as challenging applications. The WCP5 is emphasizing an interdisciplinary perspective ranging from mathematics to arts, through computer science, artificial intelligence, philosophy and linguistics.

For more information, see http://www.paraconsistency.org/wcp5.html

The apparent dichotomy between proofs as constituted by inferential steps, and proofs as abstract 'unstructured' entities reflects the duality of the notion of function itself. Should functions be viewed as procedures - piecewise constituted by instructions - or are functions sorts of black boxes to be identified by what they do - giving a value for each input - rather than by how they do it? Are functions primarily given as the denotation of linguistic predicates (in a Fregean manner), or are they rather an already given domain which we disclose through language?

For more information and a full programme please visit http://ls.informatik.uni-tuebingen.de/FPC/.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

For more information, see http://www.tsdconference.org/

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

For more information, see http://www.tsdconference.org/

In philosophy, claims of knowledge are often based on considering non-actual scenarios. But it is not so clear what explains and justifies such practices. Opposing the traditional view that the knowledge at stake is conceptual or based on rational intuitions, Timothy Williamson has come up with a revolutionary proposal: both modal claims and thought experiments can be accounted for in terms of our capacity for evaluating everyday counterfactuals. No wonder this innovative proposal sparked intense debate.

To mention just two critical points: First, one might wonder whether our ability to evaluate the relevant counterfactuals depends upon prior knowledge of metaphysical necessity or essentiality. If so, the account runs the risk of being circular. Second, Williamson's account of thought experiments is designed to address the problem that any case description could be realised in a deviant way. One might suspect that Williamson?s own counterfactual account falls prey to the same difficulty. The workshop aims at promoting the critical discussion of the counterfactual account of both modal knowledge and thought experiments.

For more information, see https://www.philosophie.hu-berlin.de/institut/lehrbereiche/idealismus/. If you would like to participate, please contact Daniel Dohrn: dohrndan at cms.hu-berlin.de.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

For more information, see http://www.tsdconference.org/

In philosophy, claims of knowledge are often based on considering non-actual scenarios. But it is not so clear what explains and justifies such practices. Opposing the traditional view that the knowledge at stake is conceptual or based on rational intuitions, Timothy Williamson has come up with a revolutionary proposal: both modal claims and thought experiments can be accounted for in terms of our capacity for evaluating everyday counterfactuals. No wonder this innovative proposal sparked intense debate.

To mention just two critical points: First, one might wonder whether our ability to evaluate the relevant counterfactuals depends upon prior knowledge of metaphysical necessity or essentiality. If so, the account runs the risk of being circular. Second, Williamson's account of thought experiments is designed to address the problem that any case description could be realised in a deviant way. One might suspect that Williamson?s own counterfactual account falls prey to the same difficulty. The workshop aims at promoting the critical discussion of the counterfactual account of both modal knowledge and thought experiments.

For more information, see https://www.philosophie.hu-berlin.de/institut/lehrbereiche/idealismus/. If you would like to participate, please contact Daniel Dohrn: dohrndan at cms.hu-berlin.de.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

For more information, see http://www.tsdconference.org/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

The rector of Ghent University will award an institutional honorary doctorate to Prof. Dr. Harvey M. Friedman on September 4th, 2013. On this occasion Friedman will give a general audience talk on September 4th afternoon, followed by a talk on electronic performance. In the morning of September 5th there will be two lectures by Friedman on his recent achievements on the foundations of mathematics. In the afternoon there will be four invited lectures by Albert Visser, Ulrich Kohlenbach, Matthias Baaz and Ali Enayat and additional short lectures highlighting some selected bits of Friedman's research. On September 4 and 5 Friedman will give piano recitals

The (currently provisional) website of the event is located at http://cage.ugent.be/programFriedman/ Participants are welcome! There is no fee involved. (But participants of the lunch on September 5th are expected to pay a fee of EUR 20).

The British Logic Colloquium (BLC) 2013 will be held at the University of Leeds from the 5th to the 7th of September 2013, together with a symposium (4th-5th September 2013) in memory of Sir Michael A E Dummett FBA DLitt (1925-2011).

It is expected that there will also be a BLC Postgraduate logic meeting on the afternoon of September 3rd and morning of September 4th 2013.

For more information, see http://www1.maths.leeds.ac.uk/~blc2013/ or contact blc2013 at leeds.ac.uk.

The 5th biennial Experimental Pragmatics conference will be held from September 4-6, 2013, at Utrecht University, Utrecht, the Netherlands, under the auspices of the ESF research network EuroXprag (http://www.euro-xprag.org/). The Experimental Pragmatics series aims at fostering interaction between linguistic, psychological, and philosophical approaches to utterance interpretation.

The programme and the registration form (regular fee €40, students €25) are available at the conference website: http://xprag2013.wp.hum.uu.nl/

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world. This year the conference is organized in parallel with the 15th International Conference on Speech and Computer (SPECOM).

The conference program will include presentation of invited papers, oral presentations, and poster/demonstration sessions. Papers will be presented in plenary or topic oriented sessions. One day of the conference will be dedicated to tutorials and workshops.

For more information, see http://www.tsdconference.org/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

The rector of Ghent University will award an institutional honorary doctorate to Prof. Dr. Harvey M. Friedman on September 4th, 2013. On this occasion Friedman will give a general audience talk on September 4th afternoon, followed by a talk on electronic performance. In the morning of September 5th there will be two lectures by Friedman on his recent achievements on the foundations of mathematics. In the afternoon there will be four invited lectures by Albert Visser, Ulrich Kohlenbach, Matthias Baaz and Ali Enayat and additional short lectures highlighting some selected bits of Friedman's research. On September 4 and 5 Friedman will give piano recitals

The (currently provisional) website of the event is located at http://cage.ugent.be/programFriedman/ Participants are welcome! There is no fee involved. (But participants of the lunch on September 5th are expected to pay a fee of EUR 20).

The British Logic Colloquium (BLC) 2013 will be held at the University of Leeds from the 5th to the 7th of September 2013, together with a symposium (4th-5th September 2013) in memory of Sir Michael A E Dummett FBA DLitt (1925-2011).

It is expected that there will also be a BLC Postgraduate logic meeting on the afternoon of September 3rd and morning of September 4th 2013.

For more information, see http://www1.maths.leeds.ac.uk/~blc2013/ or contact blc2013 at leeds.ac.uk.

The 5th biennial Experimental Pragmatics conference will be held from September 4-6, 2013, at Utrecht University, Utrecht, the Netherlands, under the auspices of the ESF research network EuroXprag (http://www.euro-xprag.org/). The Experimental Pragmatics series aims at fostering interaction between linguistic, psychological, and philosophical approaches to utterance interpretation.

The programme and the registration form (regular fee €40, students €25) are available at the conference website: http://xprag2013.wp.hum.uu.nl/

The Plurals, Predicates, and Paradox project together with IFIKK and CSMN are arranging an intensive M.A./Ph.d course in Proof Theory. The course will be taught by Jon Litland (IFIKK/PPP) and Ole Hjortland (LMU/MCMP). The course will take place in Oslo August 26 - September 6, with daily meetings 12:15 to 14:00.

For more information, see http://www.hf.uio.no/ifikk/english/research/projects/ppp/events/ppp-courses/

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science.

It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland.

For more information, see http://coalg.org/calco13/ or contact calco2013 at mimuw.edu.pl.

The 5th biennial Experimental Pragmatics conference will be held from September 4-6, 2013, at Utrecht University, Utrecht, the Netherlands, under the auspices of the ESF research network EuroXprag (http://www.euro-xprag.org/). The Experimental Pragmatics series aims at fostering interaction between linguistic, psychological, and philosophical approaches to utterance interpretation.

The programme and the registration form (regular fee €40, students €25) are available at the conference website: http://xprag2013.wp.hum.uu.nl/

On September 6, the yearly Heyting Day takes place in Amsterdam. This festive day is devoted to the celebration both of the 50 year anniversary of Categorical Foundations and of the 50 year anniversary of Kripke models. Because of the double anniversary, this day includes two Heyting lectures, to wit by Ieke Moerdijk and Johan van Benthem.

For information about programme and venue, see: https://www.illc.uva.nl/KNAW/Heyting/nl/Events/

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The RIMS meeting "Reflection principles and set theory of large cardinals" will take place from Sept. 9 till Sept. 12 at the Research Institute for Mathematical Sciences, Kyoto University, Japan.

Please note that this meeting is right after TopGeo 2013 and right before the 13th ALC in Guangzhou, China,

As there is no webpage yet, people interested in attending should contact the organizer, Sakae Fuchino, at fuchino at diamond.kobe-u.ac.jp.

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

Workshop: Modal epistemology and the philosophy of science. Speakers: Mikkel Gerken, Jacob Busch, Rene van Woudenberg, Darrell Rowbottom and Asger Bo Skjerning Steffensen.

For more information, see here or contact Nikolaj Nottelmann (nottelmann at sdu.dk) Registration is free, but please contact the organizer if you are interested in attending this workshop.

The 4th Workshop of the Experimental Philosophy Group UK, will be held 12-13 September 2013, Wills Memorial Building, University of Bristol. This is a BIRTHA conference. The main topic will be the philosophy of mind and action.

The workshop will be followed by an informal open meeting about the running of the group and to discuss ideas for future events. This will be open to all participants.

Please register online by 5 September. For more information, see https://sites.google.com/site/experimentalphilosophygroupuk/fourth-workshop.

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

For more information, see http://www.sophia-conference.org/

Proof takes place in Bern, Switzerland from September 9-13, 2013. This meeting gathers about fifty leading researchers who are actively involved with the concept of proof in theory and practice.

For more information, see http://www.humboldt-kolleg.iam.unibe.ch/.

The study of first language acquisition is crucial in furthering our understanding of the cognitive prerequisites and processes involved in language, a defining capacity of human cognition. Currently, early language acquisition is successfully studied from two main perspectives: one approach tests theoretical assumptions by studying infants' responses with behavioural and neurocognitive methods; the other implements theories by means of computational models. This workshop aims to bring these two approaches closer together, a much needed advance in the field and one that promises to deepen our understanding of the issues that play a role during language acquisition.

For more information, see http://www.lorentzcenter.nl/lc/web/2013/579/info.php3?wsid=579

The 4th Workshop of the Experimental Philosophy Group UK, will be held 12-13 September 2013, Wills Memorial Building, University of Bristol. This is a BIRTHA conference. The main topic will be the philosophy of mind and action.

The workshop will be followed by an informal open meeting about the running of the group and to discuss ideas for future events. This will be open to all participants.

Please register online by 5 September. For more information, see https://sites.google.com/site/experimentalphilosophygroupuk/fourth-workshop.

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

For more information, see http://www.sophia-conference.org/

James Madison University's Logic and Reasoning Institute (LRI) is going to be hosting a "Logic Across the Disciplines" conference on Friday, September 13, 2013. The conference is free and all levels of understanding of Logic and Philosophy are welcome.

List of Speakers / Topics:
Computer Science and Logic- Ian Barland, Radford University
Philosophy of Logic- James Cargile, University of Virginia
Buddhist Logic- Koji Tanaka, University of Auckland
Logic and Legal Reasoning- Vern Walker, Hofstra University
Psychology, Rationality, Logic-Richard West, James Madison University
Quantum Logic- Alex Wilce, Susquehanna University

Registration is free. For more information, see http://www.jmu.edu/lri/logicacrossthedisciplines

As in the previous editions, the purpose of this meeting is to inform you on various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards in the ILLC Common Room.

For more information, see illc at uva.nl

The organizers aim to provide the opportunity for students and doctoral candidates of Philosophy to get in touch with prospective or well established philosophers, take a first peek into the philosophical business, and to attend interesting presentations. Beside the conference presentations there will be a workshop on Mathematical Philosophy.

Keynote Speakers: Catarina Dulith Novaes, Ole T. Hjortland, Martin Kusch and Herlinde Pauer-Studer.

For more information, see http://www.sophia-conference.org/

A one day workshop on `Logics for Resources, Processes, and Programs' will be held the 16th September 2013 in conjunction with the Tableaux Conference in Nancy, France, with D. Galmiche and D. Pym as co-chairs.

The purpose of this workshop would be to discuss recent results on logics, including systems formulated in the style of Hoare and Hennessy-Milner, for modelling resources, processes, programs, and their interactions. We envisage a range of perspectives: proof-theoretic foundations, including decidability and complexity; semantic foundations (e.g., new resource semantics); specification of properties and behaviours; verification and analysis of programs and systems. It should help to establish and publicize a research agenda for such logics and their use in the development of trusted systems.

The workshop is intended to provide a forum for discussion between researchers interested in logics of resources (from foundations to related calculi and applications) and researchers interested in languages and methods for specification of mobile, distributed, concurrent systems and their verification.

Additional information will be available through WWW address: http://www.loria.fr/~galmiche/LRPP2013.html.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Argumentation Technologies and on Norms and Normative Multi-Agent Systems.

For more information, see http://centria.di.fct.unl.pt/events/climaXIV/ or send enquiries to climaxiv2013 at easychair.org.

On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
- Logical analysis of scientific reasoning processes
- Methodological and epistemological analysis of scientific reasoning processes

For more information, see http://www.clps13.ugent.be/

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

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.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The purpose of the CLIMA Workshop Series is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.

Following the previous thirteen, very successful, editions, the 14th CLIMA will take place in Corunna, Spain, on the 16th and 17th of September 2013. It will be co-located with LPNMR'13. In addition to CLIMA's regular topics and sessions, this edition will feature two special sessions, on Argumentation Technologies and on Norms and Normative Multi-Agent Systems.

For more information, see http://centria.di.fct.unl.pt/events/climaXIV/ or send enquiries to climaxiv2013 at easychair.org.

On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
- Logical analysis of scientific reasoning processes
- Methodological and epistemological analysis of scientific reasoning processes

For more information, see http://www.clps13.ugent.be/

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

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.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

For more information, see http://www.pfeifer-research.de/progic/.

The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ~deep~, ~elegant~, ~explanatory~, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

On occasion of its 20th anniversary, the The Centre for Logic and Philosophy of Science of Ghent University organises an international Conference on Logic and Philosophy of Science (CLPS13) on the themes that are central to its research:
- Logical analysis of scientific reasoning processes
- Methodological and epistemological analysis of scientific reasoning processes

For more information, see http://www.clps13.ugent.be/

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

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.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The Sixth Workshop on Combining Probability and Logic (progic 2013) focuses on "Combining probability and logic to solve philosophical problems".

For more information, see http://www.pfeifer-research.de/progic/.

The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ~deep~, ~elegant~, ~explanatory~, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

For more information, see http://highlights-conference.org/

This conference is the 22th in a series of international meetings on Automated Reasoning with Analytic Tableaux and Related Methods.

Tableaux methods are a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, and system diagnosis. The conference intends to bring together researchers interested in all aspects - theoretical foundations, implementation techniques, system developments and applications - of the mechanization of reasoning with tableaux and related methods.

For more information, see http://tableaux13.loria.fr/.

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

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.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The second conference in the AHRC-funded series on Mathematical Cultures will take place at De Morgan House (London) 17-19 September 2013. This meeting will articulate and classify mathematical values. What do mathematicians mean when they use terms such as ~deep~, ~elegant~, ~explanatory~, etc.? What is the rational structure of the deliberations mathematicians use to reach value judgments (in PhD examinations, book reviews, journal referee reports, etc.)? How much variety is there in mathematical values between mathematical cultures? What are the virtues of a good mathematician?

Speakers will include: Prof Alan Bishop, Prof Paul Ernest, Prof Jose Ferreiros and Prof Emily Grosholz

For further details, please see the conference website at https://sites.google.com/site/mathematicalcultures/conference-2 or e-mail b.p.larvor at herts.ac.uk

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

For more information, see http://highlights-conference.org/

Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

The MATES conference series aims at the promotion of and the cross-fertilization between theory and application of intelligent agents and multiagent systems. It provides an interdisciplinary forum for researchers and members of business and industry to present and discuss latest advances in agent-based computing with prototyped or fielded systems in various application domains.

In 2013 the MATES conference is accompanied by the fourth installment of the Joint Agent Workshops in Synergy (JAWS 2013), a series of international workshops on different issues of agent technology. This European joint event on agent technologies (MATES+JAWS) is co-located with the German Conference on Artificial Intelligence(KI 2013) and the 43th Symposium of the German Computer Science Association GI (Informatik 2013).

For more information, see http://www.mates2013.de/

The Thirteenth Asian Logic Conference will be held in Guangzhou from September 16 to 20, 2013. The program will cover a wide range of topics and will feature plenary lectures presented by leading specialists in every major area of mathematical logic.

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.

For more information, see http://logic.sysu.edu.cn/alc2013/ or contact alc2013 at mail.sysu.edu.cn.

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

For more information, see http://highlights-conference.org/

Keynote speakers: John Divers (Leeds) and Francesco Berto (Aberdeen).

For further details, please visit the conference website at http://metaphysicalsociety.webnode.sk/.

The workshop "Philosophical Perspectives on Mathematical Knowledge" is organized by the Institute Vienna Circle (Wissenschaftsphilosophisches Kolloquium) and the WU, Vienna University of Economics (philosophy division).

Keynote speaker is Dieter Schott (Wismar), who will speak on friday on "Mathematics - A Philosophical Discourse", followed by the actual workshop on saturday.

The organizers invite everybody interested in participating on Saturday but would ask for registration by sending an email to gabriele.mras at wu.ac.at or stefan.riegelnik at philos.uzh.ch. For the program in detail see: https://www.wu.ac.at/geschichte/philo/conwandl

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

The AI and Cognition workshop 2013 (AIC 2013) aims at putting together researchers coming from different domains (e.g., artificial intelligence, cognitive science, computer science, engineering, philosophy, social sciences, etc.) working on the interdisciplinary field of cognitively inspired artificial systems.

For more information, see the Workshop web site at http://di.unito.it/aic2013 or send an e-mail to: lieto at di.unito.it or to cruciani at disi.unitn.it

The goal of this conference is to integrate the community working on logic, games and automata. Papers on these topics are dispersed across many conferences, which makes them difficult to follow, and the community rarely gathers. A visit to the Highlights conference gives you a wide picture of the latest research in the area, as well as a chance to meet everybody in the field, not just those who happen to publish in one particular proceedings volume.

Representative areas include, but are not restricted to: logic and finite model theory, automata theory, and games for logic and verification. The programme includes one tutorial day and three days of contributed talks and keynote speakers.

For more information, see http://highlights-conference.org/

The workshop "Philosophical Perspectives on Mathematical Knowledge" is organized by the Institute Vienna Circle (Wissenschaftsphilosophisches Kolloquium) and the WU, Vienna University of Economics (philosophy division).

Keynote speaker is Dieter Schott (Wismar), who will speak on friday on "Mathematics - A Philosophical Discourse", followed by the actual workshop on saturday.

The organizers invite everybody interested in participating on Saturday but would ask for registration by sending an email to gabriele.mras at wu.ac.at or stefan.riegelnik at philos.uzh.ch. For the program in detail see: https://www.wu.ac.at/geschichte/philo/conwandl

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

The pervasiveness of open systems raises a range of challenges and opportunities for technologies in the area of autonomous agents and multi-agent systems and in their contribution to human and artificial societies. Open systems comprise loosely-coupled entities interacting within a society, often with some overall measures of quality or efficiency. However, achieving and maintaining a 'good' society, such as through establishing and enforcing societial norms and policies, is difficult to achieve. There remains a need for tools and techniques for articulating or regulating interactions in order to make the system more effective in attaining collective goals, more certain for participants, or more predictable.

Coordination, organizations, institutions, and norms are four key governance elements for the regulation of open multi-agent systems, and the COIN workshops constitute a space for debate and exploration of these four elements that are central in the design and use of open systems. COIN@PRIMA'13 features a special track on agent-based modelling for policy engineering (AMPLE) in societies.

For more information, see http://coin2013-prima.tudelft.nl/

The concept of infinity has fascinated philosophers and mathematicians for many centuries: e.g., the distinction between the potential and actual infinite appears in Aristotle's Physics (in his treatment of the paradoxes of Zeno) and the notion was implied in the attempts to sharpen the method of approximation (starting as early as Archimedes and running through the middle ages and into the nineteenth century). Modern mathematics opened the doors to the wealth of the realm of the infinities by means of the set-theoretic foundations of mathematics.

Any philosophical interaction with concepts of infinite must have at least two aspects: first, an inclusive examination of the various branches and applications, across the various periods; but second, it must proceed in the critical light of mathematical results, including results from meta-mathematics. The conference History & Philosophy of Infinity will emphasize philosophical, empirical and historical approaches.

For more information, see http://www.math.uni-bonn.de/people/fotfs/VIII/

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

The purpose of the 6th International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand.

Please check further details at the conference website (http://www.icaart.org/)

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

Each fall, the ACLC organizes the Nieuw Amsterdams Peil-day, commonly abbreviated to "the NAP-dag". This is a day on which PhD candidates from the ACLC and ILLC involved in linguistic research can present their work. The 2013 "NAP-dag" will be on Friday, November 1.

For more information, see http://aclc.uva.nl/news-and-events/events/events/events/content/folder/symposia/ or contact napdag.aclc at gmail.com.

The conference "Type Theory, Homotopy Theory and Univalent Foundations" will be held at the Centre de Recerca Matematica in Barcelona on September 23rd-27th.

The invited speakers are Richard Garner, Andre' Joyal, Peter LeFanu Lumsdaine, Thomas Streicher and Michael Warren.

For further information, please see the conference webpage: http://www.crm.cat/2013/ctype

An Algebraic Proof Theory Workshop will take place at the Tenth Tbilisi Symposium on Language, Logic and Computation that is held in Georgia on 23 - 27 September 2013. The workshop centers around the connection between proof theory and algebraic logic, a connection that is still not completely understood and has received increasing attention over the last years.

Workshop organizers: Agata Ciabattoni and Rosalie Iemhoff. Invited Speakers: Matthias Baaz (Vienna University of Technology), Alessio Guglielmi (University of Bath) and Kazushige Terui (University of Kyoto).

For more information, see the Tbilisi Symposium website at https://www.illc.uva.nl/Tbilisi/Tbilisi2013/ or contact R.Iemhoff at uu.nl.

The Tenth Tbilisi Symposium on Language, Logic and Computation will be held in in Georgia, from September 23 to 27, 2013. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2013 forum is the tenth instalment of a series of biannual Symposia.

The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009) and Kutaisi (2011).

For more information, see https://www.illc.uva.nl/Tbilisi/Tbilisi2013/

The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

For more information, see http://www.rules2013.pl/.

The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

For more information, see http://www.rules2013.pl/.

The idea of the Conference is to bring together philosophers, legal philosophers, psychologists and cognitive scientists, including researchers on artificial intelligence, who are interested in the problem of rules, rule-following and normativity.

Our aim is to create an interdisciplinary forum that will bring together academics representing different disciplines, willing to present their perspective on the issues related to rules and normativity.

Invited speakers: Paul Boghossian, Brian Bix, Philip Zelazo and Stefano Bertea.

For more information, see http://www.rules2013.pl/.

The Sixth Federated Logic Conference (FLoC 2014) will be part of the Vienna Summer of Logic (VSL), the largest logic event in history, with over 2000 expected participants. FLoC 2014 will host eight conferences and many workshops. Each workshop will be affiliated with one of the eight conferences.

Further information can be found at the FLoC 2014 Workshop Guide http://vsl2014.at/floc-ws/, or contact floc14cfw at easychair.org.