Logic was originally meant to systematize and analyze arguments in natural language. But in the 20th century the main developments in logic focused on mathematics and its foundations. Recently, a number of researchers have focused on logical systems tuned to natural language semantics to reconnect with the older tradition. The logical and conceptual underpinnings of some of these systems remains unclear, although some recent work has begun to address formal foundations.

The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially proof systems, well-suited for natural language semantics and to explore comparisons between these systems. We also welcome input from the psychology of reasoning and are interested in computer implementations of natural reasoning systems.

For more information, see http://naturalreasoning.wordpress.com/

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

The School offers a broad and intensive series of lectures on various formal language topics and at different levels, addressed to advanced undergraduate, graduate students and anyone interested in the field. They can choose their preferred courses according to their interests and background. Instructors are top names in their respective subjects. The School intends to help students initiate their career in research.

The School is addressed to undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

For more information, see http://grammars.grlmc.com/fsfla2011/ or contact Lilica Voicu at florentinalilica.voicu at urv.cat.

In Economics, as in many other disciplines, we find a multitude of general laws such as "an increase in the demand of a good leads to an increase of its price" which are supposed to hold only under the proviso that some possibly influencing factors are kept constant (ceteris paribus), absent ("uceteris absentibus") or irrelevant ("ceteris neglectibus"). Although being non-strict, since they allow for exceptions, these generalizations play a vital role in science as well as in everyday reasoning (e.g about preferences).

Recent work in modal logic witnesses an increasing activity in formal modeling and applications on this side. This workshop is meant to contribute from different sides to the debate around the status and the structure of ceteris paribus laws and reasoning and brings together researchers working in different areas of Philosophy of Science and Logics.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=48 or contact Carlo.Proietti at fil.lu.se.

In Economics, as in many other disciplines, we find a multitude of general laws such as "an increase in the demand of a good leads to an increase of its price" which are supposed to hold only under the proviso that some possibly influencing factors are kept constant (ceteris paribus), absent ("uceteris absentibus") or irrelevant ("ceteris neglectibus"). Although being non-strict, since they allow for exceptions, these generalizations play a vital role in science as well as in everyday reasoning (e.g about preferences).

Recent work in modal logic witnesses an increasing activity in formal modeling and applications on this side. This workshop is meant to contribute from different sides to the debate around the status and the structure of ceteris paribus laws and reasoning and brings together researchers working in different areas of Philosophy of Science and Logics.

For more information, see http://www.fil.lu.se/conferences/conference.asp?id=48 or contact Carlo.Proietti at fil.lu.se.

The twelfth annual Midwest PhilMath Workshop (MWPMW 12) will be held at Notre Dame the weekend of Saturday, November 5th and Sunday, November 6th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

As part of this year's workshop, there will be a special symposium on "The Nature of Mathematical Reasoning". Featured speakers will include Pr. Lance Rips (Psychology, Northwestern), Pr. Martin Monti (Psychology, UCLA) and Pr. Alan Bundy (Informatics, Edinburgh).

This year, the workshop will also meet in conjunction with Mic Detlefsen's "Ideals of Proof" (IP) research group sponsored by the ANR in France. In connection with this, there will be two additional special workshops, the first featuring interactions between mathematics and philosophy in the modern era, the second is a more logic oriented workshop.

