Logic and Argumentation : Third International Conference,CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings
Service-Oriented and Cloud Computing : 8th IFIP WG 2.14 European Conference,ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings
Foundations and Practice of Security : 12th International Symposium,FPS 2019, Toulouse, France, November 5-7, 2019, Revised Selected Papers
Integer Programming and Combinatorial Optimization : 21st International Conference,IPCO 2020, London, UK, June 8-10, 2020, Proceedings
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Developments in Language Theory : 24th International Conference,DLT 2020, Tampa, FL, USA, May 11-15, 2020, Proceedings
Engineering Psychology and Cognitive Ergonomics. Mental Workload,Human Physiology, and Human Energy : 17th International Conference, EPCE 2020, Held
Pattern Recognition : 12th Mexican Conference,MCPR 2020, Morelia, Mexico, June 24-27, 2020, Proceedings
Benchmarking,Measuring, and Optimizing : Second BenchCouncil International Symposium, Bench 2019, Denver, CO, USA, November 14-16, 2019, Revised Sele
Formal Techniques for Distributed Objects,Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th I
Graph Transformation : 13th International Conference,ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings
Beyond the Horizon of Computability : 16th Conference on Computability in Europe,CiE 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings
