DisCoTec 2023 - 18th International Federated Conference on Distributed Computing Techniques

DisCoTec 2023 is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). It gathers conferences and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches.

DisCoTec 2023 will take place at the NOVA University Lisbon, between June 19-23, 2023.

Conferences

Proceedings

Programme

Go to the programme page.

Important Dates

Keynote Speakers

Accepted Papers

Go to the list of accepted papers.

Conference Venue

Colégio Almada Negreiros
NOVA University Lisbon
Campus de Campolide, 1099-085 Lisboa

Map

Welcome reception venue

ROOFTOP Bar - Hotel Mundial
Hotel Mundial, Praça Martim Moniz 2, 1100-341, Mouraria, Lisboa

Dinner venue

Restaurant Sacramento do Chiado
Calçada Sacramento 44
1200-394 Lisboa, Portugal

How to get from the airport to the conference venue

Subway (Metro)

The nearest metro station to NOVA is São Sebastião (700m, 9 min walking distance) The red line directly connects Lisbon Airport to the metro station São Sebastião.

The subway (Metro) network diagram can be found here.

Accommodations

You can find several hotels nearby the conference venue here.

Registration

Go to the registration page.

Satellite Events

DisCoTec 2023 gathers tutorials and workshops that cover a broad spectrum of distributed computing subjects — from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The pre-conference workshop and tutorials will take place on Monday, June 19, 2023, and post-conference tutorials on Friday, June 23, 2023.

Tutorials

Workshops

Proceedings

The proceedings of the conferences are published in LNCS-IFIP volumes. These shall be open access from the IFIP digital library after a 3-year embargo.

Special issues

The individual conferences will organise special issues of extended and selected papers in reputable journal such as Logical Methods in Computer Science and of Science of Computer Programming’s Software Track for tool papers.

Scientific Committees

Coordination Program Committee Chairs

DAIS Program Committee Chairs

FORTE Program Committee Chairs

DisCoTec Artefact Evaluation Chair

Organising Committee

Steering Committee

Advisory board

Further information

For further information please contact the general chair at carla.ferreira@fct.unl.pt.

Follow us on @DisCoTecConf to keep up to date.

Sponsors & Supporters

IFIP logo        
eapls-logo        
novalincs-logo