English
Related papers

Related papers: Proceedings of the 1st International Workshop on L…

200 papers

This volume contains the post-proceedings of the Workshop on Adaptable Cloud Architectures (WACA 2025), held on June 20, 2025, in Lille, France, co-located with DisCoTec 2025 - 20th International Federated Conference on Distributed…

Software Engineering · Computer Science 2025-12-29 Giuseppe De Palma , Saverio Giallorenzo

This volume contains the proceedings of the 7th International Workshop on Developments in Computational Models (DCM 2011) which was held on Sunday July 3, 2011, in Zurich, Switzerland, as a satelite workshop of ICALP 2011. Recently several…

Computational Engineering, Finance, and Science · Computer Science 2012-07-31 Elham Kashefi , Jean Krivine , Femke van Raamsdonk

This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from…

Programming Languages · Computer Science 2024-04-08 Diana Costa , Raymond Hu

This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised as a one-day satellite event of FSCD 2023, the 8th…

Logic in Computer Science · Computer Science 2024-10-01 Sandra Alves , Ian Mackie

This is the proceedings of the 14th International Computational Accelerator Physics Conference, ICAP'24, which was held at the Lufthansa Seeheim Conference Hotel in Germany from October 2-5, 2024, hosted by TU Darmstadt and GSI…

Accelerator Physics · Physics 2025-02-04 Thilo Egenolf , Oliver Boine-Frankenheim , Herbert De Gersem

This volume contains the proceedings of EXPRESS/SOS 2024: the Combined 31st International Workshop on Expressiveness in Concurrency and the 21st Workshop on Structural Operational Semantics, which was held in Calgary, Canada, as an…

Formal Languages and Automata Theory · Computer Science 2024-11-21 Georgiana Caltais , Cinzia Di Giusto

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences…

Logic in Computer Science · Computer Science 2022-05-24 Rob Sumners , Cuong Chau

This volume contains a selection of papers presented at the 16th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2-2020). The workshops are the premier technical forum for presenting research and experiences…

Logic in Computer Science · Computer Science 2020-09-29 Grant Passmore , Ruben Gamboa

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 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

This volume contains selected papers presented at the 24th International Workshop on Unification, UNIF2010, which was held in Edinburgh on the 14th July 2010, as part of FLoC 2010 (Federated Logic Conferences).

Logic in Computer Science · Computer Science 2010-12-22 Maribel Fernandez

The first Workshop on Language Models for Low-Resource Languages (LoResLM 2025) was held in conjunction with the 31st International Conference on Computational Linguistics (COLING 2025) in Abu Dhabi, United Arab Emirates. This workshop…

This volume contains the proceedings of LINEARITY 2009: the first International Workshop on Linearity, which took place 12th September 2009 in Coimbra, Portugal. The workshop was a satellite event of CSL 2009, the 18th EACSL Annual…

Logic in Computer Science · Computer Science 2010-03-31 Mário Florido , Ian Mackie

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

Emerging Technologies · Computer Science 2016-06-22 Alastair A. Abbott , Dominic C. Horsman

The purpose of the Low-$x$ Workshop series is to stimulate discussions between experimentalists and theorists in diffractive hadronic physics, QCD dynamics at low $x$, parton saturation, and exciting problems in QCD at HERA, Tevatron, LHC,…

This volume contains the proceedings of the Workshop on High Productivity Computations (HPC 2010) which took place on June 21-22 in Kazan, Russia. This workshop was held as a satellite workshop of the 5th International Computer Science…

Computational Complexity · Computer Science 2011-03-17 Farid Ablayev , Bob Coecke , Alexander Vasiliev

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

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

Logic in Computer Science · Computer Science 2012-01-04 Jean-Yves Marion
‹ Prev 1 2 3 10 Next ›