Oceania III - FormaliSE 2026

VenueWindsor Convention Center and Hotels

Room nameOceania III

Floor0

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-03:00) Brasilia, Distrito Federal, Brazil.

Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, BrazilSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Controlled ExperimentsWSESE at Oceania III

09:00 15m Day opening		Welcome by the Organizers WSESE Patricia Lago Vrije Universiteit Amsterdam, Silvia Abrahão Universitat Politècnica de València, Sira Vegas Universidad Politecnica de Madrid
09:15 50m Keynote		We don’t know how to best use LLMs for qualitative analysis… But maybe we know how not to WSESE Carolyn Seaman University of Maryland Baltimore County
10:05 18m Full-paper		Towards an OSF-based Registered Report Template for Software Engineering Controlled ExperimentsTechnical Paper WSESE Ana B. M. Bett State University of Maringá, Thais S. Nepomuceno State University of Maringá, Edson OliveiraJr State University of Maringá, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Valdemar Graciano Neto Federal University of Goiás, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
10:23 7m Panel		Discussion of Controlled Experiments WSESE

11:00 - 12:30	Qualitative StudiesWSESE at Oceania III

11:00 18m Full-paper		On the Use of Large Language Models for Qualitative SynthesisTechnical Paper WSESE Sebastián Pizard Universidad de la República, Ramiro Moreira Universidad de la República, Federico Galiano Universidad de la República, Ignacio Sastre Universidad de la República, Lorena Etcheverry Universidad de la República Pre-print
11:18 18m Full-paper		LLM-Assisted Thematic Analysis: Opportunities, Limitations, and RecommendationsTechnical Paper WSESE Tatiane Ornelas Martins Alves Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Allysson Allex Araújo Federal University of Cariri, Júlia Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marina Condé Araújo Department of Informatics - Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Bianca Trinkenreich Colorado State University, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
11:36 18m Full-paper		An Investigation on How AI-Generated Responses Affect Software Engineering SurveysTechnical Paper WSESE Ronnie de Souza Santos University of Calgary, Italo Santos University of Hawai‘i at Mānoa, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Mairieli Wessel Radboud University Pre-print
11:54 14m Vision and Emerging Results		OLAF: Towards Robust LLM-Based Annotation Framework in Empirical Software EngineeringVision / Position Paper WSESE Mia Mohammad Imran Missouri University of Science and Technology, Tarannum Shaila Zaman University of Maryland Baltimore County Pre-print
12:08 22m Panel		Discussion of Qualitative Studies WSESE

14:00 - 15:30	SE Problems and TheoriesWSESE at Oceania III

14:00 18m Full-paper		Operationalizing Software Engineering Theories for Practical ValidationTechnical Paper WSESE Isaque Alves University of Brasilia (UnB), Fabio Kon University of São Paulo, Jessica Díaz Universidad Politécnica de Madrid, Carla Silva Rocha Aguiar University of Brasilia (UnB)
14:18 18m Full-paper		Attributes to Support the Formulation of Practically Relevant Research Problems in Software EngineeringTechnical Paper WSESE Anrafel Fernandes Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Daniel Mendez Blekinge Institute of Technology and fortiss, Jürgen Börstler Blekinge Institute of Technology, Nauman bin Ali Blekinge Institute of Technology, Rahul Mohanani University of Jyväskylä, Darja Šmite Blekinge Institute of Technology, Stefan Biffl Vienna University of Technology, Rogardt Heldal Western Norway University of Applied Science, Davide Falessi University of Rome Tor Vergata, Italy, Daniel Graziotin University of Hohenheim, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
14:36 14m Vision and Emerging Results		Towards AI Agents Supported Research Problem FormulationVision / Position Paper WSESE Anrafel Fernandes Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Daniel Mendez Blekinge Institute of Technology and fortiss, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Pre-print
14:50 16m Experience report		A Community Roadmap for Meta-Research and Knowledge Transfer in Software EngineeringExperience report / Work-in-Progress WSESE Angelika Kaplan Karlsruhe Institute of Technology (KIT), Martin Armbruster Karlsruhe Institute of Technology (KIT), Jan Bernoth University of Potsdam, Marco Konersmann Software Engineering, RWTH Aachen University, Jan Keim Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
15:06 24m Panel		Discussion of SE Problems and Theories WSESE

16:00 - 17:30	Secondary StudiesWSESE at Oceania III

