@inproceedings{AcevedoKohlhase:CICM-WS-WiP2014,
title = {{OpenMathMap}: Interaction},
author = {Carmela Acevedo and Michael Kohlhase},
url = {http://ceur-ws.org/Vol-1186/#paper-01},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Kohlhase:CICM-WS-WiP2014,
title = {Design of Search Interfaces for Mathematicians},
author = {Andrea Kohlhase},
url = {http://ceur-ws.org/Vol-1186/#paper-02},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Toader:CICM-WS-WiP2014,
title = {{FEncy}: Spreadsheet Formulae Exploration},
author = {Andrea Kohlhase  and Alexandru Toader},
url = {http://ceur-ws.org/Vol-1186/#paper-03},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{LeitãoRoast:CICM-WS-WiP2014,
title = {Developing Visualisations For Spreadsheet Formulae: Towards Increasing the Accessibility of Science, Technology, Engineering and Maths Subjects},
author = {Roxanne Leitão and Chris Roast},
url = {http://ceur-ws.org/Vol-1186/#paper-04},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{LibbrechtSchneider:CICM-WS-WiP2014,
title = {Formula Collection Mobile Apps Realized by Teachers},
author = {Paul Libbrecht and Kerstin Schneider},
url = {http://ceur-ws.org/Vol-1186/#paper-05},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Mihaljevic-BrandtEtAl:CICM-WS-WiP2014,
title = {Author Profile Pages in {zbMATH} - Improving Accuracy through User Interaction},
author = {Helena Mihaljevic-Brandt and Fabian Müller and Nicolas Roy},
url = {http://ceur-ws.org/Vol-1186/#paper-06},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{PollanenEtAl:CICM-WS-WiP2014,
title = {Towards a Universal Interface for Real-Time Mathematical Communication},
author = {Marco Pollanen and Jeff Hooper and Bruce Cater and Sohee Kang},
url = {http://ceur-ws.org/Vol-1186/#paper-07},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{SilvaWang:CICM-WS-WiP2014,
title = {Firefox {OS} Web Apps for Science},
author = {Raniere Silva and Frédéric Wang},
url = {http://ceur-ws.org/Vol-1186/#paper-08},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{YamamotoKokubu:CICM-WS-WiP2014,
title = {Visualization of Tangent Developables on a Volumetric Display},
author = {Ou Yamamoto and Masatoshi Kokubu},
url = {http://ceur-ws.org/Vol-1186/#paper-09},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{DavenportA:CICM-WS-WiP2014,
title = {Another Look at Formal Mathematical Properties},
author = {James H. Davenport},
url = {http://ceur-ws.org/Vol-1186/#paper-10},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{HellströmA:CICM-WS-WiP2014,
title = {The eval Symbol for Axiomatising Variadic Functions},
author = {Lars Hellström},
url = {http://ceur-ws.org/Vol-1186/#paper-11},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{HellströmB:CICM-WS-WiP2014,
title = {Literate Sources for Content Dictionaries: A Progress Report},
author = {Lars Hellström},
url = {http://ceur-ws.org/Vol-1186/#paper-12},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{KohlhaseA:CICM-WS-WiP2014,
title = {Extension Proposal: Records in Pragmatic OpenMath},
author = {Michael Kohlhase},
url = {http://ceur-ws.org/Vol-1186/#paper-13},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{KohlhaseB:CICM-WS-WiP2014,
title = {{OpenMath} Language Extensions},
author = {Michael Kohlhase},
url = {http://ceur-ws.org/Vol-1186/#paper-14},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Rabe:CICM-WS-WiP2014,
title = {{MMT} Objects},
author = {Florian Rabe},
url = {http://ceur-ws.org/Vol-1186/#paper-15},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Gaspar:CICM-WS-WiP2014,
title = {Short Introduction by Example to {Coq}, and Formalising $ZF \subseteq ZF_{\epsilon}$ in {Coq}},
author = {Jaime Gaspar},
url = {http://ceur-ws.org/Vol-1186/#paper-16},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{NeuperA:CICM-WS-WiP2014,
title = {{GCD} — A Case Study on Lucas-Interpretation},
author = {Walther Neuper},
url = {http://ceur-ws.org/Vol-1186/#paper-17},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Petrovic:CICM-WS-WiP2014,
title = {Using Small-Step Refinement For Algorithm Verification In Computer Science Education},
author = {Danijela Petrovic},
url = {http://ceur-ws.org/Vol-1186/#paper-18},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{SegundoEtAl:CICM-WS-WiP2014,
title = {Formalizing a Named Explicit Substitutions Calculus in {Coq}},
author = {Washington de Carvalho Segundo and Flavio L. C. De Moura and Daniel Ventura},
url = {http://ceur-ws.org/Vol-1186/#paper-19},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{DumasEtAl:CICM-WS-WiP2014,
title = {Certified Proofs in Programs Involving Exceptions},
author = {Jean-Guillaume Dumas and Dominique Duval and Burak Ekici and Jean-Claude Reynaud},
url = {http://ceur-ws.org/Vol-1186/#paper-20},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{GraebeEtAl:CICM-WS-WiP2014,
title = {The {SymbolicData} Project – Towards a Computer Algebra Social Network. },
author = {Hans-Gert Graebe and Andreas Nareike and Simon Johanning},
url = {http://ceur-ws.org/Vol-1186/#paper-21},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{Kahle:CICM-WS-WiP2014,
title = {Towards the Structure of Mathematical Proof},
author = {Reinhard Kahle},
url = {http://ceur-ws.org/Vol-1186/#paper-22},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{PagelSchubotz:CICM-WS-WiP2014,
title = {Mathematical Language Processing Project},
author = {Robert Pagel and Moritz Schubotz},
url = {http://ceur-ws.org/Vol-1186/#paper-23},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{QuaresmaEtAl:CICM-WS-WiP2014,
title = {Reproducing a Geometric Working Session},
author = {Pedro Quaresma and Vanda Santos and Juan Moral},
url = {http://ceur-ws.org/Vol-1186/#paper-24},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{SchwinningEtAl:CICM-WS-WiP2014,
title = {Concepts and Realisations of Flexible Exercise Design and Feedback Generation in an e-Assessment System for Mathematics},
author = {Nils Schwinning and Melanie Schypula and Michael Striewe and Michael Goedicke},
url = {http://ceur-ws.org/Vol-1186/#paper-25},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{England:CICM-WS-WiP2014,
title = {Preface to the Joint Volume},
author = {Matthew England},
url = {http://ceur-ws.org/Vol-1186/#PrefaceJoint},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{LibbrechtKohlhase:CICM-WS-WiP2014,
title = {{MathUI} Preface},
author = {Paul Libbrecht and Andrea Kohlhase},
url = {http://ceur-ws.org/Vol-1186/#MathUIPreface},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{DavenportB:CICM-WS-WiP2014,
title = {{OpenMath} Preface},
author = {James H. Davenport},
url = {http://ceur-ws.org/Vol-1186/#OpenMathPreface},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{NeuperB:CICM-WS-WiP2014,
title = {{ThEdu} Preface},
author = {Walther Neuper},
url = {http://ceur-ws.org/Vol-1186/#ThEduPreface},
crossref = {CICM-WS-WiP2014},
}

@inproceedings{WattEtAl:CICM-WS-WiP2014,
title = {{Work in Progress} Preface},
author = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban},
url = {http://ceur-ws.org/Vol-1186/#WiPPreface},
crossref = {CICM-WS-WiP2014},
}

@proceedings{CICM-WS-WiP2014,
title     = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM},
booktitle = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM},
editor = {Matthew England and James H. Davenport and Andrea Kohlhase and Michael Kohlhase and Paul Libbrecht and Walther Neuper and Pedro Quaresma and Alan P. Sexton and Petr Sojka and Josef Urban and Stephen M. Watt},
series = {CEUR Workshop Proceedings},
number = 1186,
address = {Aachen},
issn = {1613-0073},
url = {http://ceur-ws.org/Vol-1186/},
venue = {Coimbra, Portugal},
eventdate = {7-11 June 2014},
year = 2014
}