 SAMLA 2023 : Human vs Non-Human LanguagesAtlanta, GA |
||
| When: Nov 9, 2023 - Nov 9, 2023 Submission Deadline: Jul 25, 2023 | ||
| In the past six months, the world has been shocked by the rapid progression of AI, specifically as manifested in ChatGPT, which propelled fears ranging from the integrity of education to the prospect... | ||
| LITERATURE LANGUAGES INTERDISCIPLINARY STUDIES ENGLISH | ||
 |
||
| When: Sep 5, 2023 - Sep 7, 2023 Submission Deadline: Jun 4, 2023 | ||
| • ======================================================== • AFL 2023 - Call for Papers • 16th International Conference on Automata and Formal Languages • September 5 - 7, 2023... | ||
| NLP THEORETICAL COMPUTER SCIENCE | ||
|
|
||
| When: Feb 17, 2024 - Feb 18, 2024 Submission Deadline: Jan 13, 2024 | ||
| 8th International Conference on Software Engineering and Applications (SOEA 2024)February 17 ~ 18, 2024, Dubai, UAETopics of interest include, but are not limited to, the followingAdvanced Topics in ... | ||
| SOFTWARE ENGINEERING APPLICATIONS PROGRAMMING LANGUAGES NATURAL LANGUAGE | ||
 OCL 2023 : 22nd International Workshop on OCL and Textual ModelingVasteras, Sweden |
||
| When: Oct 1, 2023 - Oct 3, 2023 Submission Deadline: Jul 17, 2023 | ||
| ================================================== • CALL FOR PAPERS • 22th International Workshop on OCL and Textual Modeling • October 1-3, 2023 - Vasteras, Sweden • http://... | ||
| SOFTWARE ENGINEERING MODEL-BASED ENGINEERING MODELING LANGUAGES | ||
 |
||
| When: Oct 23, 2023 - Oct 23, 2023 Submission Deadline: Aug 4, 2023 | ||
| CALL FOR PAPERS • 12th Workshop on Programming Languages and Operating Systems • (PLOS 2023) • October 23, 2023 • Koblenz, Germany • https://plos-workshop.org/2023/ &bu... | ||
| OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
 |
||
| When: Feb 1, 2024 - Feb 2, 2024 Submission Deadline: Aug 4, 2023 | ||
| The Ninth International Conference on Languages, Linguistics, Translation and Literature is organized by different universities and research centers. • The conference will be dedicated to curre... | ||
| LINGUISTICS LITERATURE TRANSLATION LANGUAGES | ||
 ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
| When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
| 32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS | ||
 |
||
| When: Oct 1, 2023 - Oct 6, 2023 Submission Deadline: Apr 14, 2023 | ||
| MODELS is the premier conference series for model-based software and systems engineering. Since 1998 MODELS has covered all aspects of modeling, from languages and methods to tools and applications. ... | ||
| FOUNDATIONS PRACTICE | ||
OCL 2022 : 21st International Workshop on OCL and Textual ModelingMontreal, Canada |
||
| When: Oct 23, 2022 - Oct 25, 2022 Submission Deadline: Jul 20, 2022 | ||
| Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed vis... | ||
| SOFTWARE ENGINEERING MODELING MODELING LANGUAGES MODEL-BASED ENGINEERING | ||
 |
||
| When: Oct 12, 2022 - Oct 17, 2022 Submission Deadline: Jul 11, 2022 | ||
| VarDial 2022 - Ninth Workshop on NLP for Similar Languages, Varieties and Dialects • VarDial 2022: https://sites.google.com/view/vardial-2022 • Shared Tasks: https://sites.google.com/view... | ||
| CLOSELY RELATED LANGUAGES SIMILAR VARIETIES DIALECTS | ||
|
|
||
| When: Jul 10, 2022 - Jul 10, 2022 Submission Deadline: Jul 10, 2022 | ||
| The conference will be held held as a teleconference, followed by the publication of the conference proceedings. • The conference proceedings will have an international ISBN number • Loca... | ||
| LANGUAGES LINGUISTICS LITERATURE | ||
 |
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: May 15, 2022 | ||
| The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nat... | ||
| CYBER-PHYSICAL SYSTEMS FORMAL METHODS PROGRAMMING LANGUAGES | ||
LearnAut 2022 : Learning & Automata 2022Paris, France |
||
| When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: Apr 7, 2022 | ||
| Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexit... | ||
| MACHINE LEARNING FORMAL METHODS COMPLEXITY PROGRAMMING LANGUAGES | ||
|
|
||
| When: Oct 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 3, 2022 | ||
| MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses o... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
 HOPE 2022 : ACM SIGPLAN Workshop on Higher-Order Programming with EffectsLjubljana, Slovenia |
