...the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems.
...actical implementations of distributed systems, as well as experimentation and quantitative assessments.
...
2 KB (299 words) - 09:51, 8 April 2020
* automata and formal languages
* design and analysis of algorithms
...
1 KB (156 words) - 10:17, 15 April 2021
|Title=9th System Analysis and Modelling Conference
|Series=System Analysis and Modeling
...
2 KB (266 words) - 07:07, 2 May 2016
|Title=28th International Conference on Software Engineering and Knowledge Engineering
* Embedded and ubiquitous software engineering
...
4 KB (490 words) - 07:38, 23 April 2020
...alysis of algorithms; computational complexity; approximation, randomized, and
...uting; circuits and boolean functions; online algorithms; machine learning and artificial
...
2 KB (282 words) - 09:28, 21 April 2021
* algorithm design and optimization
* combinatorics and analysis of algorithms
...
3 KB (324 words) - 10:01, 21 April 2021
|Title=18th International Conference on Knowledge and Software Engineering
...he conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interes
...
3 KB (352 words) - 04:14, 20 September 2016
|Title=30th International Conference on Software Engineering and Knowledge Engineering
...ART COMPLETELY - You can just paste in the call for papers and remove this and the last line
...
5 KB (608 words) - 11:03, 15 April 2020
*automata and formal languages
*design and analysis of algorithms
...
2 KB (245 words) - 09:54, 16 April 2021
...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s
...gineering discipline, including its interaction with and impact on society and economics;
...
2 KB (301 words) - 12:34, 4 June 2019
|Title=International Conference on Advances in Circuits, Electronics and Micro-electronics
...ll structured mobile networks; Heterogeneous optical networks; 5G wireless and mm-Wave systems; Cognitive radars; Signal processing for crowd dynamics; Sm
...
5 KB (556 words) - 13:23, 14 January 2021
|Title=46th International Colloquium on Automata, Languages, and Programming
The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
...
4 KB (556 words) - 04:42, 26 August 2020
* algorithm design and optimization
* approximation, randomized, and heuristic methods
...
3 KB (425 words) - 12:12, 22 April 2021
| Title = Design, Automation & Test in Europe
Conference and Exhibition: March 8-12, 2010
...
5 KB (606 words) - 07:37, 26 November 2025
...niques and methodologies have been proposed in the literature, researchers and developers are still faced with fundamental questions attaining MAS enginee
* How to specify, design, implement, verify, test, validate and evolve MAS?
...
8 KB (1,092 words) - 10:49, 22 April 2020
Co-located with IJCAI/ECAI, AAMAS, and ICML 2018
...t systems, declarative agent languages and technologies, machine learning, and AI in general.
...
6 KB (863 words) - 13:29, 18 June 2020
|Title=International Colloquium on Automata Languages and Programming
The 47th International Colloquium on Automata, Languages and Programming (ICALP) 2020
...
4 KB (602 words) - 04:44, 26 August 2020
|Title=International Conference on Advances in Circuits, Electronics and Micro-electronics
...e Thirteenth International Conference on Advances in Circuits, Electronics and Micro-electronics
...
8 KB (908 words) - 13:13, 14 January 2021
In Cooperation with: IEICE, SWIM and AAAI
INSTICC is Member of: OMG and WfMC
...
6 KB (818 words) - 11:40, 3 September 2017