|
||
When: Sep 18, 2024 - Sep 20, 2024 Submission Deadline: Mar 15, 2024 | ||
** Following the success of the previous editions of the #CoSeRa workshop, we are pleased to announce the 6th International Workshop on the "Theory of Computational Sensing and its applications to Ra... | ||
COMPUTATIONAL SENSING RADAR MULTIMODAL SENSING IMAGING | ||
BRAIN 2024 : 5th Workshop on Blockchain theoRy and ApplicatIoNsBiarritz (France) |
||
When: Mar 11, 2024 - Mar 11, 2024 Submission Deadline: Dec 1, 2023 | ||
**************************************************************************************** • CALL FOR PAPERS • ******************************************************************************... | ||
BLOCKCHAIN COMPUTER SCIENCE INFORMATION TECHNOLOGY DISTRIBUTED SYSTEMS | ||
BAT 2023 : The 5th International Workshop on Blockchain Applications and TheorySan Antonio, Texas , USA |
||
When: Oct 23, 2023 - Oct 25, 2023 Submission Deadline: Sep 20, 2023 | ||
BAT 2023 • A blockchain is a distributed ledger for recording transactions and/or data in a meaningful order, maintained by many connected nodes without a trusted central authority. Blockchain ... | ||
CYBERSECURITY CLOUD COMPUTING BLOCKCHAIN INTERNET OF THINGS | ||
|
||
When: Nov 3, 2023 - Nov 4, 2023 Submission Deadline: Sep 30, 2023 | ||
We are pleased to invite you to submit papers to the 14th • International Workshop on Program Semantics, Specification and Verification • (we've skipped number 13) • The submission ... | ||
PROGRAM SEMANTICS VERIFICATION MODEL CHECKING TYPE THEORY | ||
|
||
When: Sep 30, 2023 - Oct 1, 2023 Submission Deadline: Jul 21, 2023 | ||
Call for Papers: Multi-Objective Decision Making Workshop (MODeM 2023) at ECAI 2023 • -----------------------------------------------------------------------------------------------------------... | ||
MULTI-OBJECTIVE PLANNING REINFORCEMENT LEARNING GAME THEORY | ||
|
||
When: Nov 28, 2022 - Dec 4, 2022 Submission Deadline: Sep 30, 2022 | ||
The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Arti... | ||
FORMAL METHODS VERIFICATION GAME THEORY | ||
|
||
When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 12, 2022 | ||
Analogical proportions, i.e., statements of the form "A is to B as C is to D", are the basis of analogical inference and they are closely related to case-based reasoning and transfer learning. &bull... | ||
ANALOGIES REASONING ARTIFICIAL INTELLIGENCE COMPUTER SCIENCE | ||
GI QC 2022 : GI Quantum Computing Workshop 2022University of Hamburg |
||
When: Sep 27, 2022 - Sep 27, 2022 Submission Deadline: May 29, 2022 | ||
The 2022 GI Quantum Computing Workshop focuses on current developments in the field. The organizers encourage submissions in pure (Quantum) Computer Science but also at the interface with the Natural... | ||
QUANTUM COMPUTING QUANTUM ALGORITHMS QUANTUM INFORMATION THEORY QUANTUM COMMUNICATION | ||
|
||
When: Sep 12, 2022 - Sep 12, 2022 Submission Deadline: Jul 1, 2022 | ||
The aim of Young Researchers CONCUR is to provide a platform for PhD students and other young researchers to exchange new results related to concurrency theory and to receive feedback on their resear... | ||
COMPUTER SCIENCE CONCURRENCY THEORY CONCURRENCY | ||
WUPES 2022 : 12th Workshop on Uncertainty ProcessingKutna Hora, Czech Republic |
||
When: Jun 1, 2022 - Jun 4, 2022 Submission Deadline: Mar 11, 2022 | ||
The Workshops on Uncertainty Processing (WUPES) have been held in Czechia every third year since 1988. Proceedings from several previous workshops can be found on their websites (WUPES'18, WUPES'15, ... | ||
BAYESIAN NETWORKS UNCERTAINTY IN AI MACHINE LEARNING DECISION THEORY | ||
SWAT 2022 : Scandinavian Workshop on Algorithm TheoryFaroe Islands |
||
When: Jun 27, 2022 - Jun 29, 2022 Submission Deadline: Feb 14, 2022 | ||
SWAT 2022: • 18th Scandinavian Symposium and Workshops on Algorithm Theory • Vestarabryggja 15, Torshavn, Faroe Islands, June 27-29, 2022 • (Read about the 2020 event here: https://... | ||
ALGORITHMS THEORY COMPLEXITY COMPUTATION | ||
|
||
When: Jun 19, 2022 - Jun 22, 2022 Submission Deadline: Feb 24, 2022 | ||
Topics of Interest • In order to meet the immensely higher data rate, reliability, and traffic demands in the future 5G-Advanced communications, novel communication frameworks are rapidly emerg... | ||
WIRELESS COMMUNICATIONS INFORMATION THEORY ELECTROMAGNETISM MIMO | ||
|
||
When: Jul 05, 2021 - Jul 07, 2021 Submission Deadline: Mar 14, 2021 | ||
Since its inception in 1989 as AWOCA (Australasian Workshop on Combinatorial Algorithms), IWOCA has provided an annual forum for researchers who design algorithms for the myriad combinatorial problems... | ||
ALGORITHMS GRAPH THEORY | ||
ITA 2021 : Information Theory and Applications WorkshopPacific Beach, United States |
||
When: Feb 07, 2021 - Feb 12, 2021 Submission Deadline: Jan 01, 2021 | ||
The Information: Theory and Applications (ITA) workshop is a multidisciplinary meeting of academic and industrial researchers applying theory to diverse scientific and technological disciplines. ... | ||
DATABASES INFORMATION SYSTEMS INFORMATION THEORY | ||
|
||
When: Jan 11, 2021 - Jan 11, 2021 Submission Deadline: Oct 10, 2020 | ||
... | ||
IMAGE MINING PATTERN RECOGNITION DATA MINING | ||
|
||
When: Nov 03, 2020 - Nov 04, 2020 Submission Deadline: Sep 14, 2020 | ||
Program Committee solicites regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pag... | ||
FORMAL METHODS SEMANTICS | ||
|
||
When: Jul 07, 2020 - Jul 07, 2020 Submission Deadline: Apr 25, 2020 | ||
A blockchain protocol is employed to implement a tamper free distributed ledger which stores transactions created by the nodes of a P2P network and agreed upon through a distributed consensus algorith... | ||
BLOCKCHAIN DISTRIBUTED SYSTEMS NETWORKING INFORMATION SECURITY | ||
|
||
When: Jun 22, 2020 - Jun 24, 2020 Submission Deadline: Feb 14, 2020 | ||
SWAT 2020 conference registrations and additional services including accommodation and excursion are handled by GreenGate here. The Scandinavian Symposium and Workshops on Algorithm Theory (SW... | ||
ALGORITHMS THEORY COMPLEXITY | ||
|
||
When: Dec 8, 2019 - Dec 14, 2019 Submission Deadline: Sep 15, 2019 | ||
Submit at this site: https://cmt3.research.microsoft.com/ITML2019 • We invite submissions in any of the following areas: • - Controlling information quantities for performance guarantees, ... | ||
INFORMATION THEORY MACHINE LEARNING | ||
|
||
When: Oct 1, 2019 - Oct 2, 2019 Submission Deadline: Aug 12, 2019 | ||
The need for a new wireless communication systems to cope with the demand of new services demanding higher performance, larger throughput, wider bandwidth and lower bit-error-rates, requires to focus ... | ||
WIRELESS COMMUNICATIONS MICROWAVE ELECROMAGNETICS | ||
YR-CONCUR 2019 : Second CfP: 9th International Young Researchers Workshop on Concurrency TheoryAmsterdam, The Netherlands |
||
When: Aug 31, 2019 - Aug 31, 2019 Submission Deadline: Jun 21, 2019 | ||
[Apologies for multiple postings] • ========================================================= • Second CALL for ABSTRACTS for YR-CONCUR 2019 • 9th International Young Researchers Wor... | ||
TrueFact 2019 : KDD 2019 Workshop on Truth Discovery and Fact Checking: Theory and PracticeKDD 2019, Anchorage, Alaska |
||
When: Aug 5, 2019 - Aug 5, 2019 Submission Deadline: May 15, 2019 | ||
CFP: First International Workshop on Truth Discovery and Fact Checking: Theory and Practice (with SIGKDD 2019) • ---------------------------------------------------------------------------------... | ||
DATA MINING NATURAL LANGUAGE PROCESSING MACHINE LEARNING ARTIFICIAL INTELLIGENCE | ||
YR-CONCUR 2019 : 9th International Young Researchers Workshop on Concurrency TheoryAmsterdam, The Netherlands |
||
When: Aug 31, 2019 - Aug 31, 2019 Submission Deadline: Jun 21, 2019 | ||
... | ||
|
||
When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
... | ||
THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
Complexity and Model Theory 2019 : Russian Workshop on Complexity and Model Theory9 Institutskiy per., Dolgoprudny, Moscow |
||
When: Jun 9, 2019 - Jun 11, 2019 Submission Deadline: Mar 1, 2019 | ||
The workshop will take place at the Moscow Institute of Physics and Technology. • The aim of the workshop is to bring together specialists in computational complexity, communication complexity, ... | ||
COMMUNICATION COMPLEXITY COMPUTATIONAL COMPLEXITY DESCRIPTIVE COMPLEXITY CRYPTOGRAPHY | ||
|
||
When: Jun 10, 2019 - Jun 13, 2019 Submission Deadline: Mar 17, 2019 | ||
BAT 2019 • A blockchain is a distributed ledger for recording transactions and/or data in a meaningful order, maintained by many connected nodes without a trusted central authority. Blockchain h... | ||
BLOCKCHAIN BLOCKCHAIN IN CLOUD COMPUTING EDGE AND FOG COMPUTING IOT | ||
GAIW 2019 : Games, Agents and Incentives workshopMontréal, Canada |
||
When: May 13, 2019 - May 14, 2019 Submission Deadline: Feb 26, 2019 | ||
... | ||
ALGORITHMIC GAME THEORY COMPUTATIONAL SOCIAL CHOICE MULTI-AGENT SYSTEMS | ||
|
||
When: Aug 5, 2019 - Aug 9, 2019 Submission Deadline: Apr 25, 2019 | ||
CALL FOR PAPERS • Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science • Part of ESSLLI 2019 (http://esslli2019.folli.info/) • August 5th - 9th 2019... | ||
COMPUTATIONAL LINGUISTICS COGNITIVE SCIENCE CATEGORY THEORY CONCEPTUAL SPACES | ||
|
||
When: Aug 5, 2019 - Aug 7, 2019 Submission Deadline: Feb 20, 2019 | ||
Call For Papers • Contributors are invited to submit a full paper in Springer LNCS format. The title, abstract, and body of the paper may not exceed 12 pages and the total length including refer... | ||
THEORY ALGORITHMS DATA STRUCTURES GEOMETRY | ||
|
||
When: Aug 24, 2019 - Aug 26, 2019 Submission Deadline: May 1, 2019 | ||
FINAL CALL FOR PAPERS • LSFA 2019 • 14th Workshop on Logical and Semantic Frameworks, with Applications • 24-26 August 2019, Natal, Brazil • https://sites.google.com/view/lsfa2... | ||
LOGIC TYPE THEORY PROOF THEORY SEMANTIC FRAMEWORKS | ||
Find and Compare Upcoming Theory Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.