 |
||
| When: Mar 23, 2020 - Mar 27, 2020 Submission Deadline: Oct 14, 2019 | ||
| • ICST 2020 • 13th IEEE Conference on Software Testing, Validation and Verification • 23–27 March 2020 | Porto, Portugal • ICST 2020 is intended to provide a common forum for... | ||
| SOFTWARE TESTING VERIFICATION | ||
 |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 18, 2019 | ||
| TAPAS 2019 • http://staticanalysis.org/tapas2019/ • A satellite workshop of SAS 2019. Part of the FM Week. • Objectives • In recent years, a wide range of static analysis tools... | ||
| SOFTWARE ENGINEERING SEMANTICS STATIC ANALYSIS TOOLS REUSABLE SOFTWARE INFRASTRUCTU | ||
 |
||
| When: Oct 23, 2019 - Oct 25, 2019 Submission Deadline: Jun 30, 2019 | ||
| “ARTECH 2019 – Digital Media Art Ecosystems” is the 9th International Conference on Digital and Interactive Arts, this time hosted in the city of Braga, Portugal. The goal of the conference is t... | ||
| MEDIA ART ART AND TECHNOLOGY DIGITAL MEDIA DIGITAL AESTHETICS | ||
 |
||
| When: Apr 14, 2020 - Apr 17, 2020 Submission Deadline: Oct 1, 2019 | ||
| • ECIR 2020 :: 42nd European Conference on Information Retrieval • http://www.ecir2020.org/ • Lisbon • April 14 -17, 2020 • ===================== • The European Con... | ||
| INFORMATION RETRIEVAL | ||
|
|
||
| When: Oct 14, 2019 - Oct 17, 2019 Submission Deadline: May 10, 2019 | ||
| The contributions of this special session are focused on Artificial Intelligence • (AI) approaches applied to the industry 4.0 framework, specifically recent • advances and developments in... | ||
| ARTIFICIAL INTELLIGENCE INDUSTRY 4.0 MAINTENANCE | ||
 Overture 2019 : The 17th Overture Workshop on VDMPorto, Portugal |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jun 16, 2019 | ||
| The 17th Overture Workshop will be held on 08 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019). • The 17th Overture Workshop is the latest in a series of wo... | ||
| FORMAL METHODS SOFTWARE MODELLING MBSE | ||
 |
||
| When: Oct 16, 2019 - Oct 18, 2019 Submission Deadline: Apr 30, 2019 | ||
| Image Processing and Machine Learning techniques play a fundamental role in the analysis of biomedical data. Computer Aided Detection and Diagnosis tools have the potential to greatly improve several ... | ||
| COMPUTER VISION IMAGE PROCESSING BIOMEDICAL COMPUTER SCIENCE | ||
 Phototravel-2019 2019 : Photography and Travel International ConferenceFunchal, Madeira Island, Portugal |
||
| When: Oct 24, 2019 - Oct 25, 2019 Submission Deadline: Jun 15, 2019 | ||
| Call for Papers • Photography and Travel • Since it appeared in 1839 photographic camera was, at least for an elite, a major companion for traveling. Even its historical beginning in Engla... | ||
| XIX CENTURY PHOTOGRAPHY TRAVEL LANDSCAPE PHOTOGRAPHY PHOTOGRAPHY AND TRAVEL | ||
|
|
||
| When: Oct 16, 2019 - Oct 18, 2019 Submission Deadline: Jun 15, 2019 | ||
| Scope • The Central Theme The central theme of the TIE 2019 Conference is innovation, with a special focus on emerging technologies for education, creativity, entertainment, well being, arts, an... | ||
| INNOVATION EDUCATION ENTREPRENEURSHIP CREATIVITY | ||
 |
||
| When: Oct 16, 2019 - Oct 18, 2019 Submission Deadline: May 1, 2019 | ||
| Scope • Digitization, and its underlying technologies, emerged as a most valuable asset for cities to become ‘smart’, i.e. able to manage efficiently and creatively their resources, improve ... | ||
| SMART GOVERNANCE SMART CITIES SUSTAINABILITY BIG DATA | ||
 |