16:00 16m Experience report		Multivocal Literature Reviews in Emergent Research Areas: An Experience ReportExperience report / Work-in-Progress WSESE Lidia López Universitat Politècnica de Catalunya, Spain, Carles Farré Universitat Politècnica de Catalunya, Razieh Akbarilalaei Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya
16:16 18m Full-paper		A Sustainable Data Extraction Documentation Process for Literature StudiesTechnical Paper WSESE Angelika Kaplan Karlsruhe Institute of Technology (KIT), Marco Konersmann Software Engineering, RWTH Aachen University, Thomas Kühn Martin-Luther-University Halle-Wittenberg, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Ralf Reussner Karlsruhe Institute of Technology (KIT) and FZI - Research Center for Information Technology (FZI)
16:34 16m Experience report		On the Use of a Large Language Model to Support the Conduction of a Systematic Mapping Study: A Brief Report from a Practitioner’s ViewExperience report / Work-in-Progress WSESE Cauã Ferreira Barros Federal University of Goiás, Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Mohamad Kassab Boston University, Valdemar Graciano Neto Federal University of Goiás Pre-print
16:50 20m Panel		Discussion of Secondary Studies WSESE
17:10 20m Day closing		Closing WSESE Patricia Lago Vrije Universiteit Amsterdam, Silvia Abrahão Universitat Politècnica de València, Sira Vegas Universidad Politecnica de Madrid

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30	Session 1SERS at Oceania III

09:00 10m Day opening		Welcome and Introduction to SERS 2026 SERS Jeffrey C. Carver University of Alabama, Myra Cohen Iowa State University, Stephan Druskat German Aerospace Center (DLR), Nasir Eisty University of Tennessee-Knoxville, Alfredo Goldman University of São Paulo, Daniel S. Katz University of Illinois Urbana-Champaign, Reed Milewicz Sandia National Laboratories
09:10 35m Talk		Software Engineering and Research Software: Introduction and Collaboration Guidelines SERS Reed Milewicz Sandia National Laboratories, Nasir Eisty University of Tennessee-Knoxville, Jeffrey C. Carver University of Alabama, Myra Cohen Iowa State University, Stephan Druskat German Aerospace Center (DLR), Alfredo Goldman University of São Paulo, Daniel S. Katz University of Illinois Urbana-Champaign
09:45 12m Talk		SWEBOK & Research Software SERS Hironori Washizaki Waseda University
09:57 11m Talk		Understanding the Impact of Research Software Engineers on Scientific Software Development: A Mixed-Methods Study SERS Thomas Bock Carnegie Mellon University, Will Sutherland University of Washington, Curtis Atkisson University of Washington, Anissa Tanweer University of Washington, James Herbsleb Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University Pre-print
10:08 11m Talk		Evaluating ML Methods for Classifying RSE Personas on GitHub SERS Felicity Anderson EPCC, University of Edinburgh, Julien Sindt EPCC, University of Edinburgh, Neil Chue Hong Software Sustainability Institute, EPCC, University of Edinburgh
10:19 11m Talk		The Shared Language of Crowds: A Crowd sourced Approach to Mapping Research Software Engineering and Software Engineering Research Terminology SERS Timo Kehrer University of Bern, Robert Haines University of Manchester, Guido Juckeland Helmholtz-Zentrum Dresden Rossendorf, Shurui Zhou University of Toronto, David Bernholdt Oak Ridge National Laboratory

11:00 - 12:30	Session 2SERS at Oceania III

11:00 11m Talk		Building Better Research Software (Are you sure?): Why Technical Refactoring Does Not Lead To Software Quality SERS Adam Byrne University of Limerick, Daniel Kennedy University of Limerick, Mark Langtry University of Limerick, Art Oliathain University of Limerick, Dominick Stephens University of Limerick, Birgit Penzenstadler Chalmers Tekniska Högskola and Gothenburg University and Lappenranta University of Technology, Colin C. Venters European Organization for Nuclear Research (CERN)
11:11 11m Talk		Metamorphic Testing of Research Software with GeoMetaMorph SERS Sebastian Müller University of Potsdam
11:22 11m Talk		Testing Research Software using International Standards and Practices SERS Satoshi Masuda Tokyo City University, Jon D. Hagar Grand Software Testing, LLC, Hot Sulphur Springs, CO, Tomohiro Takeda Tokyo City University, Toshiharu Kato Tsukuba University, Research group on business informatics on social science
11:33 11m Talk		WiRCA: Categorizing Research Software Code Based on Its Purpose SERS Constantin Buschhaus RWTH Aachen University, Alexander Hellwig RWTH Aachen University, Bernhard Rumpe RWTH Aachen University
11:44 11m Talk		Evolving Research Software: an Experience Report SERS Matias Ignacio Gonzalez Universidad de Buenos Aires, Nicolas Paez Universidad Nacional de Tres de Febrero
11:55 11m Talk		Managing Reproducibility Debt in Scientific Software: A Practical Framework SERS Zara Hassan Australian National University, Christoph Treude Singapore Management University, Graham Williams Australian National University, Michael Norrish Australian National University, Alex Potanin Australian National University
12:06 11m Talk		Enhancing Understandability and Transparency of Research Software: Tracing Research to Code SERS Adrian Bajraktari University of Cologne, Andreas Vogelsang paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen
12:17 13m Talk		Application of Technology Readiness Level to Research Software SERS Tobias Schlauch German Aerospace Center (DLR), Carina Haupt German Aerospace Center (DLR)

