MRG home page
·
Research
·
Publications
·
Projects
·
Software
·
People
Mathematical Reasoning Group
The Mathematical Reasoning Group is a distributed research group
based
in the
Centre for Intelligent Systems and their Applications, a research
institute within the
School of Informatics at
the University of
Edinburgh. We are a community of informaticists
with interests in theorem proving, program synthesis and artificial
intelligence.
There is a more detailed overview
of the MRG and a list of people.
You can also find out how to join the MRG.
-
Events
- DReaM talks
-
CISA
Seminars
- Informatics Seminars
- CIAO - our regular workshop on all things MRG.
- ATX 2012: IJCAR Workshop on Automated Theory eXploration, June 30-July 1, 2012.
- Archive of old events
- Current Research Projects
- Older Research Projects
- FAQs
- Rippling FAQ
-
Proof
Planning FAQ
|
-
Software including:
-
Victor
-
IsaPlanner
-
Lambda Clam
- Quantomatic
- ProofGeneral
HOL-Clam -->
- HR
-
Publications
- MRG
Publications
- Informatics
Reports
- Links to Conferences, Special Issues, Journals, Mailing lists
- Resources for latex, SML, etc
- How to get here if you're visiting us
|
Internal links
We have switched authentication for internal links to cosign. If you have a DICE account use that and if you do not, you can setup a friend-of-DICE account.
- If you are new to the dream group, make sure to read the ropes.
- Internal notes and information
- Blue Book notes
- Trip Reports
- Local computing help
- Mini-Library
- DreamGroup Wiki
- Edinburgh
-
University in the City
and Scotland,
LFCS
Edinburgh restaurant guide, Local
maps.
- KB Shuttle bus timetable
- Administration and funding
-
Current
Grants.
-
Information for casual work employment.
- Informatics
-
Local
School
page,
Events, research
institutes, staff
directory, meetings calendar.
-
Graduate
school,
Informatics
Teaching
Organisation.
Research Links
Our group has active contacts with a number of research
networks and groups.
- Heriot-Watt University
- University of Liverpool
- Imperial College London
- Calculemus
- The TYPES network
- Saarbrücken
- Genoa
- Birmingham
- Glasgow
- Cambridge
- Oxford
Contact information
Mathematical Reasoning Group
School of Informatics
University of Edinburgh
Informatics Forum
10 Crichton Street
Edinburgh EH8 9AB
Scotland
Tel : +44 (0)131 650 2708
Fax : +44 (0)131 650 6899
Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB,
Scotland
Tel: +44 (0)131 650 2733 Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the
DReaM Support Team
Unless explicitly stated otherwise all material on this web site is
copyright © The University of Edinburgh.
gipoco.com
is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.
gipoco.com
is neither affiliated with the authors of this page nor responsible
for its contents. This is a safe-cache copy of the original web site.