6-8 September 2010, Temporal Representation and Reasoning (TIME’10), Paris, France

This annual event brings together researchers from all areas of computer science that involve temporal representation and reasoning.
The program includes three tracks: temporal representation and reasoning in AI, temporal database management, and temporal logic and verification in computer science. The invited speakers include: I.
Hodkinson, B. Kuijpers, and M. Leucker.

For further information, visit the website below http://www.lsv.ens-cachan.fr/Events/TIME10/.

2-3 September 2010, Workshop on Advances in Algorithmic Game Theory
Location: CWI Amsterdam, The Netherlands
Costs: free

Algorithmic game theory is a rather recent research field that lies at the intersection of economics, computer science and mathematics. Its origins in the early 1990′s were largely motivated by the wealth of new applications that came into existence with the emergence of the Internet. The field pursues mathematical studies of games with a particular focus on computational and algorithmic issues. These studies are interdisciplinary in flavor and often demand for a combination of methodologies and techniques from the areas of optimization, algorithms and game theory. Algorithmic game theory contributed successfully to the understanding of many fundamental games in recent years and has become a highly active research field.

The two-day workshop will be hosted at the Center for Mathematics and Computer Science (CWI) in Amsterdam and will take place September 2-3, 2010. There will be four keynote talks and about 12 contributed talks.
Please register before August 16, 2010. For more information, see http://www.cwi.nl/~schaefer/agt10/

Workshop on Decision Theory

Wednesday 29th September

Detailed Programme TBA (starts 10:00, ends 19:00)

Venue: T206, Lakatos Building, Portugal Street

Speakers

James Joyce (Michigan, Ann Arbor), A defense of imprecise probabilities

David Etlin (Leuven), Vague desire

Richard Bradley (LSE) Counterfactual reasoning and causal decision theory

Jason Alexander (LSE) Why the Angels Cannot Choose 

Christian List and Franz Dietrich (LSE) Conditionalisation unifie

Third Call for Papers
The Arché/CSMN Graduate Conference 2010
The University of Oslo, Norway
November 6-7, 2010

Keynote Speakers:

Prof. Ruth Chang (Rutgers)
Prof. Timothy Williamson (Oxford)
Prof. Stephen Yablo (MIT)
We invite high-quality papers in all areas of contemporary analytic
philosophy for the 4th Annual Arché/CSMN Graduate Conference.
The conference is co-hosted by Arché, Philosophical Research Centre for
Logic, Language, Metaphysics and Epistemology, and CSMN, Centre for the
Study of Mind in Nature.

Deadline for submissions: September 1, 2010.
(Notification of acceptance by October 1, 2010).

Each paper will have a response from a member of Arché or CSMN staff,
followed by open discussion.

Accommodation and travel expenses for all graduate speakers will be
covered.

All applicants (who must be graduate students as of September 1, 2010)
should submit the following for blind review:

• A cover sheet including author name, title of paper, institutional
affiliation and email address;
• An abstract, with no further information; and
• A paper suitable for a 35-minute presentation, and in any case no longer
than 5,000 words, with no further information.

All materials should be submitted in .doc, .rtf, .ps, .txt or .pdf format
to: archecsmngc4@googlemail.com.

For more information, please visit the conference website:
http://www.st-andrews.ac.uk/~arche/acgc/

Contact e-mail for the conference organizers: archecsmngc4@googlemail.com
Messages to the list are archived at http://listserv.liv.ac.uk/archives/philos-l.html.
Prolonged discussions should be moved to chora: enrol via
http://listserv.liv.ac.uk/archives/chora.html.
Other philosophical resources on the Web can be found at http://www.liv.ac.uk/pal.

16-20 August 2010, Workshop on Dependence and Independence in Logic, Copenhagen, Denmark

Dependence and independence are common phenomena, wherever one looks: ecological systems, astronomy, human history, stock markets – but
what is their role in logic and – turning the tables – what is the logic of these concepts?

The possibility of nesting quantifiers, thus expressing patterns of dependence and independence between variables, accounts for much of the expressive power of first order logic. However, first order logic is not capable of expressing all such patterns, and as a consequence various generalizations – such as branching quantifiers, or the various variants of independence-friendly logic – have been introduced during the last fifty years. Dependence logic is a recent formalism, which brings to the forefront the very concept of
dependence, isolating it from the notion of quantifier and making it one of the primitive elements of the language. It can also be added to other logics, such as modal logic. This has opened up an opportunity to develop logical tools for the study of complex forms of dependence, with applications to computer science, philosophy, linguistics, game theory and mathematics. Recently there has been an increasing interest in this topic, especially among young
researchers.

The goal of this workshop is to provide an opportunity for researchers to further explore the very notions of dependence and independence and their role in formal logic, inparticular with regard to logics of imperfect information.

For more information, see http://www.illc.uva.nl/dependence/. This workshop is organized as part of the European Summer School on Logic,
Language and Information 2010 in cooperation with the European Science Foundation EUROCORES program LogICCC project LINT (Logic for interaction).

Non-Classical Logic. Theory and Applications
3rd Edition

September 16-18, 2010
Torun, Poland
http://www.logika.umk.pl/LNK10/index_en.html

Non-classical logics form one of the most important branches of modern logic. In last decades a great variety of formal systems was developed especially in the context of computer science, artificial intelligence, formal linguistics, cognitive studies, as well as for the deeper analysis of traditional philosophical problems.

The well known families of non-classical logics include among others:

- Modal Logics
- Many-valued Logics
- Temporal Logics
- Epistemic Logics
- Substructural Logics
- Nonmonotonic Logics
- Paraconsistent Logics

The diversification of systems and solutions calls for stricter cooperation between researchers from different fields of investigation. The main aim of conference is to provide a forum for better transfer of results.

This is the third edition of “Non-Classical Logic. Theory and Applications”. Two times the conference was organized by Departament of Logic and Methodology at Lodz University. This year’s edition is organized in Torun by Department of Logic at Nicolaus Copernicus University (http://www.logika.umk.pl/index_en.html)

The formula of the conference is open. We expect declarations (reports; answers) devoted both to theoretical problems and practical applications. We welcome all those who want to make a summary of some research done in a specific field or to present some new original results.

Papers presented at the conference will be published in a special issue of Logic and Logical Philosophy (http://www.logika.umk.pl/llp/index.html).

Organizing Comitee: Andrzej Indrzejczak (LU), Tomasz Jarmuzek (NCU),
Janusz Kaczmarek (LU), Marek Nasieniewski (NCU), Andrzej Pietruszczak (NCU)

Deadline for submissions (title and abstract): August 15, 2010
Deadline for registration and payment: August 31, 2010
Conference dates: September 16-18, 2010

FIRST CALL FOR PAPERS

TICTTL – Third International Congress on Tools for Teaching Logic
1-4 June 2011, Salamanca, Spain
http://logicae.usal.es/TICTTL/

Submission of Papers: 8th December 2010
Notification of Acceptance: 1st February 2011
Final Camera-Ready Submission Due: 1st March 2011

The Third International Congress on Tools for Teaching Logic (TICTTL) will focus on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction (secondary educuation, university level, and postgraduate), presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

We are inviting submissions on the topics above, or on any other aspect of teaching logic or logic teaching software. We prefer 6 or 8 page submissions. Submissions must not exceed 8 pages. It is expected that each accepted paper be presented at the conference by one of its authors. Papers must be submitted electronically at the TICTTL EasyChair website, submission instructions will be posted in later CFPs.

The proceedings of TICTTL include invited papers, accepted full papers, and accepted 2-page short papers. The invited papers and full papers will be published prior to the conference as a volume in the LNAI-FOLLI series, a subseries of Springer’s Lecture Notes in Computer Science. The short papers will be available prior to the conference on the conference website and will be included in the conference booklet.

Submissions need not be formatted in LNCS style! However, accepted full papers must be formatted in LNCS style, and must respect the page limit.

Friday 24 September – Sunday 26 September 2010

Registration is now open.

University of Aberdeen, Northern Institute of Philosophy

 The 2010 Logic and Language Conference is the first of a series of conferences co-organized by the Northern Institute of Philosophy at the University of Aberdeen, and by the Centre for Logic and Language of the Institute of Philosophy at the School of Advanced Study, University of London.

Staged every two years, alternating location between Aberdeen and London, this workshop aims at resurrecting the traditional UK Logic and Language conference series and at becoming a prominent feature in the British philosophical calendar.

The Conference is primarily a showcase for early career philosophers to present and discuss their best work, but will host keynote speakers as well. This year’s keynote speakers are

• JC Beall (Connecticut)
• Manuel Garcia-Carpintero (Barcelona/Logos)
• Graham Priest (Melbourne and CUNY)
• Greg Restall (Melbourne)
• Mark Sainsbury (Texas, Austin).

             4th INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS
                                               January 9–11, 2011
                                            Delhi University, India
                                       http://ali.cmi.ac.in/icla2011

DEADLINE EXTENDED TO JULY 31 !!!
                            

CALL FOR PAPERS

ALI, the Association for Logic in India, announces the fourth edition of its biennial International Conference on Logic and its Applications (ICLA), to be held at the Delhi University, from January 9 to 11, 2011.

ICLA is a forum for bringing together researchers from a wide variety of fields that formal logic plays a significant role in, along with mathematicians, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and
 historical research on logic.

As in the earlier events in this series, we shall have eminent logicians as invited speakers. Pre-conference workshops during Jan 5-8 are also being planned. One such event is ‘LogICCC Meets India’ which will take place during Jan 7-8. For more information, see
 http://www.illc.uva.nl/LogICCCMeetsIndia. Details of other workshops will be posted on the conference website in due course. Details of the last ICLA (2009) may be found at http://ali.cmi.ac.in/icla2009.

Submission
———–
Authors are invited to submit papers presenting original and unpublished research in any area of logic and applications. Articles on mathematical and philosophical logic, foundations and philosophy of mathematics and the sciences, history of logic, Indian systems of logic, use of formal logic in areas of theoretical computer science and artificial intelligence, or on the relationship between logic and other branches of knowledge, are welcome.

Submissions must be in English and should provide sufficient detail to allow the programme committee to assess the merits of the paper. It should clearly present the context of the problem, summary of the main results and should contain the technical development directed to the specialist. Comparison with related work must be included. The submission may not exceed 12 pages using Springer’s
LNCS format(http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
If necessary, detailed proofs of technical results can be included in a clearly marked appendix which may be read at the discretion of the programme committee. All submissions will be in electronic form and submitted via easychair submission system. Simultaneous submission to journals or to other conferences with proceedings is not allowed.

Submitted papers will be peer-reviewed and accepted papers will be published in the conference proceedings, which will be made available at the time of the conference. It is expected that the conference proceedings will appear as a volume in the FoLLI series of Springer Lecture Notes in Artificial Intelligence; this will be confirmed soon.

Important Dates
Deadline for Submission (Extended):                   31 July 2010
Notification to Authors:                                        5 September 2010
Deadline for camera-ready papers:                      10 October 2010

For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference.

Programme Committee
Mohua Banerjee (IIT Kanpur), co-chair
Dietmar Berwanger (ENS Cachan)
Achim Blumensath (TU Darmstadt)
Richard Booth (University of Luxembourg, and Mahasarakham University, Thailand)
Hans van Ditmarsch (University of Sevilla)
Didier Dubois (IRIT, Paul Sabatier University)
Valentin Goranko (Technical University of Denmark)
Wilfrid Hodges
Peter Jipsen (Chapman University)
Steven Lindell (Haverford College)
Benedikt Loewe (ILLC, Amsterdam)
Shahid Rahman (University of Lille 3)
R Ramanujam (IMSc, Chennai)
K Ramasubramanian (IIT Bombay)
Sundar Sarukkai (Manipal University)
Anil Seth (IIT Kanpur), co-chair
S P Suresh (Chennai Mathematical Institute)
Andrzej Szalas (Linkoeping University)
Katherine Thompson (University of Vienna)
Jouko Vaananen (University of Helsinki)
Scott Weinstein (University of Pennsylvania)

Contact

Any queries related to the conference may be sent to the following email address: icla@cse.iitk.ac.in.

LogICCC Meets India
7 & 8 January 2011
Delhi University, India

http://www.illc.uva.nl/LogICCCMeetsIndia/

LogICCC is a European research activity consisting of eight multi-country collaborative research projects (CRP) covering topics in applied logic ranging from theoretical computer science over philosophical and historical issues to computational social choice. It is funded by the European Science Foundation.

Among other things, LogICCC has been coordinating research activities that involve several of the CRPs and activities that reach out to other research communities. One such activity was the highly successful event LogICCC Meets China held at Chongqing in China on 7 October 2009 at which the researchers from the various CRPs of LogICCC met researchers in China, creating new interactions and strengthening existing ties.

The event LogICCC Meets India intends to do the same for the Indian logic community. We deliberately selected the conference ICLA 2011, the most important logic event in India, as the host event for our satellite workshop. We encourage all participants and potential participants of LogICCC Meets India to also submit a paper to the conference ICLA 2011. (Deadline: 31 July 2010.)

SPEAKERS.
 CFSC        Ulle Endriss (Amsterdam, The Netherlands)
DiFoS        Benedikt Löwe (Amsterdam, The Netherlands)   Sara Uckelman (Amsterdam, The Netherlands)
GASICS    Wolfgang Thomas (Aachen, Germany)
LcpR         Gernot Kleiter (Salzburg, Austria)
LINT        Jouko Väänänen (Helsinki, Finland)   Dietmar Berwanger (Cachan, France)
LoMoReVI      Christian Fermüller (Vienna, Austria)
SSEAC                 Rudolf Berghammer (Kiel, Germany)
VAAG          Peter Gärdenfors (Lund, Sweden)

*** LogICCC Travel Subsidies ***

In order to increase the possibility of interaction between LogICCC researchers and the Indian logic community, we are encouraging all LogICCC members to attend the event and the host conference ICLA 2011. As part of this encouragement, the European Science Foundation offers eight travel stipends of up to EUR 500 each. If you are a member of one of the eight LogICCC CRPs, you are eligible to apply. Reimbursement will be made based on original receipts and real costs to a maximum of EUR 500.

If you want to apply, please submit an application by e-mail to bloewe (at) science (dot) uva (dot) nl before the deadline of 31 August 2010. The application should contain

* a brief CV (maximum one page) in txt or pdf format, and
* an indication of whether you submitted a talk to ICLA 2011.

Applicants who have an accepted paper at ICLA 2011 will have priority. Decisions about these stipends will be sent out shortly after the notifications of ICLA 2011.