CFP: Logic Workshop at Buenos Aires – A Tribute to Horacio Arló-Costa

SECOND CALL FOR PAPERS 
Logic Workshop at Buenos Aires – A Tribute to Horacio Arló-Costa

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

Confirmed speakers:

Verónica Becher (Universidad de Buenos Aires)
John Collins (Columbia University)
Paul Egré (Jean Nicod Institute)
Jeff Helzner (Columbia University)
Kevin Kelly (Carnegie Mellon University)
Rohit Parikh (City University of New York)
Paul Pedersen (Carnegie Mellon University)
Fernando Tohmé (Universidad Nacional del Sur)

To be confirmed:

Cristina Bicchieri (University of Pensylvannia)
Alberto Moretti (SADAF-Universidad de Buenos Aires-CONICET)
Gladys Palau (Universidad de Buenos Aires)

We call for contributions in any area of philosophical logic, including (but not limited to) epistemic and modal logic, ampliative reasoning, belief revision, conditional logic, game theory and decision theory, among other topics.

We invite submissions for 40-minute presentations. Submissions should take the form of a 1000/1500-word abstract. They should be sent by e-mail in an attached file in pdf or Word format to info@sadaf.org.ar. Authors’ names and affiliation should be given only in the text of the e-mail message. The abstracts will be blind reviewed by an international scientific committee. English and Spanish will be the official languages of the Conference. However, we encourage contributors to provide to the audience an extended abstract, presentation, handout or full paper in English during the Conference.

* Deadline for reception of submissions: April 30th, 2012
* Communication of acceptance/rejection: May 30th, 2012

For further particulars, please check SADAF website at www.sadaf.org.ar or contact us by sending an e-mail to info@sadaf.org.ar

Organizing Committee: Eduardo Barrio, Eleonora Cresto, Sandra Lazzer, Diana Pérez.
Scientific Committee: Verónica Becher, John Collins, Paul Egré, Jeff Helzner, Alberto Moretti, Gladys Palau, Rohit Parikh, Fernando Tohmé.

About SADAF

SADAF, the Argentine Society for Philosophical Analysis, is a non-profit organization devoted to research in philosophy. It was founded in 1972, and at present it counts with more than two hundred members, many of which are either faculty members or advanced students at various universities in Argentina and abroad. SADAF offers seminars and colloquium series, and hosts different kinds of academic meetings all year round. Since 1981 it is also home of Análisis Filosófico, a biannual, peer-reviewed journal of philosophy. Horacio Arló-Costa was an active member of SADAF while he lived in Argentina, and kept close ties with our institution after leaving the country. More information in Spanish in www.sadaf.org.ar

CFP: The Turing Centenary Conference

THE TURING CENTENARY CONFERENCE

Manchester, UK, June 22-25, 2012
http://www.turing100.manchester.ac.uk/

First announcement and call for submissions

Features:

(1) Ten Turing Award winners, a Templeton Award winner and
Garry Kasparov as invited speakers
(2) 20,000 pounds worth best paper award program, including
5,000 pounds best paper award
(3) Three panels and two public lectures
(4) Turing Fellowship award ceremony
(5) and many more …

For more details please check
http://www.turing100.manchester.ac.uk/.

SPEAKERS

Confirmed invited speakers:

– Fred Brooks (University of North Carolina)
– Rodney Brooks (MIT)
– Vint Cerf (Google)
– Ed Clarke (Carnegie Mellon University)
– Jack Copeland (University of Canterbury, New Zealand)
– George Francis Rayner Ellis (University of Cape Town)
– David Ferrucci (IBM)
– Tony Hoare (Microsoft Research)
– Garry Kasparov (Kasparov Chess Foundation)
– Don Knuth (Stanford University)
– Yuri Matiyasevich (Institute of Mathematics, St. Petersburg)
– Roger Penrose (Oxford)
– Adi Shamir (Weizmann Institute of Science)
– Michael Rabin (Harvard)
– Leslie Valiant (Harvard)
– Manuela M. Veloso (Carnegie Mellon University)
– Andrew Yao (Tsinghua University)

Confirmed panel speakers:

– Ron Brachman (Yahoo Labs)
– Steve Furber (The University of Manchester)
– Carole Goble (The University of Manchester)
– Pat Hayes (Institute for Human and Machine Cognition, Pensacola)
– Bertrand Meyer (Swiss Federal Institute of Technology)
– Moshe Vardi (Rice University)

SUBMISSIONS:

Submissions are welcome in all areas related to the work of
Alan Turing in computer science, mathematics, cognitive science
and mathematical biology. A non-exclusive list of topics is
shown below:

– computation theory
– logic in computation
– artificial intelligence
– social aspects of computation
– models of computation
– program analysis
– mathematics of evolution and emergence
– knowledge processing
– natural language processing
– cryptography
– machine learning

See http://www.turing100.manchester.ac.uk/index.php/submission
for more details.

BEST PAPER AWARDS:

A subset of poster session submissions will be selected as
candidates for best paper awards:

