Tuesday, November 25, 2008

CPDP 2009: Data Protection in A Profiled World?

Computers, Privacy & Data Protection conference
CPDP 2009: Data Protection in A Profiled World?

16&17 January 2009, de Buren, Brussels

Data protection and privacy increasingly face new challenges posed by technologies and policies as well as society and individual expectations. Identifying and addressing such issues is the main goal of the annual Computers, Privacy & Data Protection (CPDP) conference.

The CPDP Conference aims at bridging policymakers, academics, practitioners and activists to create the most appropriate forum of discussion on key challenges.

It combines informative panels with the latest agenda news from data protection stakeholders and panels with current topics of interests.

The main topic of interest on this year's CDPD Conference Data Protection in A Profiled World is 'profiling and automatic computing'. Other topics are: e-voting and data breaches, e-privacy regulations and surveillance, privacy by design and social networks as well as developments in the JHA area.

More than 60 speakers coming from national and international organizations and institutions will intervene on these topics or present annual sessions on the agendas of European and national institutions, US and Canada governments and law firms.

For full details and programme, please visit the website

You can register for the conference here.

Saturday, November 22, 2008

The Philosophy of Identity in the Virtual

THIS SYMPOSIUM IS PART OF VRIC'09 AT LAVAL VIRTUAL

The Philosophy of Identity in the VirtualSymposium n° 6 (of 6), April 23, 9-12 AM / 2-5 PM

For information on the venue and related Symposiums: http://www.laval-virtual.org/

Topic

Difference, Relation and Identity are three notions that are fundamentals for the success of Virtual Reality technologies (VR and AR). The aim of this symposium is to conceptualise the Identity of an individual as a scientific concept whilst acknowledging the fact that Identity cannot be studied without considering the other two notions. The pros and cons of designing identities for or within VR become obvious upon admitting that representing any Self will be interpreted at some point by someone having his own values, opinions and experience in life. Members of our society that self-procure, attribute or redistribute Identity in the Virtual World bring about psychological enquiries in relation to user intentionality, specific uses of VR applications or general modifications to our ways of communicating.

Usability issues addressing the problem of Identity have not yet been integrated into long-term visions of society and our needs. The Chair of the session is thus open to all existential, ethical and epistemological issues having to do with Identity in Virtual Communities.

Important Dates

Online papers submission opens November 30, 2008
Submission of full papers January 19, 2009
Notification of acceptation February 27, 2009
Deadline for final revisions March 16, 2009

For more information, click on the title of this blog.

Friday, November 21, 2008

CFP: The Philosophy of Computer Science

Preliminary Call for Papers

==================================
THE PHILOSOPHY OF COMPUTER SCIENCE
==================================

Special issue of Minds and Machines (2010)

and

Track in the 7th European conf. on Computing And Philosophy—ECAP 2009


THEME

Two special editions of Minds and Machines (2007) and the Journal of
Applied Logic (2008) dedicated to the philosophy of computer science
have already appeared in print. Another special edition of Minds and
Machines is planned for 2010. Papers submitted to the “Philosophy of
Computer Science” track in ECAP 2009 will also be considered for
publication in the special issue of Minds and Machines.

We invite submissions concerned with philosophical issues that arise
from reflection upon the nature and practice of the academic discipline
of computer science. In particular we welcome submissions concerned
with questions such as the following:

1. What kinds of things are programs? Are they abstract or concrete?
(Moor 1978; Colburn 2004)

2. What are the differences between programs and algorithms? (Rapaport
2005a)

3. What is a specification? And what is being specified? (Smith 1985;
Turner 2005)

4. Are specifications fundamentally different from programs? (Smith
1985)

5. What is an implementation? (Rapaport 2005b)

6. What distinguishes hardware from software? Do programs exist in both
physical and symbolic forms? (Moor 1978; Colburn 2004)

7. What kinds of things are digital objects? Do we need a new
ontological category to house them? (Allison et al. 2005)

8. What are the objectives of the various semantic theories of
programming languages? (White 2004; Turner 2007)

9. How do questions in the philosophy of programming languages relate
to parallel ones in the philosophy of language? (White 2004)

10. Does the principle of modularity (e.g., Dijkstra 1968) relate to the
conceptual issues of full-abstraction and compositionality?

11. What are the underlying conceptual differences between the following
programming paradigms: structured, functional, logic, and object-oriented
programming?

12. What are the roles of types in Computer Science? (Barandregt 1992;
Pierce 2002)

13. What is the difference between operational and denotational
semantics? (Turner 2007)

14. What does it mean for a program to be correct? What is the
epistemological status of correctness proofs? Are they fundamentally
different from proofs in mathematics? (DeMillo et al. 1979; Smith 1985)

15. What do correctness proofs establish? (Fetzer 1988; Fetzer 1999;
Colburn 2004)

16. What is abstraction in computer science? How is it related to
abstraction in mathematics? (Colburn 2007; Fine 2008; Hale and Wright.
2001)

17. What are formal methods? What is formal about formal methods? What
is the difference between a formal method and informal one? (Bowen &
Hinchey 2005; Bowen & Hinchey 1995)

18. What kind of discipline is computer science? What are the roles of
mathematical modelling and experimentation? (Minsky 1970; Denning 1980;
Denning 1981; Denning et al. 1989; Denning 1985; Denning 1980b;
Hartmanis 1994; Hartmanis1993; Hartmanis 1981; Colburn 2004, Eden 2007)

19. Should programs be considered as scientific theories? (Rapaport
2005a)

20. How is mathematics used in computer science? Are mathematical models
used in a descriptive or normative way? (White 2004; Turner 2007)

21. Does the Church-Turing thesis capture the mathematical notion of an
effective or mechanical method in logic and mathematics? Does it capture
the computations that can be performed by a human? Does its scope apply
to physical machines? (Copeland 2004; Copeland 2007, Hodges 2006)

22. Can the notion of computational thinking withstand philosophical
scrutiny? (Wing 2006)

23. What is the appropriate logic with which to reason about program
correctness and termination? (Hoare 1969; Feferman 1992) How is the
logic dependent upon the underlying programming language?

24. What is information? (Floridi 2004; Floridi 2005) Does this notion
throw light on some of the questions listed here?

25. Why are there so many programming languages and programming
paradigms? (Krishnamurthi 2003)

26. Do programming languages (and paradigms) have the nature of
scientific theories? What causes a programming paradigm shift? (Kuhn
1970)

27. Does software engineering raise any philosophical issues? (Eden
2007)

REFERENCES

----------------------------------------------------------------------

Important dates for ECAP 2009 conference track (tentative):
* Submission deadline: 23 Feb. 2009
* Notification: 16 Mar. 2009
* Conference: 2-4 Jul. 2009

Track chair: Raymond Turner

Important dates for Minds & Machines special issue (tentative):
* Submission deadline: 1 Dec. 2009
* Notification: 1 May 2010
* Appearance: Dec. 2010

Associate editor: Amnon H. Eden

Thursday, November 20, 2008

PhD positions in Formal Epistemology

The Formal Epistemology Project (FEP) at the Centre for Logic and Analytical Philosophy at the University of Leuven, Belgium, announces several PhD positions in formal epistemology.

The positions are open to students with a background in one or more of the following areas: Philosophy, Logic, Computer Science, Linguistics, Mathematics, Psychology, and Economics.

Students with an interest in any area of formal epistemology (epistemic logics, probabilistic approaches etc.) are encouraged to apply. The positions are fully funded for three years, at 1600-1700 Euros per month (net). The Project's language is English.

More information about FEP is available at www.formalphilosophy.org

DEADLINE: December 31st, 2008.

Applications should include the following:
  • A cover letter.
  • A CV.
  • A full academic transcript or equivalent (original copy).
  • Three letters of reference (to be sent separately, directly by the referees).
  • A research proposal (500-1000w).
  • Two writing samples not totaling more than 5000w (if the combined total is higher than 5000w, then the relevant sections in the text should be clearly indicated, with the indicated sections not totaling more than 5000w).

Note that it remains the applicant's responsibility to ensure that the referees' reports arrive by the closing date.

Applications should be sent by hard copy or email to:
Yannick Joye
Formal Epistemology Project
Centre for Logic and Analytical Philosophy
Kardinaal Mercierplein 2
University of Leuven
Leuven 3000 Belgium
(email) yannick.joye@hiw.kuleuven.be

Regards, The FEP Team

AP-CAP 2008

The Fourth Asia-Pacific Computing and Philosophy Conference (AP-CAP 2008) will be held at the National Institute of Advanced Studies (NIAS) , Indian Institute of Science Campus, Bangalore, India, during December 5—7, 2008.