14:00 - 15:30	Session 3SERS at Oceania III

14:00 11m Talk		Challenge: What Does Context Mean for Research Software? SERS Jan Bernoth University of Potsdam, Michael Goedicke paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Essen
14:11 11m Talk		Transforming legacy Research Software into Free Software: Early impressions from Participant Observation SERS Júlia Calixto University of São Paulo, Giovanna Uchoa University of São Paulo, Alexandre Abdo University of São Paulo, Paulo Meirelles University of São Paulo
14:22 11m Talk		Debian: A sustainable ecosystem for the distribution and use of Research Software SERS Joenio Marques da Costa Federal University of Bahia, Institute of Computing, Christina von Flach Federal University of Bahia
14:33 11m Talk		Adding Workflow to a Workbench for Digital Geosystems for a more agile Research Software Engineering approach SERS Alex Lüpges RWTH Aachen University, Bernhard Rumpe RWTH Aachen University, Jan von Harten RWTH Aachen University, Florian Wellman RWTH Aachen University, Marzieh Baes GFZ German Research Centre for Geosciences, Mauro Cacace GFZ German Research Centre for Geosciences, Denise Degen GFZ German Research Centre for Geosciences, Magdalena Scheck-Wenderoth GFZ German Research Centre for Geosciences, Jan Niederau Fraunhofer Research Institution for Energy Infrastructures and Geotechnologies IEG, Tobias Rolf Fraunhofer Research Institution for Energy Infrastructures and Geotechnologies IEG, Nora Koltzer Fraunhofer Research Institution for Energy Infrastructures and Geotechnologies IEG
14:44 11m Talk		Finding RSEs: Challenges in Recruiting Research Software Engineers for Research SERS Minhyuk Ko Virginia Tech, Shawal Khalid Virginia Tech, Chris Brown Virginia Tech
14:55 11m Talk		Software Engineering for Renewable Energy Research — Towards a Research Agenda SERS Yvonne Dittrich IT University of Copenhagen, Kaushik Das Technical University of Denmark, Rujie Zhu Technical University of Denmark
15:06 11m Talk		Automated Ontology Construction: An AI Framework for Research Software Engineering SERS Siamak Farshidi Wageningen University & Research, Kwabena Ebo Bennin Wageningen University & Research, Bedir Tekinerdogan Wageningen University & Research
15:17 13m Other		Introduction to Breakout Groups SERS Jeffrey C. Carver University of Alabama, Myra Cohen Iowa State University, Stephan Druskat German Aerospace Center (DLR), Nasir Eisty University of Tennessee-Knoxville, Alfredo Goldman University of São Paulo, Daniel S. Katz University of Illinois Urbana-Champaign, Reed Milewicz Sandia National Laboratories

16:00 - 17:30	Session 4: Collaboration in Breakout GroupsSERS at Oceania III

16:00 60m Other		Collaboration in Breakout Groups SERS
17:00 25m Other		Plenary Discussion: Next Steps in Software Engineering and Research Software SERS
17:25 5m Day closing		Closing Remarks SERS Jeffrey C. Carver University of Alabama

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30	Newcomers SpeedNetworkingICSE Social, Networking and Special Rooms at Oceania III A speed networking session designed for newcomers to ICSE 2026. This is a great opportunity to meet other attendees, make new connections, and get the most out of your conference experience.