||
| When: Oct 7, 2019 - Oct 7, 2019 Submission Deadline: Jun 25, 2019 | ||
| F-IDE - 5th Workshop on Formal Integrated Development Environments • https://fideworkshop2019.inesctec.pt • part of FM Week 2019 (http://formalmethods2019.inesctec.pt/?page_id=84) • ... | ||
| FORMAL METHODS IDE | ||
ICSR 2019 : The 8th International Conference on Social Responsibility, Ethics and Sustainable BusinessUniversity of Minho, Braga, Portugal |
||
| When: Oct 24, 2019 - Oct 25, 2019 Submission Deadline: Jun 15, 2019 | ||
| The 8th International Conference on Social Responsibility, Ethics and Sustainable Business • Theme: Corporate responsibility, sustainability & markets • University of Minho, Braga, Portuga... | ||
| SOCIAL RESPONSIBILITY ETHICS MARKETS SUSTAINABILITY | ||
|
|
||
| When: Oct 16, 2019 - Oct 18, 2019 Submission Deadline: May 1, 2019 | ||
| • Scope • Intelligent Transport Systems (ITS) are vital to increase efficiency, safety, mobility, and tackle Europe’s growing emissions and congestion problems. ITS can make transport sa... | ||
| ELECTRIC VEHICLES AUTONOMOUS CARS TRAFFIC MANAGEMENT | ||
 CBR 2020 : Bicentenary of the 1820 Revolution International CongressLisbon, Portugal |
||
| When: Oct 12, 2020 - Oct 14, 2020 Submission Deadline: Jun 30, 2019 | ||
| Bicentenary of the 1820 Revolution • International Congress • Lisbon, 12-14 October 2020 • The Bicentenary of the 1820 Revolution presents both an opportunity and a challenge to revi... | ||
| PORTUGUESE HISTORY EUROPEAN HISTORY LIBERALISM REVOLUTIONS | ||
FMAS 2019 : Formal Methods for Autonomous SystemsPorto, Portugal |
||
| When: Oct 7, 2019 - Oct 11, 2019 Submission Deadline: May 30, 2019 | ||
| ## Workshop: Formal Methods for Autonomous Systems (FMAS) • #### **A satellite workshop of Formal Methods 2019** • This one day workshop will bring together researchers working on a range ... | ||
| FOAML METHODS AUTONOMOUS SYSTEMS SAFETY-CRITICAL ROBOTICS | ||
|
|
||
| When: Oct 7, 2019 - Oct 9, 2019 Submission Deadline: May 8, 2019 | ||
| ***************************************************************** • VECoS 2019 • Call for Papers • 13th International Conference on • Verification and Evaluation of Computer an... | ||
| FORMAL METHODS MODEL-CHECKING CRITICAL SYSTEMS VERIFICATION | ||
|
|
||
| When: Oct 7, 2019 - Oct 9, 2019 Submission Deadline: May 3, 2019 | ||
| ... | ||
| LANGUAGE DESIGN IMPLEMENTATIONS ANALYSIS AND TRANSFORMATION TOOLS AND APPLICATIONS | ||
FMIS 2019 : 8th Formal Methods for Interactive SystemsPorto, Portugal |
||
| When: Oct 7, 2019 - Oct 7, 2019 Submission Deadline: Jun 21, 2019 | ||
| Reducing the risk of human error in the use of interactive systems is increasingly recognised as a key objective in contexts where safety, security, financial or similar considerations are important. ... | ||
| FORMAL METHODS INTERACTIVE SYSTEMS | ||
|
|
||
| When: Oct 7, 2019 - Oct 11, 2019 Submission Deadline: Apr 11, 2019 | ||
| FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for s... | ||
| FORMAL METHODS | ||
|
|
||
| When: Oct 7, 2019 - Oct 9, 2019 Submission Deadline: Apr 13, 2018 | ||
| • VECoS 2019 will be held in Porto, Portugal from 7-9 october 2019 and is co-located with the International Symposium on Formal Methods, FM 2019. • The International Conference on Verifica... | ||
| FORMAL METHODS VERIFICATION PERFORMANCE | ||
Find and Compare Upcoming Events in Portugal in October. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
