中文
相关论文

相关论文: Proceedings of the XII International Workshop on L…

200 篇论文

The International Workshop on Locational Analysis and Related Problems will take place during November 25-27, 2015 in Barcelona (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a working…

其他计算机科学 · 计算机科学 2020-02-20 Maria Albareda-Sambola , Luisa I. Martínez-Merino , Antonio M. Rodríguez-Chía

The International Workshop on Locational Analysis and Related Problems will take place during January 31-February 1, 2022 in Elche (Spain). It is organized by the Spanish Location Network and the Location Group GELOCA from the Spanish…

The International Workshop on Locational Analysis and Related Problems will take place during September 27-29, 2017 in Segovia (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a working…

The International Workshop on Locational Analysis and Related Problems will take place during January 23-24, 2020 in Seville (Spain). It is organized by the Spanish Location Network and the Location Group GELOCA from the Spanish Society of…

The International Workshop on Locational Analysis and Related Problems will take place during January 30-February 1, 2019 in C\'adiz (Spain). It is organized by the Spanish Location Network and Location Group GELOCA (SEIO). GELOCA is a…

The topics of interest are location analysis and related problems. This includes location models, networks, transportation, logistics, exact and heuristic solution methods, and computational geometry, among many others.

This volume contains papers presented at WLPE 2005, 15th International Workshop on Logic-based methods in Programming Environments. The aim of the workshop is to provide an informal meeting for the researchers working on logic-based tools…

编程语言 · 计算机科学 2007-05-23 Alexander Serebrenik , Susana Munoz-Hernandez

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…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April…

编程语言 · 计算机科学 2026-04-08 Kirstin Peters , Lorenzo Gheri

This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners…

计算机科学中的逻辑 · 计算机科学 2011-09-13 Ernesto Pimentel , Valentín Valero

This volume contains the proceedings of FOCLASA 2015, the 14th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2015 was held in Madrid, Spain, on September 5, 2015 as a satellite event…

分布式、并行与集群计算 · 计算机科学 2015-12-23 José Proença , Massimo Tivoli

This volume contains the proceedings of the 10th International Workshop on Quantum Physics and Logic (QPL X), which was held July 17-19, 2013 at ICFO in Castelldefels (Barcelona), Spain. The goal of this workshop series is to bring together…

量子物理 · 物理学 2014-12-30 Bob Coecke , Matty Hoban

This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both…

计算机科学中的逻辑 · 计算机科学 2019-04-15 Thomas Ehrhard , Maribel Fernández , Valeria de Paiva , Lorenzo Tortora de Falco

This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…

分布式、并行与集群计算 · 计算机科学 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

This volume contains the proceedings of the Eighth Workshop on Fixed Points in Computer Science which took place on 24 March 2012 in Tallinn, Estonia as an ETAPS-affiliated workshop. Past workshops have been held in Brno (1998, MFCS/CSL…

计算机科学中的逻辑 · 计算机科学 2012-02-16 Dale Miller , Zoltán Ésik

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

编程语言 · 计算机科学 2016-02-11 Simon Gay , Jade Alglave

This volume contains a selection of papers presented at LFMTP 2018, the 13th international Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), held on July 7, 2018, in Oxford, UK. The workshop was affiliated with…

计算机科学中的逻辑 · 计算机科学 2018-07-05 Frédéric Blanqui , Giselle Reis

This volume contains the post-proceedings of the Fourteenth and the Fifteenth International Workshops on Graph Computation Models (GCM 2023 and 2024). The workshops took place in Leicester, UK on 18th July 2023 and Enschede, the Netherlands…

计算机科学中的逻辑 · 计算机科学 2025-03-26 Jörg Endrullis , Dominik Grzelak , Tobias Heindel , Jens Kosiol

Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was conducted in co-location with the 34th IEEE/ACM International…

We propose a half-day workshop at IEEE VIS 2023 on the topic of communication and collaboration around data. Specifically, we aim to gather researchers interested on multimodal, synchronous, and remote or hybrid forms of communication and…

人机交互 · 计算机科学 2023-04-13 Matthew Brehmer , Maxime Cordeil , Christophe Hurter , Takayuki Itoh
‹ 上一页 1 2 3 10 下一页 ›