The 6th Dutch national symposium on Software Engineering took place on Friday 31 January 2020 at the CWI in Amsterdam.
Rinus Plasmeijer, co-founder of TOP Software Technology, was one of the professors who received an award certificate from the chair, prof. Marieke Huisman, in recognition of his foundational contributions to the software research community.
25-9-2019 - 27-9-2019
Several TOP related papers have been presented at the 31st international symposium on Implementation and Application of Functional Languages (IFL 2019) at the National University of Singapore.
Mart Lubbers from the Radboud University Nijmegen gave a talk on mTasks titled "Interpreting Task Oriented Programs on Tiny Computers".
Nico Naus from the University of Utrecht presented "A symbolic execution semantics for TopHat". TopHat defines a formal semantics for a subset of TOP.
Rinus Plasmeijer of TOP Software Technology presented "Lazy Interworking of Compiled and Interpreted Code for Sandboxing and Distributed Systems", work of Camil Staps and John van Groningen which technology is being used to execute TOP code in browsers.
iTasks and mTasks are being used to explore a better integration of software and hardware for the Smart Campus of the University of Glasgow.
5-7-2020 - 9-10-2020 (update)
The first outcome of this research has been presented at the 10th International Conference on the Internet of Things (IoT 20) held in Malmö, Sweden.
Due to the Covid 19 crisis, it was an online event.
Mart Lubbers from the Radboud UniversityNijmegen presented a paper with title: Tiered versus Tierless IoT Stacks: Comparing Smart Campus Software Architectures.
In the paper the advantages are explained of using the TOP mTask iTask approach over traditional approaches.
It concludes that the TOP approach improves software quality, dramatically reduces development time, and improves the maintainability.
The annual Dutch Functional Languages Day was held this year for the 27th year in a row in Breda. It was organized by the Dutch Defence Academy (NLDA).
Almost 70 participants, from industry as well as from university, attended the conference.
There were two presentations about iTasks and TOP.
Haye Böhm talked about the asynchronous sharing of information between iTasks clients and distributed iTask servers.
Tim Steenvoorden presented TOPHAT, a formal calculus for TOP.
We celibrated the foundation of TOP Software Technology B.V. together with the research team of the Software Technology group of the Radboud University, the architects and developers of Clean, iTasks and mTasks.
Prof. Rinus Plasmeijer, CEO and co-founder of TOP Software Technology, gave a presentation at Ericcson in Budapest
with the title:
The iTask System: An Infrastructure for the Internet of Everything
Ericsson R&D lab, Budapest, Hungary.