11:00 90m Meeting		Newcomers SpeedNetworking ICSE Social, Networking and Special Rooms

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania III	MSSiS																								MSSiS																																				MSSiS																								MSSiS

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania III	WSESE Controlled Experiments																								WSESE Qualitative Studies																																				WSESE SE Problems and Theories																								WSESE Secondary Studies

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Oceania III	SERS Session 1																								SERS Session 2																																				SERS Session 3																								SERS Session 4: Collaboration in Breakout Groups

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00						30						12:00						30
Oceania III	ICSE Social, Networking and Special Rooms Newcomers SpeedNetworking

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania III	WSESE Welcome by the Organizers 09:00 - 09:15			WSESE We don’t know how to best use LLMs for qualitative analysis… But maybe ... 09:15 - 10:05										WSESETechnical Paper Towards an OSF-based Registered Report Template for Software Engineerin ... 10:05 - 10:23				WSESE Discussion of Controlled Experiments 10:23 - 10:30							WSESETechnical Paper On the Use of Large Language Models for Qualitative Synthesis 11:00 - 11:18				WSESETechnical Paper LLM-Assisted Thematic Analysis: Opportunities, Limitations, and Recomme ... 11:18 - 11:36			WSESETechnical Paper An Investigation on How AI-Generated Responses Affect Software Engineer ... 11:36 - 11:54				WSESEVision / Position Paper OLAF: Towards Robust LLM-Based Annotation Framework in Empirical Softwa ... 11:54 - 12:08			WSESE Discussion of Qualitative Studies 12:08 - 12:30																						WSESETechnical Paper Operationalizing Software Engineering Theories for Practical Validation 14:00 - 14:18				WSESETechnical Paper Attributes to Support the Formulation of Practically Relevant Research ... 14:18 - 14:36			WSESEVision / Position Paper Towards AI Agents Supported Research Problem Formulation 14:36 - 14:50			WSESEExperience report / Work-in-Progress A Community Roadmap for Meta-Research and Knowledge Transfer in Softwar ... 14:50 - 15:06			WSESE Discussion of SE Problems and Theories 15:06 - 15:30											WSESEExperience report / Work-in-Progress Multivocal Literature Reviews in Emergent Research Areas: An Experience ... 16:00 - 16:16			WSESETechnical Paper A Sustainable Data Extraction Documentation Process for Literature Studies 16:16 - 16:34				WSESEExperience report / Work-in-Progress On the Use of a Large Language Model to Support the Conduction of a Sys ... 16:34 - 16:50			WSESE Discussion of Secondary Studies 16:50 - 17:10				WSESE Closing 17:10 - 17:30

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Oceania III	SERS Welcome and Introduction to SERS 2026 09:00 - 09:10		SERS Software Engineering and Research Software: Introduction and Collaborat ... 09:10 - 09:45							SERS SWEBOK & Research Software 09:45 - 09:57		SERS Understanding the Impact of Research Software Engineers on Scientific S ... 09:57 - 10:08			SERS Evaluating ML Methods for Classifying RSE Personas on GitHub 10:08 - 10:19		SERS The Shared Language of Crowds: A Crowd sourced Approach to Mapping Rese ... 10:19 - 10:30								SERS Building Better Research Software (Are you sure?): Why Technical Refact ... 11:00 - 11:11		SERS Metamorphic Testing of Research Software with GeoMetaMorph 11:11 - 11:22		SERS Testing Research Software using International Standards and Practices 11:22 - 11:33 WiRCA: Categorizing Research Software Code Based on Its Purpose 11:33 - 11:44					SERS Evolving Research Software: an Experience Report 11:44 - 11:55		SERS Managing Reproducibility Debt in Scientific Software: A Practical Framework 11:55 - 12:06		SERS Enhancing Understandability and Transparency of Research Software: Trac ... 12:06 - 12:17		SERS Application of Technology Readiness Level to Research Software 12:17 - 12:30																					SERS Challenge: What Does Context Mean for Research Software? 14:00 - 14:11		SERS Transforming legacy Research Software into Free Software: Early impress ... 14:11 - 14:22		SERS Debian: A sustainable ecosystem for the distribution and use of Researc ... 14:22 - 14:33 Adding Workflow to a Workbench for Digital Geosystems for a more agile ... 14:33 - 14:44					SERS Finding RSEs: Challenges in Recruiting Research Software Engineers for ... 14:44 - 14:55		SERS Software Engineering for Renewable Energy Research — Towards a Research ... 14:55 - 15:06		SERS Automated Ontology Construction: An AI Framework for Research Software ... 15:06 - 15:17		SERS Introduction to Breakout Groups 15:17 - 15:30									SERS Collaboration in Breakout Groups 16:00 - 17:00												SERS Plenary Discussion: Next Steps in Software Engineering and Research Sof ... 17:00 - 17:25					SERS Closing Remarks 17:25 - 17:30

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change


Room	11:00			15			30			45			12:00			15			30			45
Oceania III	ICSE Social, Networking and Special Rooms Newcomers SpeedNetworking 11:00 - 12:30

Room information: Oceania III

This program is tentative and subject to change.

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

MSSiS

MSSiS

MSSiS

MSSiS

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

WSESE

WSESE

WSESE

WSESE

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

SERS

SERS

SERS

SERS

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Social, Networking and Special Rooms

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tracks

Room information: Oceania III

This program is tentative and subject to change.

Program Display Configuration

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

MSSiS

MSSiS

MSSiS

MSSiS

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

WSESE

WSESE

WSESE

WSESE

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

SERS

SERS

SERS

SERS

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

ICSE Social, Networking and Special Rooms

Mon 13 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 AprDisplayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Sun 12 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Tue 14 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr
Displayed time zone: Brasilia, Distrito Federal, Brazil change