 LearnAut 2024 : Learning and AutomataTallinn, Estonia |
||
| When: Jul 7, 2024 - Jul 7, 2024 Submission Deadline: Apr 18, 2024 | ||
| Learning and Automata (LearnAut) -- ICALP 2024 workshop • July 7th - Tallinn, Estonia • Website: https://learnaut24.github.io/ • Deadline: April 18 • Submission portal: https:... | ||
| GRAMMATICAL INFERENCE THEORETICAL COMPUTER SCIENCE MACHINE LEARNING FORMAL VERIFICATION | ||
 SAMLA 2024 : Special Session on Applied and Theoretical LinguisticsJacksonville, FL |
||
| When: Nov 15, 2024 - Nov 17, 2024 Submission Deadline: Jul 28, 2024 | ||
| Research in linguistics seems to indicate that Anaxagoras was correct when remarking over two-thousand years ago that "appearances are a glimpse of the unseen." Indeed, linguistic landscapes provide ... | ||
 TASE 2024 : 18th Theoretical Aspects of Software Engineering ConferenceGuiyang City, China |
||
| When: Jul 29, 2024 - Aug 1, 2024 Submission Deadline: Feb 24, 2024 | ||
| Call for papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024 • https://tase2024.github.io/ • Overview • ----------------------------------------------------------------... | ||
| FORMAL METHODS CYBER PHYSICAL SYSTEMS MODEL CHECKING SOFTWARE ENGINEERING | ||
 |
||
| When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023 | ||
| ===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================... | ||
| FORMAL METHODS LOGIC AUTOMATA AND GAMES THEORETICAL COMPUTER SCIENCE | ||
SBMF 2023 : SBMF 2023Manaus, Brazil |
||
| When: Dec 4, 2023 - Dec 8, 2023 Submission Deadline: Jul 28, 2023 | ||
| ========================================================================= • CALL FOR PAPERS • 26th Brazilian Symposium on Formal Methods • Manaus, Brazil, 4th to 8th of December,... | ||
| FORMAL METHODS FORMAL VERIFICATION THEORETICAL FOUNDATIONS SPECIFICATION AND MODELING LAN | ||
 |
||
| When: Oct 11, 2023 - Oct 13, 2023 Submission Deadline: Jul 4, 2023 | ||
| -------------------------------------------------- • RP 2023: Call For Papers • 11-13 October 2023 Nice, France • -------------------------------------------------- • The 17th... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
|
|
||
| When: Oct 12, 2023 - Oct 13, 2023 Submission Deadline: Jul 15, 2023 | ||
| Dear Colleagues, • We would like to inform you that the deadline for abstract submission to LingBaW 2023 has been extended until 15 July. • The 10th meeting of Linguistics Beyond and With... | ||
| LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
 |
||
| When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022 | ||
| High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ... | ||
| FORMAL METHODS THEORETICAL COMPUTE SCIENCE | ||
|
|
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
| 2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
 |
||
| When: Jun 28, 2022 - Jul 1, 2022 Submission Deadline: Mar 18, 2022 | ||
| *CALL FOR PRESENTATIONS* • HIGHLIGHTS 2022 will happen from June 28th to July 1st, 2022, in Paris, • France. The conference will be hosted by Université de Paris, and happen on • t... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC GAMES AUTOMATA | ||
TASE 2022 : Theoretical Aspects of Software EngineeringCluj-Napoca, Romania |
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022 | ||
| Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.... | ||
| FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS SOFTWARE ENGINEERING | ||
TTCS 2020 : Topics in Theoretical Computer ScienceTehran, Iran |
||
| When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020 | ||
| TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with th... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
 |
||
| Submission Deadline: Jul 31, 2019 | ||
| International Journal of Computer Applications in Technology • ------------------------------------- • Special Issue on: "Theoretical Advances and Applications of Computational Intelligenc... | ||
| COMPUTATIONAL INTELLIGENCE EVOLUTIONARY COMPUTING INTELLIGENT CONTROL ROBOTICS | ||
LingBaW 2019 : Linguistics Beyond And Within 2019Lublin, Poland |
||
| When: Oct 17, 2019 - Oct 18, 2019 Submission Deadline: Jul 20, 2019 | ||
| Dear Colleagues, • We are pleased to announce that the deadline for abstract submission for LingBaW 2019 has been extended until 20 July 2019. • Building on the success of the previous con... | ||
| LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
 GCM 2019 : 10th International Workshop on Graph Computation ModelsEindhoven, The Netherlands |
||
| When: Jul 17, 2019 - Jul 17, 2019 Submission Deadline: May 7, 2019 | ||
| • ----------------------------------------------------------------------- • First CALL FOR PAPERS • GCM 2019 • Tenth International Workshop on • Graph Computation Models ... | ||
| THEORETICAL COMPUTER SCIENCE FORMAL METHODS MODEL TRANSFORMATION GRAPH REWRITING | ||
 |
||
| When: Jul 2, 2019 - Jul 3, 2019 Submission Deadline: Apr 8, 2019 | ||
| • --- First Call for Papers – NCMA 2019 --- • 11th International Workshop on • "Non-Classical Models of Automata and Applications" • (NCMA 2019) • July 2 - 3, 2019, Val... | ||
| NLP THEORETICAL COMPUTER SCIENCE | ||
|
|
||
| When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Feb 18, 2019 | ||
| • ================================== • ICALP 2019 - Second Call for Papers • ================================== • https://icalp2019.upatras.gr/ • The 46th International C... | ||
| LOGIC THEORETICAL COMPUTER SCIENCE | ||
Find and Compare Upcoming Theoretical Events in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
