Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018
Published in: MFPS (2018)
Keyphrases
- mathematical foundations
- advances in artificial intelligence
- international conference
- british columbia
- annual conference
- centre for advanced studies
- conference on artificial intelligence
- acm special interest group
- student research workshop
- annual computer personnel research conference
- knowledge discovery and data mining
- computer science education
- united kingdom
- acm sigmis cpr
- koli calling
- north american
- progress in artificial intelligence
- learning analytics and knowledge
- national research council
- united states
- san diego
- computer personnel research group
- computer personnel
- case study
- keynote address
- doctoral consortium
- association for artificial intelligence
- lecture notes in artificial intelligence
- australasian database conference
- atlantic web intelligence
- programming language
- social sciences and humanities
- computing education
- databases and information systems
- international workshop
- international symposium
- czech republic
- selected papers
- e learning
- logic programming
- acm sigkdd
- computer society
- north america
- computer programming
- computer science
- lecture notes
- working conference
- information technology
- computational intelligence
- learning analytics
- web search and data mining
- web intelligence
- poster session
- acm conference
- los angeles
- acm sigmod
- program committee
- programming course