English
Related papers

Related papers: Proceedings 8th International Workshop on Security…

200 papers

The SIGIR 2019 Workshop on eCommerce (ECOM19), was a full day workshop that took place on Thursday, July 25, 2019 in Paris, France. The purpose of the workshop was to serve as a platform for publication and discussion of Information…

Information Retrieval · Computer Science 2019-12-30 Jon Degenhardt , Surya Kallumadi , Utkarsh Porwal , Andrew Trotman

For a recent student conference, the authors developed a day-long design problem and competition suitable for engineering, mathematics and science undergraduates. The competition included a cryptography problem, for which a workshop was run…

Cryptography and Security · Computer Science 2007-05-23 Joshua Holden , Richard Layton , Laurence Merkle , Tina Hudson

The goal of the workshop is to bring together researchers interested in various aspects of small-team collaborative search to share ideas, to stimulate research in the area, and to increase the visibility of this emerging area. We expect to…

Information Retrieval · Computer Science 2009-08-11 Jeremy Pickens , Gene Golovchinsky , Meredith Ringel Morris

This volume contains the papers presented at the 6th Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012), a satellite workshop of the 23rd International Conference on Concurrency Theory (CONCUR) held on 8th September…

Programming Languages · Computer Science 2012-11-16 Gabriel Ciobanu

This volume contains the proceedings of the Ninth Workshop on Fixed Points in Computer Science which took place on the September 1st, 2013 in Torino, Italy as a CSL-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…

Logic in Computer Science · Computer Science 2013-08-28 David Baelde , Arnaud Carayol

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

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

Logic in Computer Science · Computer Science 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

This volume represents the proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019), co-located with the 14th International Symposium on Reconfigurable…

Signal Processing · Electrical Eng. & Systems 2019-09-13 Leandro Soares Indrusiak , Piotr Dziurzanski , Shuai Zhao

The third Global Experimentation for Future Internet (GEFI 2018) workshop was held October 25-26, 2018 in Tokyo, Japan, hosted by the University of Tokyo. A total of forty-four participants attended, representing Belgium, Brazil, China,…

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace…

Logic in Computer Science · Computer Science 2017-04-19 Guillaume Bonfante , Georg Moser

This volume contains the proceedings of ICE'21, the 14th Interaction and Concurrency Experience, which was held online on the 18th of June 2021, as a satellite event of DisCoTec'21. The ICE workshop series features a distinguishing review…

Programming Languages · Computer Science 2021-10-01 Julien Lange , Anastasia Mavridou , Larisa Safina , Alceste Scalas

This is the Proceedings of the Access InContext Workshop, which was held at the CHI'25 Conference on Human Factors in Computing Systems, in Yokohama, Japan, on April 26th 2025.

Human-Computer Interaction · Computer Science 2025-10-31 Patricia Piedade

This paper presents the Erasmus Mundus Joint Master Degree in Pervasive Computing and Communications for Sustainable Development (PERCCOM). This program brings together 11 academic partners and 8 industry partners to combine advanced…

Computers and Society · Computer Science 2016-11-17 Jari Porras , Ahmed Seffah , Eric Rondeau , Karl Andersson , Klimova Alexandra

This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-08-09 Clément Aubert , Cinzia Di Giusto , Larisa Safina , Alceste Scalas

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

Computational Complexity · Computer Science 2010-06-04 Xizhong Zheng , Ning Zhong

This volume contains the proceedings of the Tenth Workshop on Quantitative Aspects of Programming Languages (QAPL 2012), held in Tallin, Estonia, on March 31 and April 1, 2012. QAPL 2012 is a satellite event of the European Joint…

Programming Languages · Computer Science 2012-07-04 Herbert Wiklicky , Mieke Massink

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

Logic in Computer Science · Computer Science 2016-03-03 César A. Muñoz , Jorge A. Pérez

In July 2022, the Center for Security and Emerging Technology (CSET) at Georgetown University and the Program on Geopolitics, Technology, and Governance at the Stanford Cyber Policy Center convened a workshop of experts to examine the…

DCM 2010 provides a forum for ideas about new computing means and models, with a particular emphasis in 2010 on computational and causal models related to physics and biology. We believe that bringing together different approaches - in a…

Quantum Physics · Physics 2010-07-26 S. Barry Cooper , Prakash Panangaden , Elham Kashefi

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system.…

Programming Languages · Computer Science 2016-02-03 Pavol Černý , Viktor Kuncak , Madhusudan Parthasarathy