Im Rahmen des BMBF-geförderten Metavorhabens „Digitalisierung im Bildungsbereich“ ist das Deutsche Institut für Erwachsenenbildung verantwortlich für die Gestaltung eines regelmäßigen Dialogs zwischen Wissenschaft und Praxis der Erwachsenenbildung.
The goal of IFRR is to promote the development of robotics as a scientific field establishing the theoretical foundations and technology basis for its ever expanding applications, with emphasis on its potential role to benefit humans. The Foundation was formally established in 1986 following the success of a series of pioneering symposia that were conceived to provide the emerging community with a forum entirely devoted to all areas of robotics research.The School of Robotics Science is a joint initiative promoted by the IFRR and the IEEE-RAS with the aim of providing a selected number of robotics students and young researchers with an educational opportunity of the highest scientific level, which shall represent a fundamental milestone in their careers and will enable them to feed and grow their potential to become the top robotics scientists world-wide.
M. Kokorsch, and G. Dietl. Proceedings of the International ITG 26th Workshop on Smart Antennas and 13th Conference on Systems, Communications, and Coding, WSA & SCC 2023, Braunschweig, Germany, (February 2023)
A. Balasubramanian, J. Esparza, and M. Raskin. Foundations of Software Science and Computation Structures - 24th International Conference, volume 12650 of Lecture Notes in Computer Science, page 42--61. Springer, (2021)
A. Balasubramanian. 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), volume 213 of Leibniz International Proceedings in Informatics (LIPIcs), page 35:1--35:16. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian, and K. Thejaswini. 32nd International Conference on Concurrency Theory (CONCUR 2021), volume 203 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:15. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2021)
A. Balasubramanian. 33rd International Conference on Concurrency Theory (CONCUR 2022), volume 243 of Leibniz International Proceedings in Informatics (LIPIcs), page 17:1--17:19. Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, (2022)
R. Becker, A. Casteigts, P. Crescenzi, B. Kodric, M. Renken, M. Raskin, and V. Zamaraev. Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA, volume 275 of LIPIcs, page 29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)https://arxiv.org/abs/2205.14888.
R. Guttenberg, M. Raskin, and J. Esparza. 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, volume 279 of LIPIcs, page 6:1--6:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)
E. Couillard, P. Czerner, J. Esparza, and R. Majumdar. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, volume 13966 of Lecture Notes in Computer Science, page 437--458. Springer, (2023)
A. Balasubramanian, L. Guillou, and C. Weil-Kennedy. Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, volume 13242 of Lecture Notes in Computer Science, page 61--80. Springer, (2022)