History and Philosophy of Computability at CiE 2009

-
CiE 2009 is the fifth in a series of conferences organised by CiE (Computability in Europe), a European network of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings took place in Amsterdam (2005), Swansea (2006), Siena (2007) and Athens (2008).

The scope of the conference is broad, and includes the history and philosophy of computability and computer science. The Programme Committee especially encourages submissions in these areas.

The deadline for submission of papers has just been extended to February 1.

For the call for papers, click on the title of this blog.

Comments

Post a Comment

Popular posts from this blog

On the importance of being pedantic (series: notes to myself)

-
Image
They say that to call someone pedantic is an insult. I'm not so sure. True, someone pedantic is obsessed with minor details, small errors, or tiny imperfections. And a pedantic is also someone who cares too much about all such things not to let you know about them, advising or correcting, disagreeing or disapproving. And yes, if you are a pedant, you are more than just occasionally pedantic. This can happen to anybody, the excessive emphasis on some narrow or boring detail being a tendency we all share when it comes to matters about which we care very much. But if you are a pedant, being pedantic is your daily stance, your intrinsic nature, your way of living. You are always, consistently, reliably, systematically pedantic, from the moment you wake up, about the exact place where the slippers should be next to your bed, all the way to the moment you go to sleep, and the exact place where the phone should be placed to recharge. If you are a true pedant, no detail is too trivial, no ...
Read more

Mind the app - considerations on the ethical risks of COVID-19 apps

-
[22 April update: at the Digital Ethics Lab (OII, University of Oxford) we have elaborated a list of 16 questions to check whether an app is ethically justifiable, the full article, open access, is available here ] There is a lot of talk about apps to deal with the pandemic . Some of the best solutions use the Bluetooth connection of mobile phones to determine the contact between people and therefore the probability of contagion. In theory, it may seem simple. In practice, there are several ethical problems, not only legal and  technical ones . To understand them, it is useful to distinguish between the validation and the verification of a system.  The validation of a system answers the question: "are we building the right system?". The answer is no if the app is illegal,  for example, the use of an app in the EU must comply with the GDPR; mind that this is necessary but not sufficient to make the app also ethically acceptable, see below; is unnecessar...
Read more

(revised on Medium) On why publishing (series: notes to myself)

-
Image
Why does one publish anything at all? In a world that is always distracted. That already has millions of books. That has more classics than anyone will ever be able to read. In a world that does not read, does not care, does not mind. Why, really? If writing were just a dialogue with oneself, there would be no need to make it public. Why involve others in a private struggle? What is this need to share one's own thoughts? Something is wrong. Let me exclude some obvious answers. Of course, there are professional requirements: an academic, for example, will struggle to get a job without publications. There may be commercial needs: hoping to make some money, or just being able to support oneself. Commitments and promises can also play a role. Ambitions of fame and hopes for glory should never be underestimated, no matter how groundless. And with them, the glimpse, or just the illusion of a slice of immortality, or at least of a less short legacy. Someone may read you, one day, in a dis...
Read more

The Loebner Prize from a judge's perspective

