What is a Mathematical Proof? – Professor Dana Scott (1 Jun 2016)

Hello You are invited to the following event: What is a Mathematical Proof? – Professor Dana Scott Event to be held at the following time, date and location: Wednesday, 1 June 2016 from 14:30 to 17:00 (BST) Mathematics Lecture Theatre School of Mathematical Sciences, Queen Mary, University of London 327 Mile End Road E1 4NS London United Kingdom Attend Event Share this event: A new series of public lectures on subjects of general interest in information engineering and science. National and international leaders in information technology discuss important issues relevant to everybody in the twenty-first century. Hosted by the School of Electronic Engineering and Computer Science and School of Mathematical Sciences at Queen Mary University of London, and generously sponsored by IBM. Title: "What is a Mathematical Proof?" Abstract: Mathematicians (and school children) have been giving proofs for millennia. Why? Why are they needed? How formal should proofs be? Are there different systems, or philosophies, for organizing proofs? Are axioms always "self-evident"? Will new axioms for Mathematics be proposed? Will computers eventually take over the drudgery? Will this lecture make you worry? Biography: Dana Stewart Scott was born 11 October 1932; he studied at Berkeley and Princeton, where he received his PhD under Alonzo Church. He taught at the University of Chicago, Berkeley, Stanford, Princeton, and Oxford, where he was the first Professor of Mathematical Logic; he then taught at Carnegie Mellon, and became Professor Emeritus in 2003. Among many other awards, he has received the Turing Award of the Association for Computing Machinery. He is an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy. He has made fundamental contributions to contemporary logic and is especially known for his creation of domain theory, a branch of mathematics that is essential for analyzing computer programming languages. After retirement, he and his wife, Irene, have now resided in Berkeley since 2005. Their daughter, Monica, lives nearby with her husband and the two grandchildren. Where: The event will be hosted in the Mathematics Lecture Theatre of the School of Mathematical Sciences, Queen Mary University of London, Mile End campus Building 4 on the following map: http://www.qmul.ac.uk/about/howtofindus/mileend/index.html Tea and Coffee: 14.30-15.00 Seminar: 15.00-16.00 Reception: – 16.00-17.00 Extra Information Creche facilities will be unavailable on this occasion. Sorry for any inconvenience Share this event on Facebook and Twitter We hope you can make it. Best, School of Electronic Engineering and Computer Science, Queen Mary University of London

This invitation was sent to hayley.cork by School of Electronic Engineering and Computer Science, Queen Mary University of London the organiser. To stop receiving invitations from this organiser, you can unsubscribe. Eventbrite UK Ltd | 19-21 Hatton Garden | EC1N 8BA London

UNC-KCL Workshop // 26th + 27th May // Explanation

UNC-KCL Workshop // 26th + 27th May // Explanation

King’s College London is hosting the annual joint two-day UNC-KCL workshop, which gathers together faculty and graduate students from the Philosophy departments at the University of North Carolina at Chapel Hill and King’s College London. This year’s workshop is on the topic of Explanation.

The workshop will take place on the 26th and 27th May at King’s College London.

Speakers include Maria Alvarez (KCL), Eleanor Knox (KCL), Marc Lange (UNC), John Roberts (UNC) and graduate students from UNC and London. Titles can be found on the event webpage, linked below.

Attendance is free but registration is required. The full schedule and registration links can be found below:

http://www.kcl.ac.uk/artshums/depts/philosophy/eventrecords/2016/UNC-KCL-Workshop.aspx

http://www.eventbrite.co.uk/e/unc-kcl-workshop-on-explanation-tickets-23914380556

Accessibility information: the workshop venue and room are wheelchair and mobility-device accessible and the workshop room is fitted with a hearing assistance system (portable loop). Further accessibility information can be found on the workshop webpages linked above, as well as contact details for the organisers of the workshop.

Methodology Conference University of Westminster

.

London Centre for Social Studies (LCSS) is delighted to invite you to the4thPhD Methodology Conference 2016: Research Designs, Methodologies, Methods and Data Analysis in Social Sciences and Humanities.

The conference will take place at University of Westminster on 2 June 2016, London, UK.

Keynote Speakers:

Prof Lisa Webley, Professor of Empirical Legal Studies, University of Westminster, UK

Dr Nicole Janz, Research Methods Associate, University of Cambridge, UK

Workshop:

Dr Fahri Karakas, University of East Anglia, UK

“Professional Development”

The 4th LCSS PhD Methodology Conference will address the methodological issues in social sciences and humanities, with a particular focus on four themes: Research Designs, Methodologies, Methods and Data Analysis.

This conference series is an opportunity for PhD and early-career researchers from different disciplines to meet and share their valuable knowledge and research experiences. The conference provides an excellent opportunity for researchers to present their approaches to research designs, methodologies, methods and data analysis and in so doing to reflect and gain feedback on their studies. It also provides a forum in which research challenges can be explored and, hopefully, overcome.

The conference will include three keynote speakers, Professor Lisa Webley, University of Westminster London; Dr Nicole Janz, University of Cambridge; and Dr Fahri Karakas, University of East Anglia. Prof Webley will focus on “The Importance and Relevance of Method in Socio-Legal Research, Dr Janz will deliver a speech on “Transparency in Social Science Research”, and Dr Fahri Karakas will conduct a workshop about “Professional Development”.

There will be free lunch and coffee breaks on the conference day.

Register Now

Important Dates

25th May 2016 – Registration deadline

2nd June 2016 – Conference

For any details, please contact: k.uygur

Regards

Nimisha Bhatnagar