University Secretarys Group

Address
  • EH8 9YL

Find us here
Filter
Conference contribution

Search results

  • 2020

    Interdisciplinary learning in undergraduate and graduate education: Conceptualizations and empirical accounts

    Markauskaite, L., Mukkonen, H., Damsa, C., Thompson, K., Arthars, N., Celik, I., Sutphen, M., Esterhazy, R., Solbrekke, T. D., Sugrue, C., McCune, V., Wheeler, P., Vasco, D. & Kali, Y., 30 Jun 2020, The Interdisciplinarity of the Learning Sciences, 14th International Conference of the Learning Sciences (ICLS) 2020. Gresalfi, M. & Horn, I. S. (eds.). Nashville, Tennessee: International Society of the Learning Sciences (ISLS), Vol. 1. p. 398-405 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    Post—humanistic 'practices of community' for non-traditional laboratory work

    Kelley, S., Drysdale, T., Dishon, V., Scott, A-M., Scoles, J., Weightman, A., Lewis, R. & Watts, S., 2019, Proceedings of the SEFI 47th Annual Conference. p. 360-369 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    A Super Industrial Application of PSGraph

    Lin, Y., Grov, G., O'Halloran, C. & G., P., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 319-325 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Developing and Debugging Proof Strategies by Tinkering

    Lin, Y., Bras, P. L. & Grov, G., 9 Apr 2016, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 573-579 7 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Mechanised Verification Patterns for Dafny

    Grov, G., Lin, Y. & Tumas, V., 8 Nov 2016, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Cham, p. 326-343 18 p. (Lecture Notes in Computer Science ; vol. 9995).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 'The Tinker' for Rodin

    Liang, Y., Lin, Y. & Grov, G., 11 May 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Springer, Cham, p. 262-268 7 p. (Lecture Notes in Computer Science; vol. 9675).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    Engaging Students as Partners in Learning and Teaching (2): Practical guidance for academic staff and academic developers

    Bovill, C., Felten, P. & Cook-Sather, A., 2014, International Consortium on Educational Development Conference, Stockholm, Sweden, 16-18 June. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Peer observation of teaching as a form of strategic academic development

    Bovill, C. & Cairns, A., 2014, International Consortium on Educational Development Conference, Stockholm, Sweden, 16-18 June. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2013

    A Graphical Language for Proof Strategies

    Grov, G., Kissinger, A. & Lin, Y., 2013, Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMillan, K., Middeldorp, A. & Voronkov, A. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 324-339 16 p. (Lecture Notes in Computer Science ; vol. 8312).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2007

    From workplace to university, from university to workplace: a relational view of learning

    Lent, N., Zukas, M. & Clark, M., 2007, Researching Work and Learning: 5th International Conference on Work and Learning. Walters, S. & Cooper, L. (eds.). University of the Western Cape, p. 130 135 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Linking research and teaching through student-led module evaluation

    Bovill, C., 2007, Enhancing Higher Education Theory and Scholarship, Proceedings of the 30th HERDSA Annual Conference, 8-11 July. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2003

    IsaPlanner: A Prototype Proof Planner in Isabelle

    Dixon, L. & Fleuriot, J., 2003, Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings. Springer Berlin Heidelberg, p. 279-283 5 p. (Lecture Notes in Computer Science; vol. 2741).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution