English
Related papers

Related papers: Report on the second Toulouse Tensor Workshop

200 papers

The LPC EFT workshop was held April 25-26, 2024 at the University of Notre Dame. The workshop was organized into five thematic sessions: "how far beyond linear" discusses issues of truncation and validity in interpretation of results with…

The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing…

This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed…

Logic in Computer Science · Computer Science 2021-12-30 Ugo Dal Lago , Valeria de Paiva

The work contained herein constitutes a report of the "Beyond the Standard Model'' working group for the Workshop "Physics at TeV Colliders", Les Houches, France, 2-20 May, 2005. We present reviews of current topics as well as original…

High Energy Physics - Phenomenology · Physics 2007-05-23 B. C. Allanach , C. Grojean , P. Skands , E. Accomando , G. Azuelos , H. Baer , C. Balazs , G. Belanger , K. Benakli , F. Boudjema , B. Brelier , V. Bunichev , G. Cacciapaglia , M. Carena , D. Choudhury , P. -A. Delsart , U. De Sanctis , K. Desch , B. A. Dobrescu , L. Dudko , M. El Kacimi , U. Ellwanger , S. Ferrag , A. Finch , F. Franke , H. Fraas , A. Freitas , P. Gambino , N. Ghodbane , R. M. Godbole , D. Goujdami , Ph. Gris , J. Guasch , M. Guchait , T. Hahn , S. Heinemeyer , A. Hektor , S. Hesselbach , W. Hollik , C. Hugonie , T. Hurth , J. Idarraga , O. Jinnouchi , J. Kalinowski , J. -L. Kneur , S. Kraml , M. Kadastik , K. Kannike , R. Lafaye , G. Landsberg , T. Lari , J. S. Lee , J. Lykken , F. Mahmoudi , M. Mangano , A. Menon , D. J. Miller , T. Millet , C. Milstene , S. Montesano , F. Moortgat , G. Moortgat-Pick , S. Moretti , D. E. Morrissey , S. Muanza , M. M. Muhlleitner , M. Muntel , H. Nowak , T. Ohl , S. Penaranda , M. Perelstein , E. Perez , S. Perries , M. Peskin , J. Petzoldt , A. Pilaftsis , T. Plehn , G. Polesello , A. Pompos , W. Porod , H. Przysiezniak , A. Pukhov , M. Raidal , D. Rainwater , A. R. Raklev , J. Rathsman , J. Reuter , P. Richardson , S. D. Rindani , K. Rolbiecki , H. Rzehak , M. Schumacher , S. Schumann , A. Semenov , L. Serin , G. Servant , C. H. Shepherd-Themistocleous , S. Sherstnev , L. Silvestrini , R. K. Singh , P. Slavich , M. Spira , A. Sopczak , K. Sridhar , L. Tompkins , C. Troncon , S. Tsuno , K. Wagh , C. E. M. Wagner , G. Weiglein , P. Wienemann , D. Zerwas , V. Zhukov

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 report summarizes the discussions and recommendations from the NSF Workshop on Algorithm-Hardware Co-design for Medical Applications, held on September 26-27, 2024, in Pittsburgh, PA. The workshop assembled an interdisciplinary cohort…

Emerging Technologies · Computer Science 2026-03-12 Peipei Zhou , Zheng Dong , Insup Lee , Aidong Zhang , Robert Dick , Majid Sarrafzadeh , Xiaodong Wu , Weisong Shi , Zhuoping Yang , Jingtong Hu , Yiyu Shi

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…

Logic in Computer Science · Computer Science 2012-11-16 Sandra Alves , Ian Mackie

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

Logic in Computer Science · Computer Science 2016-11-23 Ruzica Piskac , Rayna Dimitrova

The Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) was co-located with ETAPS 2009 in the city of York, England. The workshop took place on Sunday 22nd March 2009.…

Programming Languages · Computer Science 2010-02-09 Alastair R. Beresford , Simon Gay

This EPTCS volume contains the post-proceedings of the Twelfth International Workshop on Fixed Points in Computer Science, presenting a selection of the works presented during the workshop that took place in Naples (Italy) on the 19th and…

Logic in Computer Science · Computer Science 2025-11-04 Alexis Saurin

These are the proceedings of the Second Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013), which took place on March 24, 2013 in Rome, Italy, as a satellite event of the 16th European Joint Conferences on Theory and…

Data Structures and Algorithms · Computer Science 2013-12-30 Anton Wijs , Dragan Bošnački , Stefan Edelkamp

We present the activities of the "New Physics" working group for the "Physics at TeV Colliders" workshop (Les Houches, France, 30 May-17 June, 2011). Our report includes new agreements on formats for interfaces between computational tools,…

High Energy Physics - Phenomenology · Physics 2012-04-23 G. Brooijmans , B. Gripaios , F. Moortgat , J. Santiago , P. Skands , D. Albornoz Vásquez , B. C. Allanach , A. Alloul , A. Arbey , A. Azatov , H. Baer , C. Balázs , A. Barr , L. Basso , M. Battaglia , P. Bechtle , G. Bélanger , A. Belyaev , K. Benslama , L. Bergström , A. Bharucha , C. Boehm , M. Bondarenko , O. Bondu , E. Boos , F. Boudjema , T. Bringmann , M. Brown , V. Bunichev , S. Calvet , M. Campanelli , A. Carmona , D. G. Cerdeño , M. Chala , R. S. Chivukula , D. Chowdhury , N. D. Christensen , M. Cirelli , S. Cox , K. Cranmer , J. Da Silva , T. Delahaye , A. De Roeck , A. Djouadi , E. Dobson , M. Dolan , F. Donato , G. Drieu La Rochelle , G. Duda , C. Duhr , B. Dumont , J. Edsjö , J. Ellis , C. Evoli , A. Falkowski , M. Felcini , B. Fuks , E. Gabrielli , D. Gaggero , S. Gascon-Shotkin , D. K. Ghosh , A. Giammanco , R. M. Godbole , P. Gondolo , T. Goto , D. Grasso , P. Gris , D. Guadagnoli , J. F. Gunion , U. Haisch , L. Hartgring , S. Heinemeyer , M. Hirsch , J. Hewett , A. Ismail , T. Jeltema , M. Kadastik , M. Kakizaki , K. Kannike , S. Khalil , J-L. Kneur , M. Krämer , S. Kraml , S. Kreiss , J. Lavalle , R. Leane , J. Lykken , L. Maccione , F. Mahmoudi , M. Mangano , S. P. Martin , D. Maurin , G. Moreau , S. Moretti , I. Moskalenko , G. Moultaka , M. Muhlleitner , I. Niessen , B. O'Leary , E. Orlando , P. Panci , G. Polesello , W. Porod , T. Porter , S. Profumo , H. Prosper , A. Pukhov , A. Racioppi , M. Raidal , M. Rausch de Traubenberg , A. Renaud , J. Reuter , T. G. Rizzo , T. Robens , A. Y. Rodríguez-Marrero , P. Salati , C. Savage , P. Scott , S. Sekmen , A. Semenov , C. -L. Shan , C. Shepherd-Themistocleous , E. H. Simmons , P. Slavich , C. Speckner , F. Staub , A. Strong , R. Taillet , F. S. Thomas , M. C. Thomas , I. Tomalin , M. Tytgat , M. Ughetto , L. Valéry , D. G. E. Walker , A. Weiler , S. M. West , C. D. White , A. J. Williams , A. Wingerter , C. Wymant , J. -H. Yu , C. -P. Yuan , D. Zerwas

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 the 8th Workshop on Security Issues in Concurrency (SecCo 2010). The workshop was held in Paris, France on August 30th, 2010, as a satellite workshop of CONCUR'10. The aim of the SecCo workshop series…

Cryptography and Security · Computer Science 2011-02-28 Konstantinos Chatzikokolakis , Véronique Cortier

This volume contains the post-proceedings of the Thirteenth International Workshop on Graph Computation Models (GCM 2022). The workshop took place in Nantes, France on 6th July 2022 as part of STAF 2022 (Software Technologies: Applications…

Logic in Computer Science · Computer Science 2022-12-22 Reiko Heckel , Christopher M. Poskitt

This is the write-up of the talk I gave at the 23rd International Symposium on Mathematical Programming (ISMP) in Bordeaux, France, July 6th, 2018. The talk was a general overview of the state of the art of time-varying, mainly convex,…

Optimization and Control · Mathematics 2018-08-02 Andrea Simonetto

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

This volume contains * The post-proceedings of the Eighteenth Logical and Semantic Frameworks with Applications (LSFA 2023). The meeting was held on July 1-2, 2023, organised by the Sapienza Universit\`a di Roma, Italy. LSFA aims to bring…

Logic in Computer Science · Computer Science 2024-04-23 Temur Kutsia , Daniel Ventura , David Monniaux , José F. Morales

This volume contains the proceedings of PLACES 2023, the 14th 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 2023-04-13 Ilaria Castellani , Alceste Scalas
‹ Prev 1 2 3 10 Next ›