-
Image
This year, for the first time in its history, the Loebner Prize competition was held in England, at the University of Reading to be precise. It was organised by Kevin Warwick and Huma Shah. Independently of whether Turing might have been pleased (he was not well treated in this country, recall?), there was a satisfying sense of “coming home” of the Turing Test (henceforth TT ). Expectations were high, and they very highly advertised too. The meeting was perfectly organised. Having been invited to play the role of a judge, together with several other colleagues, including two members of the IEG , Mariarosaria Taddeo and Matteo Turilli ( here are their pictures and Rosaria's interview ) , I enjoyed the opportunity to see from close-up the machinery and the TT . It was intriguing and great fun. Because there were interviews with the BBC and other things going on, and because we were also supposed to take part in the parallel AISB Symposium on the TT , I had time to test only...
Read more

On the art of biting one's own tongue (series: notes to myself)

-
The art of biting one's own tongue consists in the ability not to engage when someone says something unpleasant, untrue, malicious, or abusive about you. Instead of answering a biased question, arguing against a ludicrous opinion, complaining about an abusive message, correcting a meaningless error, countering a fallacy, explaining a patent mistake, objecting to a groundless criticism, rectifying a willful misrepresentation, rejecting an insinuation, responding to a provocation, retorting to a nasty remark, replying to an offensive allegation, … in short, instead of engaging with your mindless interlocutors you simply ignore them and do absolutely nothing, not even acknowledging that you might have received their communication, not even sharing a “no comment”, just silence. As far as they know, you might have never got the email, read the tweet or the Facebook comment, seen the Instagram picture. If you bite your own tongue appropriately, for them their communication might have nev...
Read more

Review of Information - A Very Short Introduction

-
Image
Groundbreaking and visionary, but very short indeed, May 28, 2010 By Irfan A. Alvi This review is from: Information: A Very Short Introduction (Very Short Introductions) (Paperback) Leaving aside the possibility of minds, souls, and the like, people used to think that the ultimate "stuff" of the universe is matter. Then thermodynamics matured during the 19th century, culminating with Einstein's theoretical demonstration that matter can be converted to energy, thus rendering energy apparently even more fundamental than matter. Now, as a result of multiple streams of developments during the 20th century, we live in an age when information is increasingly being viewed as the true ultimate stuff. This is at once both immensely stimulating and perplexing: stimulating because the concept of information has far greater interdisciplinary unifying power than any concept which came before, but perplexing because the concept of information is very abstract and thus elusively s...
Read more

On the value of taking care of the roses (series: notes to myself)

-
Image
They say that what matters sometimes is not the outcome but the process: not the success or failure of an action, but just the action itself.  Maybe. But I always thought it was a bit of sour grapes. Didn’t really want beautiful roses in my garden, kind of line of thinking. The important thing was gardening. Or so you tell yourself, trying to be convincing.  But I recite this loudly a few times and it still sounds quite lame. It's the philosopher's fault, because he asks the unpleasant questions. Would you have done it anyway, even if the roses had no chance? But above all, what if the process itself is also pointless? Perhaps the gardening is a failure too, like the dead roses.  So you pause, on your way to the roses, and think: if the outcome is not what matters, and the process is not what matters, why caring for the roses? Better stop, or kill the realist awareness that shows the worthless nature of the whole enterprise.  Is there anything left, if all is ...
Read more

On the value of double negatives (series: notes to myself)

-
Image
I grew up as a classic logician. "Classic", not as in "typical", but as in "logic based on the classic assumptions of the principle of  bivalence  and the law of excluded middle ".  Everything used to be either true or false. If something was not true, then it had to be false, and of course vice-versa: p or not p , nothing else, with not-not p just being equal to p .  Disproving not p was equivalent to proving that p . If you think of it, it is quite a smart but  strange way of reasoning . Like proving that you are healthy by assuming that you are sick, then running a whole series of deductions, showing that they all lead, inevitably and necessarily, to impossible conclusions, and hence inferring that the premise must be false, thus finally concluding that, since you are not sick, you must be healthy after all. The trouble is that you still have no idea about how or in what sense you may be healthy. For related reasons, when I was young, I was not fond ...
Read more

On bad questions (series: notes to myself)

-
Some questions are bad. Not because they are stupid. Stupid questions are so because of their content, or context, or implications. Stupid questions can also be bad, of course, but bad questions need not be stupid. Questions are bad because they make you look bad when you answer them. For they are questions badly formulated. They are "loaded". So if you wish to avoid a silly answer, you must be ready to question the question, and this is not only bad manners, it also gives the impression that one is trying to dodge the question . Bad questions seem to be of at least two kinds. Yes or no questions. "So, in the end, and to be clear about what you really think: is true, universal Artificial Intelligence possible or not?". If you say no, you are wrong, because there is a sense in which AI is possible, i.e. it is not logically impossible (a contradiction). But if you say yes, then you are wrong, because true, universal AI, the kind you see in sci-fi movies, is factually ...
Read more