||
| When: Sep 11, 2022 - Sep 11, 2022 Submission Deadline: Jun 1, 2022 | ||
| HOPE is an established informal workshop bringing together researchers • interested in the design, semantics, implementation, and verification • of higher-order effectful programs. Talks ... | ||
| COMPUTER SCIENCE PROGRAMMING LANGUAGES SIGPLAN | ||
|
|
||
| When: Sep 14, 2022 - Sep 16, 2022 Submission Deadline: May 20, 2022 | ||
| ======================================================================== • Call for Papers • MPLR 2022 - 19th International Conference • on Managed Programming Languages & Runtimes ... | ||
| PROGRAMMING LANGUAGES COMPILERS INTERPRETERS VIRTUAL MACHINES | ||
|
|
||
| When: Sep 21, 2022 - Sep 23, 2022 Submission Deadline: May 9, 2022 | ||
| ====================================================================== • LOPSTR 2022: Fist Call for Papers • ====================================================================== •... | ||
| PROGRAMMING LANGUAGES COMPUTER SCIENCE | ||
|
|
||
| When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
| The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS PROGRAMMING LANGUAGES | ||
POPL 2023 : 50th Symposium on Principles of Programming LanguagesSan Antonio, Texas, USA (tentative) |
||
| When: Jan 15, 2023 - Jan 21, 2023 Submission Deadline: Jul 7, 2022 | ||
| # POPL 2023 Call for Papers • PACMPL Issue POPL 2023 seeks contributions on all aspects of programming languages and programming systems, both theoretical and practical. Authors of papers publi... | ||
|
|
||
| When: Aug 31, 2022 - Sep 2, 2022 Submission Deadline: Apr 1, 2022 | ||
| MDEML: Model-Driven Engineering and Modeling Languages • https://dsd-seaa2022.iuma.ulpgc.es/?page_id=298 • ------------------------ • Important Dates • -----------------------... | ||
| MDE MODELLING LANGUAGES | ||
|
|
||
| When: Jun 25, 2022 - Jun 25, 2022 Submission Deadline: Mar 31, 2022 | ||
| • Event: 10th Workshop on the Representation and Processing of Sign Languages (sign-lang@LREC 2022) • Deadline: 10 April 2020 • Website: https://www.sign-lang.uni-hamburg.de/lrec2022... | ||
| NLP LINGUISTICS | ||
|
|
||
| When: Jun 25, 2022 - Jun 25, 2022 Submission Deadline: Apr 8, 2022 | ||
| Asunto: • [Corpora-List] 2nd CFP: LT4HALA 2022 (co-located with LREC 2022) • De: • "Passarotti Marco Carlo (marco.passarotti)" ([email protected]) • Fecha: • 0... | ||
| NLP LINGUISTICS | ||
SLE 2022 : Software Language EngineeringAuckland, New Zealand |
||
| When: Dec 5, 2022 - Dec 10, 2022 Submission Deadline: Apr 13, 2022 | ||
| Topics of Interest • SLE covers software language engineering rather than engineering a specific software language. Topics of interest include, but are not limited to: • - Software Langua... | ||
| PROGRAMMING LANGUAGES SOFTWARE ENGINEERING FORMAL METHODS PERFORMANCE | ||
|
|
||
| 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 | ||
SBLP 2022 : XXVI Brazilian Symposium on Programming LanguagesUberlândia, Brazil |
||
| When: Oct 3, 2022 - Oct 7, 2022 Submission Deadline: May 22, 2022 | ||
| SBLP 2022 • 26th Brazilian Symposium on Programming Languages • SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS BLOCKCHAIN | ||
|
|
||
| When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Jun 26, 2022 | ||
| Overview and Scope • The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 an... | ||
| SOFTWARE ENGINEERING FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
FDL 2022 : 25th Forum on specification & Design LanguagesLinz (Austria) |
||
| When: Sep 14, 2022 - Sep 16, 2022 Submission Deadline: May 9, 2022 | ||
| The 25th Forum on specification and Design Languages (FDL) is an international event where academics and industrials exchange their experiences, advances and the new trends in the languages and techn... | ||
| LANGUAGE SIMULATION SEMANTICS VERIFICATION | ||
MODELS-Workshops 2022 : MODELS 2022 - Call for Workshops ProposalsMontreal, Canada |
||
| When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Mar 25, 2022 | ||
| ABOUT • The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven approaches in the development of software-b... | ||
| MODEL DRIVEN ENGINEERING LANGUAGES SYSTEMS | ||
Find and Compare Upcoming Languages Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