This is the first time this conference is being held in India. It is jointly organized by Centre for Philosophy, NIAS, and the Association for Logic in India (ALI).

Tuesday, November 11, 2008

ECAP 2008 - 7th European Computing and Philosophy Conference

Call for Papers

ECAP09

Universitat Autònoma de Barcelona, July 2-4, 2009

Chair: Jordi Vallverdú, jordi.vallverdu@uab.cat

http://ia-cap.org/ecap09/


IMPORTANT DATES

February 23rd, 2009: Abstracts submission deadline

March 16th, 2009: Notification of acceptance

April 24th, 2009: Start of wiki-debates

May 11th, 2009: Early registration deadline

July 2nd - 4th, 2009: Conference


GENERAL INFORMATION

From Thursday 2 to Saturday 4 July 2009 the European Conference on COMPUTING AND PHILOSOPHY (E-CAP 2009) will be held at the Universitat Autònoma de Barcelona, Bellaterra (very close to Barcelona city, Catalonia).

E-CAP is the European conference on Computing and Philosophy, the European affiliate of the International Association for Computing and Philosophy (IACAP, president: Luciano Floridi). ECAP'09 is the seventh conference in the annual series.


PROGRAM

The conference is interdisciplinary: we invite papers from philosophy, computer science, social science and related disciplines.Computers and thinking are the two sides of the same coin: biocomputing, AI, logic, cognition, robotethics, IT, ontology, history, robotics, affective computing, infoethics, epistemology, simulations, computer proofs, among others, are expressions of the conceptual crossroads between researchers all around the world. E-CAP09 will promote scholarly dialogue on all aspects of the computational & informational turn and the use of computers in the service of philosophy.


CONFIRMED KEYNOTE SPEAKERS

Kevin Warwick (U. Reading)
http://www.kevinwarwick.com/
Cybernetics

Roderic Guigó (UPF)
http://genome.imim.es/~rguigo/
Biocomputing

Francesc Subirada (BSC), Associate Director of the Barcelona Supercomputing Center,
http://www.bsc.es/
Supercomputing


RELEVANT RESEARCH AREAS

We call for papers that cover topics pertaining to computing and philosophy from the following list (but not restricted to that list):

- Metaphysics (Distributed Processing, Emergent Properties, Formal Ontology, Network Structures, etc)

- Philosophy of Computer Science

- Robotics, AI, and Ambient Intelligence

- Human-Machine Interaction and Explanation Capabilities

- Philosophy of Information and Information Technology

- Interdisciplinary Approaches to the Problem of Consciousness

- Computational Linguistics

- Computer-based Learning and Teaching Strategies and Resources & The Impact of Distance Learning on the Teaching of Philosophy and Computing

- IT and Gender Research, Feminist Technoscience Studies

- Information and Computing Ethics: RobotEthics, Infoethics

- Biological Information, Artificial Life, Biocomputation

- Electronic Art

- Complexity and Emergency

- Imaging and Knowledge

- New Models of Logic Software

- Models & Simulations Epistemology

- Synthetic emotions

- Computer & Gender Studies


SUBMISSION OF PAPERS

Authors should submit an electronic version of an extended abstract (total word count approximately 1000 words).

The file should also contain a 350 word abstract that will be used for the conference web site/booklet. Each abstract should indicate a first choice for the track to which it is submitted, as well as a second choice for track.

The submissions should be made electronically, either as PDF, or in rtf or Word format to ECAP09@gmail.com.


TRACKS (and track chairs):

I. Philosophy of Information: TBC

II. Philosophy of Computer Science: Raymond Turner.

III. Computer and Information Ethics: Johnny Søraker and Alison Adam

IV. Computational Approaches to the Mind: Ruth Hagengruber

V. IT and Cultural Diversity: Jutta Weber, Charles Ess

VI. Crossroads: David Casacuberta

VII. Robotics, AI & Ambient Intelligence: Thomas Roth-Berghofer

VIII.Biocomputing, Evolutionary and Complex Systems: Gordana Dodig-Crnkovic

IX. Logic and Computation: TBC

X. E-learning, E-science and Computer-Supported Cooperative Work: Annamaria Carusi

XI. Technological Singularity and Acceleration Studies: Amnon Eden


NOTE: A BOOK WILL BE PUBLISHED WITH THE BEST PAPER CONTRIBUTIONS.


REGISTRATION

Registration fees (in Euros) before/after 11 May 2009:

