From robrwo at gmail.com Sun May 10 07:36:21 2009 From: robrwo at gmail.com (Robert Rothenberg) Date: Sun, 10 May 2009 15:36:21 +0100 Subject: [Edinburgh-pm] Fwd: 2009 Milner Lecture/1 June 2009, 4:00 pm In-Reply-To: <54217.92.238.157.110.1241778209.squirrel@mail.cs.st-andrews.ac.uk> References: <54217.92.238.157.110.1241778209.squirrel@mail.cs.st-andrews.ac.uk> Message-ID: -----Original Message----- This is a public lecture, open to all. The 2009 Milner Lecture http://www.lfcs.inf.ed.ac.uk/events/milner-lecture/ Moshe Y. Vardi Rice University AND LOGIC BEGAT COMPUTER SCIENCE: ? ? WHEN GIANTS ROAMED THE EARTH Monday, 1 June 2009, 4:00 pm Informatics Forum, Room G.07, 10 Crichton Street, Edinburgh and afterwards for a Reception in the Informatics Forum Abstract: During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. ?In fact, logic has been called "the calculus of computer science". ?The argument is that logic plays a fundamental role in computer science, similar to that played by calculus in the physical sciences and traditional engineering disciplines. ?Indeed, logic plays an important role in areas of computer science as disparate as architecture (logic gates), software engineering (specification and verification), programming languages (semantics, logic programming), databases (relational algebra and SQL), artificial intelligence (automated theorem proving), algorithms (complexity and expressiveness), and theory of computation (general notions of computability). This non-technical talk will provide an overview of the unusual effectiveness of logic in computer science by surveying the history of logic in computer science, going back all the way to Aristotle and Euclid, and showing how logic actually gave rise to computer science. Biography: Vardi is the recipient of three IBM Outstanding Innovation Awards, a co-winner of the 2000 Goedel Prize, a co-winner of the 2005 ACM Kanellakis Award for Theory and Practice, a co-winner of the 2006 LICS Test-of-Time Award, a co-winner of the 2008 ACM PODS Mendelzon Test-of-Time Award, a winner of the 2008 ACM SIGMOD Codd Innovations Award, a recipient of the 2008 Blaise pascal Medal for Computer Science by the European Academy of Sciences, as well as a 2008 ACM Presidential Award. He holds honorary doctorates from the University of Saarland, Germany, and the University of Orleans, France. Vardi is an editor of several international journals, and Editor-in-Chief of the Communication of ACM. He is Guggenheim Fellow, as well as a Fellow of the Association of Computing Machinery, the American Association for the Advancement of Science, the Association for the Advancement of Artificial Intelligence, and the Institute for Electrical and Electronic Engineers. He was designated Highly Cited Researcher by the Institute for Scientific Information, and was elected as a member of the US National Academy of Engineering, the European Academy of Sciences, and the Academia Europea. He recently co-chaired the ACM Task Force on Job Migration. From robert at interactive.co.uk Thu May 21 07:13:50 2009 From: robert at interactive.co.uk (Robert Inder) Date: Thu, 21 May 2009 15:13:50 +0100 Subject: [Edinburgh-pm] The Last Thursday Approaches... Message-ID: <7b89f0790905210713g784afb08sd359e8b422ea8e68@mail.gmail.com> ... and there would normally be a Perlmongers meeting in the Guildford. BUT There are several Perlmongers (Aaron, Rob and Peg,Miles, Chris, and I) who will be hooping it up on a Croquet lawn that evening, before adjourning to (I suspect) Cloisters around (I suspect) 9 to 9.30. Soooo.... If anyone else wants to join in with the mallet wielding, or bring a friend, could they let me know in the next few days. It costs a fiver for use of the lawns and equipment. Only requirement is to wear soft-soled shoes, and dress for the weather. And Given the concentration of Perlmongers in Cloisters, it may be and idea to officially re-locate this month's meeting there... Robert. -- Robert Inder 0131 229 1052 / 07808 492 213 Interactive Information Ltd, 3, Lauriston Gardens, Edinburgh EH3 9HH Registered in Scotland, Company no. SC 150689 Interactions speak louder than words From rory.macdonald at gmail.com Fri May 22 01:23:34 2009 From: rory.macdonald at gmail.com (Rory Macdonald) Date: Fri, 22 May 2009 09:23:34 +0100 Subject: [Edinburgh-pm] The Last Thursday Approaches... In-Reply-To: <7b89f0790905210713g784afb08sd359e8b422ea8e68@mail.gmail.com> References: <7b89f0790905210713g784afb08sd359e8b422ea8e68@mail.gmail.com> Message-ID: 2009/5/21 Robert Inder : > ... ?and there would normally be a Perlmongers meeting in the > Guildford. [snip] > ? ?Given the concentration of Perlmongers in Cloisters, it may be > ? ?and idea to officially re-locate this month's meeting there... Seems reasonable. Rory From miles at assyrian.org.uk Tue May 26 10:00:29 2009 From: miles at assyrian.org.uk (Miles Gould) Date: Tue, 26 May 2009 18:00:29 +0100 Subject: [Edinburgh-pm] Croquet in May? In-Reply-To: <7b89f0790904170716y7666be8blac23d3968d298b0e@mail.gmail.com>; from robert@interactive.co.uk on Fri, Apr 17, 2009 at 03:16:00PM +0100 References: <7b89f0790904121315k6dcca957kc43c292e15e8ab3d@mail.gmail.com> <7b89f0790904170716y7666be8blac23d3968d298b0e@mail.gmail.com> Message-ID: <20090526180028.D12230@assyrian.org.uk> On Fri, Apr 17, 2009 at 03:16:00PM +0100, Robert Inder wrote: > So if you're interested, you're welcome BUT please let me know > if you are wanting to come, so that I know if I have enough lawns. Ciorstaidh would like to come as well, if that's OK with everybody. Miles -- I am very interested in the Universe - I am specializing in the Universe and all that surrounds it. -- Peter Cook From robert at interactive.co.uk Tue May 26 14:33:20 2009 From: robert at interactive.co.uk (Robert Inder) Date: Tue, 26 May 2009 22:33:20 +0100 Subject: [Edinburgh-pm] Croquet in May? In-Reply-To: <20090526180028.D12230@assyrian.org.uk> References: <7b89f0790904121315k6dcca957kc43c292e15e8ab3d@mail.gmail.com> <7b89f0790904170716y7666be8blac23d3968d298b0e@mail.gmail.com> <20090526180028.D12230@assyrian.org.uk> Message-ID: <7b89f0790905261433w4ce259d2k60f80e3275823f58@mail.gmail.com> 2009/5/26 Miles Gould : > On Fri, Apr 17, 2009 at 03:16:00PM +0100, Robert Inder wrote: >> So if you're interested, you're welcome BUT please let me know >> if you are wanting to come, so that I know if I have enough lawns. > > Ciorstaidh would like to come as well, if that's OK with everybody. Find, provided you organise introductions very carefully, with lots of repetition, so that nobody is forced to admit they don't have a clue about pronunciation :-) Reminder to everyone: Meet at Croquet Club at 6:30 Soft shoes --- trainers are fine Costs 5 pounds per person If there is interest in playing Association, we will. Otherwise, we'll probably play more Golf Croquet It is just possible we'll head for Cloisters between somewhere around 9. Cheerleading is fine (Murray)... See y'all Thursday. Robert. -- Robert Inder 0131 229 1052 / 07808 492 213 Interactive Information Ltd, 3, Lauriston Gardens, Edinburgh EH3 9HH Registered in Scotland, Company no. SC 150689 Interactions speak louder than words From robrwo at gmail.com Sat May 30 03:31:39 2009 From: robrwo at gmail.com (Robert Rothenberg) Date: Sat, 30 May 2009 11:31:39 +0100 Subject: [Edinburgh-pm] [OT] Fwd: Your Identity: What is it, who owns it and how safe is it? In-Reply-To: <55044.92.238.157.110.1243679325.squirrel@mail.cs.st-andrews.ac.uk> References: <55044.92.238.157.110.1243679325.squirrel@mail.cs.st-andrews.ac.uk> Message-ID: ---------- Forwarded message ---------- Your Identity What is it, who owns it and how safe is it? Public debate Saturday 6th June at 5pm - 6.30pm, Dalhousie Building, Old Hawkhill, University of Dundee In our world of increasing globalisation and security awareness - isn't it ironic that we have no 'right' to our identity? Yet it is a part of our self that is under constant threat from theft and misappropriation as one of the fastest growing crimes in the western world. This public debate is jointly hosted by the University of Dundee and the British Association for Human Identification and will be chaired by Alan Cochrane, Scottish Editor of the Telegraph. Through a lively question, answer and debate format he will steer the audience and the panel of experts through many aspects of our identity - cultural, historical, political, legal, religious and biological. Helping him on this epic journey will be Donald Findlay QC; John Vine, Chief Inspector for the UK Border Agency (former Chief Constable of Tayside); Sue Black, forensic anthropologist and Baron Paul Leckie, retired business man and philanthropist. The public are invited to submit questions for discussion on this subject to the panel by sending their name and question to info at bahid.org. Tickets available from University Online store and the Tower Building Reception. Drinks reception follows. From sujaikumar at gmail.com Sat May 30 12:16:20 2009 From: sujaikumar at gmail.com (Sujai) Date: Sat, 30 May 2009 20:16:20 +0100 Subject: [Edinburgh-pm] Thanks for the croquet! Message-ID: Many thanks to Robert for organizing croquet and to everyone else for such an entertaining evening! Especially Derek (is that the right spelling?) for getting a hoop-in-one from across the lawn :-) Sorry I didn't make it to Cloisters afterwards - I went home to get something warm and had a minor flat crisis. - Sujai From asmith9983 at gmail.com Sat May 30 13:39:13 2009 From: asmith9983 at gmail.com (A Smith) Date: Sat, 30 May 2009 21:39:13 +0100 Subject: [Edinburgh-pm] Thanks for the croquet! In-Reply-To: References: Message-ID: <1e11fb0e0905301339r2f4a6f48k947c6f7e7e12a299@mail.gmail.com> I'll second that. Even though I was just spectating, I enjoyed the relaxing evening in lovely weather. -- Andrew 2009/5/30 Sujai > Many thanks to Robert for organizing croquet and to everyone else for > such an entertaining evening! Especially Derek (is that the right > spelling?) for getting a hoop-in-one from across the lawn :-) > > Sorry I didn't make it to Cloisters afterwards - I went home to get > something warm and had a minor flat crisis. > > - Sujai > _______________________________________________ > Edinburgh-pm mailing list > Edinburgh-pm at pm.org > http://mail.pm.org/mailman/listinfo/edinburgh-pm > -------------- next part -------------- An HTML attachment was scrubbed... URL: From cyocum at gmail.com Sat May 30 14:10:45 2009 From: cyocum at gmail.com (Chris Yocum) Date: Sat, 30 May 2009 22:10:45 +0100 Subject: [Edinburgh-pm] Thanks for the croquet! In-Reply-To: <1e11fb0e0905301339r2f4a6f48k947c6f7e7e12a299@mail.gmail.com> References: <1e11fb0e0905301339r2f4a6f48k947c6f7e7e12a299@mail.gmail.com> Message-ID: <82bb54530905301410y1d582920vc057f30084ce59ac@mail.gmail.com> I will also second. A very fine time! Chris On Sat, May 30, 2009 at 9:39 PM, A Smith wrote: > I'll second that. > Even though I was just spectating, I enjoyed the relaxing evening in lovely > weather. > -- > Andrew > > 2009/5/30 Sujai >> >> Many thanks to Robert for organizing croquet and to everyone else for >> such an entertaining evening! Especially Derek (is that the right >> spelling?) for getting a hoop-in-one from across the lawn :-) >> >> Sorry I didn't make it to Cloisters afterwards - I went home to get >> something warm and had a minor flat crisis. >> >> - Sujai >> _______________________________________________ >> Edinburgh-pm mailing list >> Edinburgh-pm at pm.org >> http://mail.pm.org/mailman/listinfo/edinburgh-pm > > > _______________________________________________ > Edinburgh-pm mailing list > Edinburgh-pm at pm.org > http://mail.pm.org/mailman/listinfo/edinburgh-pm > From robert at interactive.co.uk Sat May 30 15:00:15 2009 From: robert at interactive.co.uk (Robert Inder) Date: Sat, 30 May 2009 23:00:15 +0100 Subject: [Edinburgh-pm] Thanks for the croquet! In-Reply-To: References: Message-ID: <7b89f0790905301500s27316d49q61b829d700a8f054@mail.gmail.com> 2009/5/30 Sujai : > Many thanks to Robert for organizing croquet and to everyone else for > such an entertaining evening! Especially Derek (is that the right > spelling?) for getting a hoop-in-one from across the lawn :-) You're welcome. If you, or anyone else, wants to play again, just let me know. Robert. -- Robert Inder 0131 229 1052 / 07808 492 213 Interactive Information Ltd, 3, Lauriston Gardens, Edinburgh EH3 9HH Registered in Scotland, Company no. SC 150689 Interactions speak louder than words From robrwo at gmail.com Sat May 30 16:50:32 2009 From: robrwo at gmail.com (Robert Rothenberg) Date: Sun, 31 May 2009 00:50:32 +0100 Subject: [Edinburgh-pm] Thanks for the croquet! In-Reply-To: <1e11fb0e0905301339r2f4a6f48k947c6f7e7e12a299@mail.gmail.com> References: <1e11fb0e0905301339r2f4a6f48k947c6f7e7e12a299@mail.gmail.com> Message-ID: I'll third/fourth/etc. that--we also had a lovely time. On Sat, May 30, 2009 at 9:39 PM, A Smith wrote: > I'll second that. > Even though I was just spectating, I enjoyed the relaxing evening in lovely > weather. > -- > Andrew > > 2009/5/30 Sujai >> >> Many thanks to Robert for organizing croquet and to everyone else for >> such an entertaining evening! Especially Derek (is that the right >> spelling?) for getting a hoop-in-one from across the lawn :-) >> >> Sorry I didn't make it to Cloisters afterwards - I went home to get >> something warm and had a minor flat crisis. >> >> - Sujai