English
Related papers

Related papers: Proceedings of eNTERFACE 2015 Workshop on Intellig…

200 papers

This paper presents the design, objectives, experiences, and results of an international cooperation project funded by the European Commission in the context of the Erasmus Intensive Programme (IP, for short) designed to improve students'…

Computers and Society · Computer Science 2024-03-26 Martin Mellado , Eduardo Vendrell , Filomena Ferrucci , Andrea Abate , Detlef Zuhlke , Bernard Riera

Large Language Models have become widely adopted tools due to their versatile capabilities, yet their user interfaces remain limited, often following rigid, linear interaction paradigms. In this paper, we present insights from a design…

Human-Computer Interaction · Computer Science 2025-08-27 Maximilian Frank , Simon Lund

These are the proceedings of the 5th workshop on Machine Learning for the Developing World (ML4D), held as part of the Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS) on December 14th, 2021.

This volume contains a selection of papers presented at LFMTP 2020, the 15th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held the 29-30th of June, 2019, using the Zoom video conferencing…

Logic in Computer Science · Computer Science 2021-01-11 Claudio Sacerdoti Coen , Alwen Tiu

The Fifteenth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2025) was held in Loughborough, UK, on July 21 and 22, 2025, organized by the Department of Computer Science at Loughborough University and…

Formal Languages and Automata Theory · Computer Science 2025-07-21 Nelma Moreira , Luca Prigioniero

This volume contains the proceedings of F-IDE 2019, the fifth international workshop on Formal Integrated Development Environment, which was held on October 7, 2019 in Porto, Portugal, as part of FM'19, the 3rd World Congress on Formal…

Software Engineering · Computer Science 2019-12-23 Rosemary Monahan , Virgile Prevosto , Jose Proença

This volume constitutes the proceedings of LFMTP 2011, the Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice. The LFMTP workshop series brings together designers, implementors, and practitioners to…

Logic in Computer Science · Computer Science 2011-11-01 Herman Geuvers , Gopalan Nadathur

This volume contains the proceedings of the Fifth International Workshop on Intersection Types and Related Systems (ITRS 2010). The workshop was held in Edinburgh, Scotland, on July 9th 2010, as part of FLoC 2010 and affiliated with LICS…

Logic in Computer Science · Computer Science 2011-01-24 Elaine Pimentel , Betti Venneri , Joe Wells

This volume contains the proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), which was held July 15-17, 2015 at Oxford University. The goal of this workshop series is to bring together researchers working…

Quantum Physics · Physics 2015-11-05 Chris Heunen , Peter Selinger , Jamie Vicary

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

Programming Languages · Computer Science 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

The 9th International Workshop on Physics and Computation (PC 2018) was held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which was…

Computational Complexity · Computer Science 2018-07-30 Michael Cuffaro , Philippos Papayannopoulos

The workshop is affiliated with 33nd IEEE International Conference on Robot and Human Interactive Communication (RO-MAN 2024) August 26~30, 2023 / Pasadena, CA, USA. It is designed as a half-day event, extending over four hours from 9:00 to…

Robotics · Computer Science 2024-10-14 Yuchong Zhang , Elmira Yadollahi , Yong Ma , Di Fu , Iolanda Leite , Danica Kragic

This volume contains the papers accepted at the 1st Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014), held in Paderborn, Germany, May 29-30, 2014. Racing 2014 was co-located with the IEEE European Test…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-05-12 Frank Hannig , Jürgen Teich

This volume contains the proceedings of ICE 2013, the 6th Interaction and Concurrency Experience workshop, which was held in Florence, Italy on the 6th of June 2013 as a satellite event of DisCoTec 2013. The ICE procedure for paper…

Programming Languages · Computer Science 2013-10-16 Marco Carbone , Ivan Lanese , Alberto Lluch Lafuente , Ana Sokolova

This work aims to connect the Automotive User Interfaces (Auto-UI) and Conversational User Interfaces (CUI) communities through discussion of their shared view of the future of automotive conversational user interfaces. The workshop aims to…

This volume contains the proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), held in London, UK, on 11 and 12 April, 2015. QAPL 2015 was a satellite event of the European Joint…

Logic in Computer Science · Computer Science 2015-09-29 Nathalie Bertrand , Mirco Tribastone

The monograph summarizes and analyzes the current state of scientific research in the field of interactive artificial intelligence systems, text generation systems, diagnostics of the competitiveness of specialists, in the areas of correct…

Humans are talented with the ability to perform diverse interactions in the teaching process. However, when humans want to teach AI, existing interactive systems only allow humans to perform repetitive labeling, causing an unsatisfactory…

Human-Computer Interaction · Computer Science 2022-09-07 Zhongyi Zhou

This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in Berlin, Germany. The workshop was a one-day satellite event…

Logic in Computer Science · Computer Science 2015-07-29 Iliano Cervesato , Kaustuv Chaudhuri