Standard: 250/300

Phd Students: 150/200

Students: 80/120

IACAP members: 150/200


You can become member of IACAP for only U.S. $30 ($10 for students). Please, if you are interested go to the IACAP membership page:
http://www.ia-cap.org/membership.php


ACCOMMODATION

To book accommodation, please visit the official conference web site.

Atlhough the campus has own accommodation facilities (hotels), the UAB’s close situation (and good public transport service connections) from Barcelona may open the possibility to stay in Barcelona city.


ORGANIZATION

Jordi Vallverdú, Universitat Autònoma de Barcelona , Catalonia (Program chair)



PROGRAM COMMITTEE

Philip Brey, University of Twente
Bernd Carsten-Stahl, De Montfort University
David Casacuberta, Universitat Autònoma de Barcelona
Gordana Dodig-Crnkovic, Mälardalen University
Amnon Eden, University of Essex
Luciano Floridi, University of Hertfordshire - University of Oxford
Ruth Hagengruber, Universität Paderborn
Johnny Hartz Søraker, University of Twente
Thomas Roth-Berghofer, German Research Center for AI DFKI GmbH, Kaiserslautern
Raymond Turner, University of Essex
Yorick Wilks, University of Oxford


The congress will receive the organization support of TECNOCOG (UAB), SETE (UAB) and Epson Foundation-BCN.



VENUE

The Universitat Autònoma de Barcelona's central campus is in Bellaterra
(Cerdanyola del Vallès), 20km outside Barcelona, between Sabadell and
Sant Cugat del Vallès. The Universitat Autònoma de Barcelona was founded
in 1968. The founders aimed to establish four principles of autonomy:
freedom to select teaching staff, admission available to all students
(but with a limited number), freedom to create its own study plans and
freedom to administrate the University's capital. It is therefore a
young university, but in its short history it has moved forward at a
rapid pace.

http://www.uab.es/servlet/Satellite/About-the-UAB-1101231886460.html

E-CAP conferences are organized under the supervision of the International Association for Computing and Philosophy (IACAP). Website: http://ia-cap.org/

Monday, November 10, 2008

Luciano Floridi’s Philosophy of Information and Information Ethics: Critical Reflections and the State of the Art

Well, it is self-referential, so I'm a bit self-conscious... but here are the news:

Ethics and Information Technology, Springer, has published a special issue in two numbers dedicated to “Luciano Floridi’s Philosophy of Information and Information Ethics: Critical Reflections and the State of the Art”, edited by Charles Ess. Volume 10, Numbers 2-3, 2008.

EIT is the most important and influential "peer-reviewed journal dedicated to advancing the dialogue between moral philosophy and the field of information and communication technology". This is the first time it dedicates a special issue to a researcher’s achievements.

The special issue comprises ten articles by some of the most important researchers in the area and a final reply by Floridi:
  1. Charles Ess, Luciano Floridi’s philosophy of information and information ethics: Critical reflections and the state of the art
  2. Bernd Carsten Stahl, Discourses on information ethics: The claim to universality
  3. Philip Brey, Do we have moral duties towards information objects?
  4. Frances S. Grodzinsky, Keith W. Miller and Marty J. Wolf, The ethics of designing artificial agents
  5. Deborah G. Johnson and Keith W. Miller, Un-making artificial moral agents
  6. Dan L. Burk, Information ethics and the law of data representations
  7. Alison Adam, Ethics for things
  8. Herman T. Tavani, Floridi’s ontological theory of informational privacy: Some implications and challenges
  9. Rafael Capurro, On Floridi’s metaphysical foundation of information ecology
  10. Soraj Hongladarom, Floridi and Spinoza on global information ethics
  11. Luciano Floridi, Information Ethics: A Reappraisal (foreword to replies and replies, preprint freely available from here).

Wednesday, November 05, 2008

America at its best again

Wonderful news. We really needed them badly. Two quick comments.

1) You can draw a straight line between the openings of two of America's greatest speeches: "I have a dream" and "If there is anyone". From the introspective, to the objective, allo-centric view, this is how the US have overcome one of their worst crisis and social problem.

2) None of the five good emperors of Rome were actually born in Rome. They were totally Romans though, just as Obama is absolutely American। The US just got a new lease from history. They deserve it.
PS
Obama was born in the US of course, or he could not have run for the presidency. (Schwarzenegger docet. You can at most become Governor.)