– The best paper award of 5,000 pounds
– The best young researcher best paper award of 3,000 pounds
– The second best paper award of 2,500 pounds
– The second best young researcher best paper award of 1,500 pounds
– Sixteen (16) awards of 500 pounds each

See http://www.turing100.manchester.ac.uk/index.php/submission/bestpaper
for more details.

REGISTRATION:

The number of participants is limited. Register early to avoid
disappointment!

DATES:

February 23:    Paper submission opens
March 1:        Registration opens
March 15:       Extended abstract submission deadline
March 29:       Poster session notification and selection of candidates for the best paper awards
April 20:       Full versions of papers selected for the best paper awards
May 1:          Final versions of poster session papers
May 21:          Best paper award decisions
May 28:  Final versions of papers selected for the best paper awards
June 22-25:     Conference

CHAIRS:

Honorary Chairs:
Rodney Brooks (MIT)
Roger Penrose (Oxford)
Conference Chairs:
Matthias Baaz (Vienna University of Technology)
Andrei Voronkov (The University of Manchester)
Turing Fellowships Chair:
Barry Cooper (University of Leeds)
Programme Chair
Andrei Voronkov (The University of Manchester)

Reposted from Prof. Rohit Parikh

CFP: Logic Workshop in Honor of Horacio Arló-Costa

SADAF, the Argentine Society for Philosophical Analysis, is organizing a Tribute to Horacio Arló-Costa, to take place in Buenos Aires, August 2nd to 4th, 2012.

Invited speakers:
Verónica Becher (Universidad de Buenos Aires)
John Collins (Columbia University)
Paul Egré (Jean Nicod Institute)
Jeff Helzner (Columbia University)
Rohit Parikh (City University of New York)
Fernando Tohmé (Universidad Nacional del Sur)

To be confirmed:
Cristina Bicchieri (University of Pensylvannia)
Alberto Moretti (SADAF-Universidad de Buenos Aires-CONICET)
Gladys Palau (Universidad de Buenos Aires)
Paul Pedersen (Carnegie Mellon University)

We call for contributions in any area of philosophical logic, including (but not limited to) epistemic and modal logic, ampliative reasoning, belief revision, conditional logic, game theory and decision theory, among other topics.

We invite submissions for 40-minute presentations. Submissions should take the form of a 1000/1500-word abstract. They should be sent by e-mail in an attached file in pdf format to info@sadaf.org.ar. Authors’ names and affiliation should be given only in the text of the e-mail message. The abstracts will be blind reviewed by an international scientific committee. English and Spanish will be the official languages of the conference. However, we encourage contributors to provide to the audience an extended abstract, ppt presentation, handout or full paper in English during the Conference.

Deadline for reception of submissions:  March 30th, 2012
Communication of acceptance/rejection: May 30th, 2012

For further particulars, please check the SADAF website atwww.sadaf.org.ar or contact us by sending an e-mail to info@sadaf.org.ar.

Organizing Committee: Eduardo Barrio, Eleonora Cresto, Sandra Lazzer, Diana Pérez.
Scientific Committee: Verónica Becher, John Collins, Paul Egré, Jeff Helzner, Alberto Moretti, Gladys Palau, Rohit Parikh, Fernando Tohmé.

About SADAF

SADAF, the Argentine Society for Philosophical Analysis, is a non-profit organization devoted to research in philosophy. It was founded in 1972, and at present it counts with more than two hundred members, many of which are either faculty members or advanced students at various universities in Argentina and abroad. SADAF offers seminars and colloquium series, and hosts different kinds of academic meetings all year round. Since 1981 it is also home of Análisis Filosófico, a biannual, peer-reviewed journal of philosophy. Horacio Arló-Costa was an active member of SADAF while he lived in Argentina, and kept close ties with our institution after leaving the country. More information in Spanish inwww.sadaf.org.ar

Reposted from here.

Progic 2011 at Columbia University

Please see the original announcement here.

The Progic conference series is intended to promote interactions between probability and logic. The fifth installment of the series will be held at Columbia University in New York on September 10th and 11th of 2011. While several of the earlier Progic meetings included a special focus, Progic 2011 will honor Haim Gaifman‘s contributions to the intersection of probability and logic. Progic 2011 will consist of 11 talks, including invited talks by the following:

Progic 2011 will also include a memorial session to honor Horacio Arlo-Costa (Carnegie Mellon) who was scheduled to speak at the conference but passed away on July 14, 2011.

A detailed schedule can be found here.

A PDF of the detailed schedule and all abstracts for all eleven papers can be found here.

An interactive map of Columbia campus is available here.

  • Saturday talks will take place in 602 Hamilton Hall.
  • Sunday talks will take place in 403 International Affairs.

Special Issue: We have made arrangements to publish all 11 papers from the conference in a special issue of the Journal of Applied Logic.

Local organizer:

Jeff Helzner

Progic Steering Committee:

Rolf Haenni
Jan-Willem Romeijn
Gregory Wheeler
Jon Willamson