English
Related papers

Related papers: Sixth International Workshop on Languages for Mode…

200 papers

This is the Proceedings of the 2016 ICML Workshop on Human Interpretability in Machine Learning (WHI 2016), which was held in New York, NY, June 23, 2016. Invited speakers were Susan Athey, Rich Caruana, Jacob Feldman, Percy Liang, and…

Machine Learning · Statistics 2016-07-28 Been Kim , Dmitry M. Malioutov , Kush R. Varshney

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.

The workshop End-to-End Compositional Models of Vector-Based Semantics was held at NUI Galway on 15 and 16 August 2022 as part of the 33rd European Summer School in Logic, Language and Information (ESSLLI 2022). The workshop was sponsored…

Computation and Language · Computer Science 2022-08-11 Michael Moortgat , Gijs Wijnholds

This volume contains the proceedings of the 13th International Workshop on Programmability and Architectures for Heterogeneous Multicores. The workshop was held in conjunction with the 16th International Conference on High-Performance and…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-05-18 Miquel Pericas , Oscar Palomar , Vassilis Papaefstathiou , Mahmoud Eljammaly

This volume contains the proceedings of the Seventh Workshop on Model-Based Testing (MBT 2012), which was held on 25 March, 2012 in Tallinn, Estonia, as a satellite event of the European Joint Conferences on Theory and Practice of Software,…

Software Engineering · Computer Science 2012-02-28 Alexander K. Petrenko , Holger Schlingloff

This is the Proceedings of the 2018 ICML Workshop on Human Interpretability in Machine Learning (WHI 2018), which was held in Stockholm, Sweden, July 14, 2018. Invited speakers were Barbara Engelhardt, Cynthia Rudin, Fernanda Vi\'egas, and…

Machine Learning · Statistics 2018-07-04 Been Kim , Kush R. Varshney , Adrian Weller

This volume contains the proceedings of the Eighth Workshop on Model-Based Testing (MBT 2013), which was held on March 17, 2013 in Rome, Italy, as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS…

Software Engineering · Computer Science 2013-03-05 Alexander K. Petrenko , Holger Schlingloff

This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018…

Logic in Computer Science · Computer Science 2019-04-23 Michele Pagani , Sandra Alves

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th…

Logic in Computer Science · Computer Science 2015-08-17 Maurice H. ter Beek , Alberto Lluch Lafuente

This is the Proceedings of NIPS 2016 Workshop on Interpretable Machine Learning for Complex Systems, held in Barcelona, Spain on December 9, 2016

Machine Learning · Statistics 2016-11-29 Andrew Gordon Wilson , Been Kim , William Herlands

The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009. The workshop was jointly…

Computational Engineering, Finance, and Science · Computer Science 2016-08-14 Ralph-Johan Back , Ion Petre , Erik de Vink

This volume contains the papers presented at LINEARITY 2016, the Fourth International Workshop on Linearity, held on June 26, 2016 in Porto, Portugal. The workshop was a one-day satellite event of FSCD 2016, the first International…

Logic in Computer Science · Computer Science 2017-01-18 Iliano Cervesato , Maribel Fernández

This volume contains the proceedings of SOS 2009, the Sixth Workshop on Structural Operational Semantics held on the 31st of August 2009 in Bologna, Italy as a affiliated workshop of CONCUR 2009, the 20th International Conference on…

Logic in Computer Science · Computer Science 2010-02-17 Bartek Klin , Paweł Sobociński

This volume is the proceedings of the 2nd workshop on Cognitive Architectures for Social Human-Robot Interaction, held at the ACM/IEEE HRI 2016 conference, which took place on Monday 7th March 2016, in Christchurch, New Zealand. Organised…

Robotics · Computer Science 2016-02-08 Paul Baxter , J. Gregory Trafton , Severin Lemaignan

This volume contains the final and revised versions of the papers presented at the 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June 16,…

Software Engineering · Computer Science 2012-10-23 Josep Silva , Francesco Tiezzi

This volume represents the accepted submissions from the Machine Learning for Health (ML4H) workshop at the conference on Neural Information Processing Systems (NeurIPS) 2018, held on December 8, 2018 in Montreal, Canada.

This is the proceedings of the 1st International Workshop on Low Carbon Computing (LOCO 2024).

Distributed, Parallel, and Cluster Computing · Computer Science 2026-01-07 Wim Vanderbauwhede , Lauritz Thamsen , José Cano

This volume contains the proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik (Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE Symposium on…

Programming Languages · Computer Science 2013-07-31 Stéphane Graham-Lengrand , Luca Paolini

The mini-proceedings of the Light Meson Dynamics Workshop held in Mainz from February 10th to 12th, 2014, are presented. The web page of the conference, which contains all talks, can be found at https://indico.cern.ch/event/287442/overview…

This volume constitutes the pre-proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020), organized by the University of Bologna, Italy, as part of Bologna Federated Conference on Programming Languages…

Programming Languages · Computer Science 2020-09-07 Michael Hanus , Claudio Sacerdoti Coen