Text full multimedia monochrome

First time here?

Find out more about how The Lecture List works.

Do you organise talks?

Register to tell us about them. The Lecture List is a great place to be listed, but it's also an easy place to upload your information to. It's very simple and costs nothing. Find out more

Help!

Find out what you can do to keep The Lecture List online

From logic to computer science: a linguistic journey

The study of artificial languages forms a fascinating mix of science and engineering. Professor Plotkin will look at this story, and the interplay between logic and computer science.


Artificial languages gave rise to one of the great intellectual endeavours of the 20th century. They came to maturity in mathematical logic, around the 30's, in pursuit of metamathematics, the mathematics of mathematics. The first modern programming languages arose in the 50's; they made it possible to write today's complex software systems, which perform the myriad tasks we all now rely on.

The study of artificial languages forms a fascinating mix of science and engineering. Professor Plotkin will look at this story, and the interplay between logic and computer science, explaining what it takes to understand an artificial language. As well as its syntax, its form, one must also give an account of its semantics, its meaning, itself tied intimately to its use. He will illustrate what can be done in computer science using semantical methods, and speculate on what else may be done. Finally, he will ask what the future developments of artificial languages may be, and look at a 21st century example, where they are beginning to be used in systems and synthetic biology, itself part of a broader movement connecting computer science and biology.


Speaker(s):

Professor Gordon Plotkin FRS | talks | www

 

Date and Time:

13 February 2013 at 6:30 pm

Duration:

1 hour

 

Venue:

The Royal Society
6-9 Carlton House Terrace
London
SW1Y 5AG
+44 20 74 51 2500
http://www.royalsociety.org

More at The Royal Society...

 

Tickets:

Free

Available from:

Additional Information:

http://royalsociety.org/events/2013/logic-computer-science/

Register to tell a friend about this lecture.

Comments

If you would like to comment about this lecture, please register here.



 

Any ad revenue is entirely reinvested into the Lecture List's operating fund