constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission details: -------------------------- Authors are invited
5 KB (718 words) - 13:34, 14 December 2022
constraint-based reasoning, constraint satisfaction technologies and constraint logic programming. Submission details: -------------------------- Authors are invited
5 KB (735 words) - 11:24, 14 December 2022
Intelligent Virtual Environments Knowledge Representation and Reasoning, Logic Programming Knowledge-Based Systems Machine Learning, Neural Nets, Genetic Algorithms
6 KB (907 words) - 15:27, 19 October 2022
architectures, such as BDI agent-oriented programming concepts and abstractions patterns and idioms for agent-oriented programming social, organizational and normative
9 KB (1,268 words) - 13:32, 19 October 2022
of the Journal of Logic and Algebraic Programming (JLAP). Student Program The conference will be accompanied by a PhD training program. Details will be
7 KB (1,020 words) - 15:28, 19 October 2022
Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information
5 KB (751 words) - 15:30, 19 October 2022
(PT) Computer Science Programming SPLASH 2023 2023-10-22 → 2023-10-27 Portugal (PT) Software Engineering Object Oriented Programming Systems SLE 2023 20
808 bytes (10,171 words) - 10:31, 27 November 2023
data Infinite state systems Computation structures Logics of programs Modal, spatial, and temporal logics Models of concurrent, reactive, distributed, and
2 KB (233 words) - 06:31, 1 December 2023
computers, - knowledge representation, - man-machine NL interfaces, - Logic Programming in Natural Language Processing, - speech processing, - NL applications
14 KB (1,993 words) - 13:49, 14 December 2022
Infinite state systems, Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and
2 KB (301 words) - 06:32, 1 December 2023
Infinite state systems Computation structures, Logics of programs, Modal, spatial, and temporal logics, Models of concurrent, reactive, distributed, and
3 KB (459 words) - 06:31, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (686 words) - 06:35, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (695 words) - 06:35, 1 December 2023
theory; Semantics of programming languages; Program analysis, correctness, transformation, and verification; Logics of programming; Software specification
5 KB (667 words) - 06:33, 1 December 2023
it/ MOTIVATIONS In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge
5 KB (739 words) - 13:49, 14 December 2022
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
6 KB (830 words) - 06:34, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (776 words) - 06:33, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (713 words) - 06:35, 1 December 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
5 KB (811 words) - 06:34, 1 December 2023
theory; Semantics of programming languages; Program analysis, correctness, transformation, and verification; Logics of programming; Software specification
5 KB (710 words) - 06:33, 1 December 2023
Inverse Problems Mathematics Colloquium Logicum Mathematics Mathematical Logic DMV-Jahrestagung Mathematics ECM - European Congress of Mathematics Mathematics
82 bytes (717 words) - 11:48, 20 October 2022
Fairness Track B: Automata, Logic, Semantics, and Theory of Programming: Algebraic and Categorical Models of Computation Automata, Logic, and Games Database Theory
4 KB (584 words) - 08:02, 27 September 2023
theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification
6 KB (920 words) - 06:34, 1 December 2023
Automata, Languages and Programming Ordinal 47 Event Series ICALP - International Colloquium on Automata, Languages and Programming Start Date 2020-07-08
5 KB (672 words) - 08:41, 27 September 2023
due: April 23, 2008 Programming Challenge The workshop includes a programming challenge. Students compete in the implementation of logic optimization algorithms
3 KB (507 words) - 15:22, 19 October 2022
Automata, Languages and Programming Ordinal 46 Event Series ICALP - International Colloquium on Automata, Languages and Programming Start Date 2019-07-08
5 KB (629 words) - 08:10, 27 September 2023
practitioners in the declarative programming communities. It solicits papers on all aspects of logic, constraint and functional programming, as well as on related
4 KB (538 words) - 15:28, 19 October 2022
Automata, Languages, and Programming (ICALP) 2018 Algorithms Complexity Games Logic Semantics Automata and Theory of Programming Foundations of Networked
4 KB (525 words) - 08:15, 27 September 2023
ESOP 2002 Title European Symposium on Programming Ordinal 11 Event Series ESOP - European Symposium on Programming Start Date 2002-04-08 End Date 2002-04-12
2 KB (228 words) - 06:01, 19 October 2023
Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical
4 KB (585 words) - 07:38, 10 July 2023
Automata, Languages, and Programming Ordinal 44 Event Series ICALP - International Colloquium on Automata, Languages and Programming Start Date 2017-07-10
5 KB (688 words) - 08:16, 27 September 2023
including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related areas of logic * the formal analysis of normative
5 KB (690 words) - 14:45, 19 October 2022
agent logics, including epistemic logics, logics of action, dynamic logic, coalition logics etc. For example, the development of agent programming languages
4 KB (684 words) - 15:22, 19 October 2022
COMPUTATION TOOLS 2017 2017-02-19 → 2017-02-23 Algebra Programming Language Distributed Computation Logics
39 bytes (21 words) - 12:58, 24 August 2022
ESOP 1996 Title European Symposium on Programming Ordinal 6 Event Series ESOP - European Symposium on Programming Start Date 1996-04-22 End Date 1996-04-24
1 KB (202 words) - 06:09, 19 October 2023
Pan-American Symposium on the History of Logic - Existence and Nonexistence Pan-American Symposium on the History of Logic 2023-06-20 SIGMETRICS 2023 SIGMETRICS
378 bytes (12 words) - 11:05, 3 November 2022
2017 Title 15th Asian Symposium on Programming Languages and Systems Event Series APLAS - ASIAN Symposium on Programming Languages and Systems Start Date
1 KB (200 words) - 13:01, 19 October 2022
2018 Title 16th Asian Symposium on Programming Languages and Systems Event Series APLAS - ASIAN Symposium on Programming Languages and Systems Start Date
1 KB (200 words) - 13:00, 19 October 2022
Data Streams § Database Programming Language DATA MODELS, DATA INTEGRATION AND SERVICES § Data Models and Database Design § Logic and Databases § Semi-structured
3 KB (403 words) - 15:28, 19 October 2022
2019 Title 17th Asian Symposium on Programming Languages and Systems Event Series APLAS - ASIAN Symposium on Programming Languages and Systems Start Date
1 KB (231 words) - 13:01, 19 October 2022
expressiveness, Logic, Verification, Quantum languages, Semantics, Testing, Time-critical systems, Performance analysis, Safety, Embedded systems, Program analysis
6 KB (906 words) - 15:27, 19 October 2022
COMPUTATION TOOLS 2017 2017-02-19 → 2017-02-23 Algebra Programming Language Distributed Computation Logics
82 bytes (41 words) - 09:44, 19 October 2022
neural-symbolic, neuro-fuzzy,neuro-evolutionary systems, neuro-swarm, neural dynamic logic and other methods Connectionist methods of emergent intelligence Bayesian
2 KB (317 words) - 15:20, 19 October 2022
Architecture and Programming Support for Emerging Domains (Big Data, Deep Learning) Neuromorphic Computing Low Power and Energy Efficient Architectures Logic Synthesis
2 KB (281 words) - 13:00, 19 October 2022
Artificial Intelligence Problem Solving Logic Reasoning and Theorem-Proving Expert Systems Decision support systems Fuzzy logic and soft computing Brain models/Cognitive
5 KB (730 words) - 15:30, 19 October 2022
Transformation, New Programming Language Ideas and Concepts, New Programming Paradigms, Practical Experiences with Programming Languages, Program Analysis and
5 KB (601 words) - 15:27, 19 October 2022
Multivalued Logic Optimization Operations Management Operations Research Soft Computing Supply Chain Management Uncertain Calculus Uncertain Logic Uncertain
8 KB (992 words) - 15:20, 19 October 2022
application and tool oriented forum on meta programming in a broad sense. A meta program is a program that takes other programs as input or output. The focus of LDTA
6 KB (827 words) - 20:28, 22 September 2022
heterogeneous network design, evaluation, and optimizations. Programming models and tools: Programming paradigms and tools for heterogeneous systems; middleware
4 KB (582 words) - 13:32, 19 October 2022
fuzzy measures and fuzzy integrals » fuzzy differential equations » fuzzy logic, fuzzy inference systems » aggregation, operators, fuzzy relations » Fuzzy
2 KB (368 words) - 08:53, 30 August 2023
Event Acronym CiE 2008 Title Computability in Europe 2008: Logic and Theory of Algorithms Start Date 2008-06-15 End Date 2008-06-20 Status as scheduled
5 KB (724 words) - 14:46, 19 October 2022
chaos/neural/fuzzy-logic circuits, high-speed/low-power circuits. Computer-Aided Design (CAD): hardware/software co-design, logic and behavioral synthesis, logic mapping
4 KB (604 words) - 14:56, 19 October 2022
software engineering and in programming languages related (but not limited) to: * Generative programming o Reuse, meta-programming, partial evaluation, multi-stage
7 KB (861 words) - 16:18, 13 September 2023
concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis
3 KB (345 words) - 13:07, 19 October 2022
Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic and it
3 KB (441 words) - 14:55, 19 October 2022
CSIT 09 * WEB Page: http://csit.am/2009 * Topics: Algorithms, Automata and Logic, Discrete Mathematics and Combinatorics, Coding Theory, Information Theory
2 KB (262 words) - 14:46, 19 October 2022
static and dynamic environments - Complex event processing - Design and programming methodologies - Event-based business process management and modeling -
7 KB (994 words) - 06:08, 4 August 2023
Heuristic searching methods Languages and programming techniques for AI Constraint-based reasoning and constraint programming Intelligent information fusion Learning
3 KB (498 words) - 14:44, 19 October 2022
FPGA Architecture: Architectures for programmable logic fabrics or their components, including routing, flexible logic cells, embedded blocks (memory, DSP
11 KB (1,681 words) - 12:05, 3 January 2023
Evolution Distributed and Parallel Computing Electronic Design Automation Fuzzy logic and Reasoning Games and Entertainment Genetic, Evolutional, Computational
3 KB (512 words) - 14:55, 19 October 2022
officers: Michael Benedikt (Program Chair) Giorgio Orsi (Proceedings and Publicity Chair) Wim Martens (ICDT Council Chair) Program committee: Marcelo Arenas
4 KB (602 words) - 14:05, 19 October 2022
marking algorithm with Modal Logic * Xinyu Feng, Zhong Shao, Yu Guo and Yuan Dong. Combining Domain-Specific and Foundational Logics to Verify Complete Software
5 KB (811 words) - 14:24, 19 October 2022
complexity. Track B - Logic, Semantics, Specification and Verification: Automata theory; automated deduction; constructive and non- standard logics in computer science;
5 KB (797 words) - 13:25, 14 December 2022
concurrency, mobility, dynamic, spatial and robabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis
3 KB (353 words) - 13:06, 19 October 2022
Computer Science Logic (CSL) 1991 The topics included: Theory of Computation Mathematical Logic and Foundations Logics and Meanings of Programs Mathematical
897 bytes (168 words) - 13:38, 18 October 2022
on Principles and Practice of Parallel Programming 2022-04-02 ESOP 2022 ESOP - European Symposium on Programming 2022-04-02 Autonomous Ships 2022 Autonomous
372 bytes (12 words) - 11:12, 3 November 2022
International Workshop on Computer Science Logic (CSL) 2010 Program Extraction and Constructive Proofs / Classical Logic and Computation Randomized and Quantum
2 KB (246 words) - 06:39, 7 August 2023
warehouses; distributed databases; information retrieval; knowledge bases; logic; multimedia; physical design; privacy; quantitative approaches; query languages;
4 KB (614 words) - 06:24, 7 August 2023
concurrency, mobility, dynamic, spatial and probabilistic aspects of coordination, logic, emergent behaviour, types, semantics; Specification, refinement, and analysis
3 KB (416 words) - 13:08, 19 October 2022
ACM SIGPLAN Conference on Programming Language Design and Implementation Event Series PLDI - ACM SIGPLAN Conference on Programming Language Design and Implementation
5 KB (769 words) - 15:28, 19 October 2022
ACM SIGPLAN Conference on Programming Language Design and Implementation Event Series PLDI - ACM SIGPLAN Conference on Programming Language Design and Implementation
5 KB (795 words) - 14:20, 19 October 2022
modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic, guarded fragments, conditional logic, temporal
4 KB (634 words) - 15:21, 19 October 2022
multi-agent systems, many researchers have proposed the use of modal logics such as logics of beliefs, knowledge, norms and time. This workshop will focus on
5 KB (784 words) - 15:30, 19 October 2022
resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.
2 KB (349 words) - 13:25, 29 December 2022
* computational game theory * computational geometry * computer science logic * continuous and real computation * cryptography * domain models * dynamical
2 KB (268 words) - 14:24, 19 October 2022
Artificial Life, Biocomputation - New Models of Logic Software - "Intersections" - e.g., work at the crossroads of logic, epistemology, philosophy of science and
5 KB (708 words) - 14:46, 19 October 2022
European Society for Fuzzy Logic and Technologies (EUSFLAT). Proceedings will be published within the IEEE Publication Program and are thus listed in the
1 KB (260 words) - 14:55, 19 October 2022
in stream processing, complex event forecasting, in-network processing, logic-based complex event recognition, online relational learning, distributed
3 KB (443 words) - 07:35, 23 June 2023
distributed systems logic and model checking models of reactive, hybrid, and stochastic systems principles of programming languages program analysis and transformation
3 KB (464 words) - 07:48, 7 August 2023
distributed systems logic and model checking models of reactive, hybrid, and stochastic systems principles of programming languages program analysis and transformation
3 KB (477 words) - 08:08, 7 August 2023
of materialized views, dynamic graph processing, in-network processing, logic-based event recognition, event correlation and pattern languages. Systems
3 KB (491 words) - 07:35, 23 June 2023
Temperature-aware and reliable design 1.2. Logic and Microarchitecture Design: Processor core design; Cache and register file design; Logic and RTL design; Arithmetic
7 KB (1,076 words) - 15:21, 19 October 2022
mathematics related to computer science * grammars and formal models * program semantics, logic, and verification THEORY AND PRACTICE OF SOFTWARE SERVICES * software
6 KB (807 words) - 15:30, 19 October 2022
Event Acronym WILF 2009 Title International Workshop on Fuzzy Logic and Applications Start Date 2009-06-09 End Date 2009-06-12 Status as scheduled Mode
5 KB (766 words) - 15:29, 19 October 2022
of ontology technologies: integration approaches like aspect-oriented programming to weave modeling standards like MOF, Ecore, UML, OCL, ODM, and SWRL;
8 KB (1,091 words) - 15:29, 19 October 2022
Event Acronym SPL 2008 Title 4th Southern Conference on Programmable Logic Start Date 2008-03-26 End Date 2008-03-28 Status as scheduled Mode on site City
632 bytes (140 words) - 15:29, 19 October 2022
Event Acronym FPL 2008 Title International Conference on Field Programmable Logic and Applications Start Date 2008-09-08 End Date 2008-09-10 Status as
622 bytes (140 words) - 14:55, 19 October 2022
people, including those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop continues
4 KB (661 words) - 13:33, 19 October 2022
parallel and distributed computation, machine learning, applications of logic, algorithmic algebra and coding theory, computational biology, computational
6 KB (905 words) - 15:30, 19 October 2022
relevant disciplines such as artificial intelligence, knowledge modeling, logic, databases, social networks, Web services, distributed computing, Web engineering
5 KB (671 words) - 14:44, 19 October 2022
for FPGAs: Placement, routing, retiming, logic optimization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD
4 KB (683 words) - 14:54, 19 October 2022
architectures Embedded Systems and Design Methods for Cyber-Physical Systems Programming Languages and Run-Time Systems Social networking and computing Systems
6 KB (885 words) - 14:08, 19 October 2022
will be colocated with the Tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA'09) and the Fifth International Workshop on
5 KB (716 words) - 15:21, 19 October 2022
for FPGAs: Placement, routing, retiming, logic optimization, technology mapping, system-level partitioning, logic generators, testing and verification, CAD
5 KB (765 words) - 14:56, 19 October 2022
linguistics, conceptual modeling and design, diagrammatic reasoning and logic, intelligent systems and knowledge management. The activity of the field
4 KB (695 words) - 14:55, 19 October 2022
distributed systems logic and model checking models of reactive, hybrid and stochastic systems principles of programming languages program analysis and transformation
3 KB (456 words) - 07:50, 7 August 2023
Computing Systems Adaptive Dynamic Programming and Reinforcement Learning; Artificial Life; Control Systems; Fuzzy Logic and System; Neural Networks; Genetic
4 KB (640 words) - 14:04, 19 October 2022
database management - experiences with real applications Track 3: Temporal Logic and Verification in Computer Science - specification and verification of
6 KB (943 words) - 15:30, 19 October 2022
possibilities approaches Industrial, financial, and medical applications Fuzzy logic application in civil engineering and GIS Fuzzy sets and soft computing in
3 KB (518 words) - 08:54, 30 August 2023
Alexandrescu, iRoC R. Iyer, U. Illinois C. Slayman, Sun Y. Zorian, Virage Logic D. Appello, ST Microelectronics A. Krasniewski, Warsaw U. T. M. Sonza Reorda
7 KB (1,151 words) - 15:22, 19 October 2022
SAC'09 - Technical Track on "Programming Languages (category Programming languages) (section Program Committee Members) Transformation, New Programming Language Ideas and Concepts, New Programming Paradigms, Practical Experiences with Programming Languages, Program Analysis and5 KB (601 words) - 15:27, 19 October 2022
