相关论文: Proceedings 8th Interaction and Concurrency Experi…

Report of the Third Global Experimentation for Future Internet (GEFI 2018) Workshop

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

网络与互联网体系结构 · 计算机科学 2019-01-11 Mark Berman , Timur Friedman , Abhimanyu Gosain , Kate Keahey , Rick McGeer , Ingrid Moerman , Akihiro Nakao , Lucas Nussbaum , Kristin Rauschenbach , Violet Syrotiuk , Malathi Veeraraghavan , Naoaki Yamanaka

Proceedings Sixth Workshop on Intersection Types and Related Systems

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…

编程语言 · 计算机科学 2013-07-31 Stéphane Graham-Lengrand , Luca Paolini

Proceedings of the 15th Workshop on Logic-based methods in Programming Environments WLPE'05 -- October 5, 2005 -- Sitges (Barcelona), Spain

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

Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems

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…

计算机科学中的逻辑 · 计算机科学 2015-09-29 Nathalie Bertrand , Mirco Tribastone

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U.…

计算机科学中的逻辑 · 计算机科学 2020-08-07 Laurent Fribourg , Matthias Heizmann

Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education

This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on June 2, 2015 in Sophia-Antipolis, France, and on June 7,…

编程语言 · 计算机科学 2016-11-29 Johan Jeuring , Jay McCarthy

IceCube-Gen2 - The Next Generation Neutrino Observatory at the South Pole: Contributions to ICRC 2015

Papers submitted to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague) by the IceCube-Gen2 Collaboration.

天体物理仪器与方法 · 物理学 2015-11-10 Gen2 Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , G. Anton , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , S. Axani , X. Bai , I. Bartos , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , G. H. Collin , J. M. Conrad , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Diaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , J. J. Evans , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , J. Haugen , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , B. J. P. Jones , M. Jurkovic , O. Kalekin , B. Kaminsky , A. Kappes , T. Karg , A. Karle , T. Katori , U. Katz , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , C. B. Krauss , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , J. LoSecco , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , S. Marka , Z. Marka , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. W. Moore , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , A. Palazzo , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , T. C. Petersen , C. Pfendner , D. Pieloth , E. Pinat , J. L. Pinfold , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , P. Sandstrom , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , M. H. Shaevitz , R. Shanidze , M. W. E. Smith , D. Soldin , S. Söldner-Rembold , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , A. Taketa , H. K. M. Tanaka , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , S. Wren , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems

This EPTCS volume contains the papers from the Seventh International Workshop on Formal Methods for Autonomous Systems (FMAS 2025), which was held between the 17th and 19th of November 2025. The goal of the FMAS workshop series is to bring…

计算机科学中的逻辑 · 计算机科学 2025-11-18 Matt Luckcuck , Maike Schwammberger , Mengwei Xu

Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International…

人工智能 · 计算机科学 2023-11-16 Marie Farrell , Matt Luckcuck , Mario Gleirscher , Maike Schwammberger

Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software

This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE…

软件工程 · 计算机科学 2010-09-20 Gwen Salaün , Xiang Fu , Sylvain Hallé

5th International Symposium on New Frontiers in Human-Robot Interaction 2016 (NF-HRI 2016)

This volume is the proceedings of the 5th International Symposium on New Frontiers in Human-Robot Interaction, held at the AISB Convention 2016, which took place on the 5th and 6th of April 2016, in Sheffield, U.K. Organised by Maha Salem…

机器人学 · 计算机科学 2016-06-09 Maha Salem , Astrid Weiss , Paul Baxter , Kerstin Dautenhahn

Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology

The fourth edition of the international workshop on Causation, Responsibility and Explanation took place in Prague (Czech Republic) as part of ETAPS 2019. The program consisted in 5 invited speakers and 4 regular papers, whose selection was…

人工智能 · 计算机科学 2019-10-31 Georgiana Caltais , Jean Krivine

Proceedings 9th International Workshop on Theorem Proving Components for Educational Software

The 9th International Workshop on Theorem-Proving Components for Educational Software (ThEdu'20) was scheduled to happen on June 29 as a satellite of the IJCAR-FSCD 2020 joint meeting, in Paris. The COVID-19 pandemic came by surprise,…

人工智能 · 计算机科学 2020-10-30 Pedro Quaresma , Walther Neuper , João Marcos

Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015)

This volume contains the papers accepted at the Second International Workshop on FPGAs for Software Programmers (FSP 2015), held in London, United Kingdom, September 1st, 2015. FSP 2015 was co-located with the International Conference on…

硬件体系结构 · 计算机科学 2015-08-27 Frank Hannig , Dirk Koch , Daniel Ziener

Proceedings of the Fourth International Conference on Applied Category Theory

The Fourth International Conference on Applied Category Theory took place at the Computer Laboratory of the University of Cambridge on 12--16 July 2021. It was a hybrid event, with physical attendees present in Cambridge and other…

计算机科学中的逻辑 · 计算机科学 2022-11-03 Kohei Kishida

Proc. of the 9th Workshop on Semantic Ambient Media Experiences (SAME'2016/2): Visualisation, Emerging Media, and User-Experience: International Series on Information Systems and Management in Creative eMedia (CreMedia)

The 9th Semantic Ambient Media Experience (SAME) proceedings where based on the academic contributions to a two day workshop that was held at Curtin University, Perth, WA, Australia. The symposium was held to discuss visualisation, emerging…

人机交互 · 计算机科学 2017-08-04 Artur Lugmayr , Richard Seale , Andrew Woods , Eunice Sari , Adi Tedjasaputra

The IceCube Neutrino Observatory - Contributions to ICRC 2015 Part I: Point Source Searches

Papers on point source searches submitted to the 34th International Cosmic Ray Conference (ICRC 2015, The Hague) by the IceCube Collaboration.

高能天体物理现象 · 物理学 2015-11-19 The IceCube Collaboration , M. G. Aartsen , K. Abraham , M. Ackermann , J. Adams , J. A. Aguilar , M. Ahlers , M. Ahrens , D. Altmann , T. Anderson , I. Ansseau , M. Archinger , C. Arguelles , T. C. Arlen , J. Auffenberg , X. Bai , S. W. Barwick , V. Baum , R. Bay , J. J. Beatty , J. Becker Tjus , K. -H. Becker , E. Beiser , S. BenZvi , P. Berghaus , D. Berley , E. Bernardini , A. Bernhard , D. Z. Besson , G. Binder , D. Bindig , M. Bissok , E. Blaufuss , J. Blumenthal , D. J. Boersma , C. Bohm , M. Börner , F. Bos , D. Bose , S. Böser , O. Botner , J. Braun , L. Brayeur , H. -P. Bretz , N. Buzinsky , J. Casey , M. Casier , E. Cheung , D. Chirkin , A. Christov , K. Clark , L. Classen , S. Coenders , D. F. Cowen , A. H. Cruz Silva , J. Daughhetee , J. C. Davis , M. Day , J. P. A. M. de André , C. De Clercq , E. del Pino Rosendo , H. Dembinski , S. De Ridder , P. Desiati , K. D. de Vries , G. de Wasseige , M. de With , T. DeYoung , J. C. Diaz-Vélez , V. di Lorenzo , J. P. Dumm , M. Dunkman , R. Eagan , B. Eberhardt , T. Ehrhardt , B. Eichmann , S. Euler , P. A. Evenson , O. Fadiran , S. Fahey , A. R. Fazely , A. Fedynitch , J. Feintzeig , J. Felde , K. Filimonov , C. Finley , T. Fischer-Wasels , S. Flis , C. -C. Fösig , T. Fuchs , T. K. Gaisser , R. Gaior , J. Gallagher , L. Gerhardt , K. Ghorbani , D. Gier , L. Gladstone , M. Glagla , T. Glüsenkamp , A. Goldschmidt , G. Golup , J. G. Gonzalez , D. Góra , D. Grant , J. C. Groh , A. Groß , C. Ha , C. Haack , A. Haj Ismail , A. Hallgren , F. Halzen , B. Hansmann , K. Hanson , D. Hebecker , D. Heereman , K. Helbing , R. Hellauer , D. Hellwig , S. Hickford , J. Hignight , G. C. Hill , K. D. Hoffman , R. Hoffmann , K. Holzapfel , A. Homeier , K. Hoshina , F. Huang , M. Huber , W. Huelsnitz , P. O. Hulth , K. Hultqvist , S. In , A. Ishihara , E. Jacobi , G. S. Japaridze , K. Jero , M. Jurkovic , B. Kaminsky , A. Kappes , T. Karg , A. Karle , M. Kauer , A. Keivani , J. L. Kelley , J. Kemp , A. Kheirandish , J. Kiryluk , J. Kläs , S. R. Klein , G. Kohnen , R. Koirala , H. Kolanoski , R. Konietz , A. Koob , L. Köpke , C. Kopper , S. Kopper , D. J. Koskinen , M. Kowalski , K. Krings , G. Kroll , M. Kroll , J. Kunnen , N. Kurahashi , T. Kuwabara , M. Labare , J. L. Lanfranchi , M. J. Larson , M. Lesiak-Bzdak , M. Leuermann , J. Leuner , L. Lu , J. Lünemann , J. Madsen , G. Maggi , K. B. M. Mahn , R. Maruyama , K. Mase , H. S. Matis , R. Maunu , F. McNally , K. Meagher , M. Medici , A. Meli , T. Menne , G. Merino , T. Meures , S. Miarecki , E. Middell , E. Middlemas , L. Mohrmann , T. Montaruli , R. Morse , R. Nahnhauer , U. Naumann , G. Neer , H. Niederhausen , S. C. Nowicki , D. R. Nygren , A. Obertacke , A. Olivas , A. Omairat , A. O'Murchadha , T. Palczewski , H. Pandya , L. Paul , J. A. Pepper , C. Pérez de los Heros , C. Pfendner , D. Pieloth , E. Pinat , J. Posselt , P. B. Price , G. T. Przybylski , J. Pütz , M. Quinnan , C. Raab , L. Rädel , M. Rameez , K. Rawlins , R. Reimann , M. Relich , E. Resconi , W. Rhode , M. Richman , S. Richter , B. Riedel , S. Robertson , M. Rongen , C. Rott , T. Ruhe , D. Ryckbosch , S. M. Saba , L. Sabbatini , H. -G. Sander , A. Sandrock , J. Sandroos , S. Sarkar , K. Schatto , F. Scheriau , M. Schimp , T. Schmidt , M. Schmitz , S. Schoenen , S. Schöneberg , A. Schönwald , L. Schulte , D. Seckel , S. Seunarine , R. Shanidze , M. W. E. Smith , D. Soldin , M. Song , G. M. Spiczak , C. Spiering , M. Stahlberg , M. Stamatikos , T. Stanev , N. A. Stanisha , A. Stasik , T. Stezelberger , R. G. Stokstad , A. Stößl , R. Ström , N. L. Strotjohann , G. W. Sullivan , M. Sutherland , H. Taavola , I. Taboada , S. Ter-Antonyan , A. Terliuk , G. Tešić , S. Tilav , P. A. Toale , M. N. Tobin , S. Toscano , D. Tosi , M. Tselengidou , A. Turcati , E. Unger , M. Usner , S. Vallecorsa , J. Vandenbroucke , N. van Eijndhoven , S. Vanheule , J. van Santen , J. Veenkamp , M. Vehring , M. Voge , M. Vraeghe , C. Walck , A. Wallace , M. Wallraff , N. Wandkowsky , Ch. Weaver , C. Wendt , S. Westerhoff , B. J. Whelan , N. Whitehorn , C. Wichary , K. Wiebe , C. H. Wiebusch , L. Wille , D. R. Williams , H. Wissing , M. Wolf , T. R. Wood , K. Woschnagg , D. L. Xu , X. W. Xu , Y. Xu , J. P. Yanez , G. Yodh , S. Yoshida , M. Zoll

Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…

计算机科学中的逻辑 · 计算机科学 2018-02-19 Horatiu Cirstea , David Sabel

Eclipse-IT 2013: Proceedings of VIII Workshop of the Italian Eclipse Community

This volume contains the extended abstracts of the contributions presented at EclipseIT 2013, the 8th workshop of the Italian Eclipse Community, hosted by the Computer Science Department of the University of Milan (Crema Campus) on…

软件工程 · 计算机科学 2013-10-10 Elvinia Riccobene

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th, 2012 in Budapest. The program included 1 invited talk, 9…

编程语言 · 计算机科学 2013-02-04 Nicos Angelopoulos , Roberto Bagnara