Please consult the workshop website (http://philosophy.nd.edu/news/events/) for links that will take you to the MWPMW 12 pages.

The twelfth annual Midwest PhilMath Workshop (MWPMW 12) will be held at Notre Dame the weekend of Saturday, November 5th and Sunday, November 6th. As usual, the plan is to schedule a full day of talks and discussions for Saturday and a half day for Sunday. Also as usual, there will be a workshop dinner Saturday evening, with all participants invited to attend as guests of the university.

As part of this year's workshop, there will be a special symposium on "The Nature of Mathematical Reasoning". Featured speakers will include Pr. Lance Rips (Psychology, Northwestern), Pr. Martin Monti (Psychology, UCLA) and Pr. Alan Bundy (Informatics, Edinburgh).

This year, the workshop will also meet in conjunction with Mic Detlefsen's "Ideals of Proof" (IP) research group sponsored by the ANR in France. In connection with this, there will be two additional special workshops, the first featuring interactions between mathematics and philosophy in the modern era, the second is a more logic oriented workshop.

Please consult the workshop website (http://philosophy.nd.edu/news/events/) for links that will take you to the MWPMW 12 pages.

On Nov. 7-8 we shall organize in Seville, Spain, the 4th Workshop on Philosophy of Mathematical Practices, this time focused on open problems in contemporary set theory. The topic is Maximalist and Minimalist Perspectives on Infinity. The list of speakers includes several noted specialists in set theory and the philosophy of set theory, namely:

Tatiana Arrigoni (Fondazione Bruno Kessler, Trento);
Joan Bagaria (Universitat de Barcelona);
Laura Crosilla (University of Leeds);
Sy D. Friedman (Kurt Gödel Centre for Mathematical Logic, Vienna);
Ignasi Jané (Universitat de Barcelona).

For more information, see http://institucional.us.es/phum2594/settheoryworkshop.html

The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.

On Nov. 7-8 we shall organize in Seville, Spain, the 4th Workshop on Philosophy of Mathematical Practices, this time focused on open problems in contemporary set theory. The topic is Maximalist and Minimalist Perspectives on Infinity. The list of speakers includes several noted specialists in set theory and the philosophy of set theory, namely:

Tatiana Arrigoni (Fondazione Bruno Kessler, Trento);
Joan Bagaria (Universitat de Barcelona);
Laura Crosilla (University of Leeds);
Sy D. Friedman (Kurt Gödel Centre for Mathematical Logic, Vienna);
Ignasi Jané (Universitat de Barcelona).

For more information, see http://institucional.us.es/phum2594/settheoryworkshop.html

The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.

The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

The computing sciences collect the most diverse complex of experts: philosophers, logicians, historians, mathematicians, computer scientists, programmers, engineers. The number of involved subjects grows accordingly: from foundational issues to their applications; from philosophical questions to problems of realizability and design of specifications; from theoretical studies of computational barriers to the relevance of machines for educational purposes.

A historical awareness of the evolution of computing not only helps to clarify the complex structure of the computing sciences, but it also provides an insight in what computing was, is and maybe could be in the future. Philosophy, on the other hand, helps to tackle some of the fundamental problems of computing, going from the limits of the 'mathematicizing power of homo sapiens' to the design of feasible and concrete models of interactive processes. The aim of this conference is to bring together these two streams: we are strongly convinced that an interplay between the researchers with an interest in the history and philosophy of computing can crucially add to the maturity of the field.

For more information, see http://www.computing-conference.ugent.be or contact computing.conference at ugent.be.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7).

The workshop is intended to cover the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS.

For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

The 7th Methods for Modalities workshop will take place in Osuna, Spain. M4M will be preceded by a one-day graduate course on 9 November 2011. M4M aims to bring together researchers interested in developing algorithms, verification methods and tools based on modal logics. The proceedings will appear as a volume in the Electronic Notes in Theoretical Computer Science (ENTCS) series.

Confirmed invited speakers for the workshop are Melving Fitting (CU New York), David Gabelaia (AS Georgia), Andreas Herzig (IRIT Toulouse) and Thomas Schwentick (TU Dortmund).

For more information, see http://personal.us.es/hvd/m4m/.

On occasion of the PhD defenses of Raul A. Leal and Lena Kurzen, the 21st GLLC workshop will address issues concerning modalities, coalgebras, complexity and interaction.

Speakers include Jiri Adamek (TU Braunschweig), Clemens Kupke (University of Oxford), Alexander Kurz (University of Leicester), Alexandru Baltag (UvA), Christof Löding (RWTH Aachen), Pieter Adriaans (UvA), Krzysztof Apt (UvA, CWI), Maartje Raijmakers (UvA), Jos Uiterwijk (Maastricht University), Lena Kurzen (UvA) and Raul Leal (UvA)

For more information, program and abstracts, please visit the webpage http://staff.science.uva.nl/~rlealrod/Mocoin/MoCoInindex.html .

On occasion of the PhD defenses of Raul A. Leal and Lena Kurzen, the 21st GLLC workshop will address issues concerning modalities, coalgebras, complexity and interaction.

Speakers include Jiri Adamek (TU Braunschweig), Clemens Kupke (University of Oxford), Alexander Kurz (University of Leicester), Alexandru Baltag (UvA), Christof Löding (RWTH Aachen), Pieter Adriaans (UvA), Krzysztof Apt (UvA, CWI), Maartje Raijmakers (UvA), Jos Uiterwijk (Maastricht University), Lena Kurzen (UvA) and Raul Leal (UvA)

For more information, program and abstracts, please visit the webpage http://staff.science.uva.nl/~rlealrod/Mocoin/MoCoInindex.html .

In recent years, there has been an increasing interest (nationally as well as internationally) in Game Theory and Operations Research - theoretical aspects, computational aspects as well as applications. As its contribution towards sustaining this interest and developing this area further, Indian Statistical Institute, Chennai Centre would like to invite you to the above conference and workshop to be held in Chennai.

Our focus areas include (but is not restricted to) Algorithmic Game Theory, Evolutionary Games, and applications of Game Theory and Mathematical Programming to Supply Chain Management, Networks (Social as well as Communication Networks) and to areas such as Computational Neuroscience.

Our conference website is: http://www.isichennai.com/gtora2012/. Or contact the organizers at gtora2012 at gmail.com.