Papers in proceedings

• Nuno Pinho Silva, Jorge Casaca, Francisco Azevedo, João Gomes-Mota and Luís Campos Pinto, Risk Based Maintenance and Lifetime Management of Overhead Lines, Proceedings of the CIGRÉ Belgian Conference on innovation for secure and efficient transmission grids, 2014.
• João Gomes-Mota, Francisco Azevedo, Luís Campos Pinto, Nuno Pinho Silva and Jorge Casaca, Sharing the transmission grid with storks and other birds, Proceedings of the 45th biennal CIGRÉ Session (CIGRÉ 2014), 2014.
• Reinhard Kahle, The logical cone, in: G. Mints and O. Prosorov (eds), Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014, The Euler International Mathematical Institute, St. Petersburg, Pag. 102-110, 2014.
• R. Gonçalves, Matthias Knorr and João Alexandre Leite, Towards Efficient Evolving Multi-Context Systems (Preliminary Report), in: S. Ellmauthaler and J. Pührer (eds), Proceedings of the First International Workshop on Reactive Concepts in Knowledge Representation, ReactKnow’14, Prague, Czech Republic, August 2014, Universitat Leipzig, ISSN 1430-3701, 2014.
• Reinhard Kahle, Towards the Structure of Mathematical Proof, in: Matthew England and et al. (eds), Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, CEUR Workshop Proceedings, Vol. 1186, (url), 2014.
• Dora Melo, Irene Rodrigues and Vitor Nogueira, Using a dialogue manager to improve search in the semantic web, in: Salvador Abreu and João Pascoal Faria (eds), INForum 2014 - Atas do 6o Simpósio de Informática., FEUP Edições, (url), 2014.

This year's information may not be complete.