IEEE Organizations related to Object oriented programming

Back to Top


Conferences related to Object oriented programming

Back to Top

2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.

  • 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantic

  • 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2014 29th Annual IEEE/ACM Symposium on Logic in Computer Science (LICS)

    Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, theory of automatic structures, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security, rewriting, type systems and type theory, and verification.

  • 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed.

  • 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2009 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

    LICS is an annual international forum on topics that lie at the intersection of computer science and mathematical logic.

  • 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)

    The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense.

  • 2007 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)

  • 2006 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006)

  • 2005 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005)


2018 IEEE 17th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

Informatics models of the brainCognitive processes of the brainThe cognitive foundation of big dataMachine consciousnessNeuroscience foundations of information processingDenotational mathematics (DM)Cognitive knowledge basesAutonomous machine learningNeural models of memoryInternal information processingCognitive sensors and networksCognitive linguisticsAbstract intelligence (aI)Cognitive information theoryCognitive information fusionCognitive computersCognitive systemsCognitive man-machine communicationCognitive InternetWorld-Wide Wisdoms (WWW+)Mathematical engineering for AICognitive vehicle systems Semantic computingDistributed intelligenceMathematical models of AICognitive signal processingCognitive image processing Artificial neural netsGenetic computingMATLAB models of AIBrain-inspired systemsNeuroinformaticsNeurological foundations of the brainSoftware simulations of the brainBrain-system interfacesNeurocomputingeBrain models

  • 2017 IEEE 16th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive Informatics is a transdisciplinary field that studies the internal information processing mechanisms of the brain, the underlying abstract intelligence theories and denotational mathematics, and their engineering applications in cognitive computing, computational intelligence, and cognitive systems. Cognitive Computing is a cutting-edge paradigm of intelligent computing methodologies and systems based on CI, which implements computational intelligence by autonomous inferences and perceptions mimicking the mechanisms of the brain. CI and CC not only synergize theories of modern information science, computer science, communication theories, AI, cybernetics, computational intelligence, cognitive science, intelligence science, neuropsychology, brain science, systems science, software science, knowledge science, cognitive robots, cognitive linguistics, and life science, but also reveal exciting applications in cognitive computers, cognitive robots, and computational intelligence.

  • 2016 IEEE 15th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive Informatics (CI) is a transdisciplinary field that studies the internal information processing mechanisms of the brain, the underlying abstract intelligence (¿I) theories and denotational mathematics, and their engineering applications in cognitive computing, computational intelligence, and cognitive systems. Cognitive Computing (CC) is a cutting-edge paradigm of intelligent computing methodologies and systems based on cognitive informatics, which implements computational intelligence by autonomous inferences and perceptions mimicking the mechanisms of the brain.

  • 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    The scope of the conference covers cognitive informatics, cognitive computing, cognitive communications, computational intelligence, and computational linguitics.

  • 2014 IEEE 13th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive informatics, cognitive computing, cognitive science, cognitive robots, artificial intelligence, computational intelligence

  • 2013 12th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive Informatics (CI) is a cutting-edge and multidisciplinary research field that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, intelligence science, neuropsychology, brain science, systems science, software engineering, knowledge engineering, cognitive robots, scientific philosophy, cognitive linguistics, life sciences, and cognitive computing.

  • 2012 11th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive informatics and Cognitive Computing are a transdisciplinary enquiry on the internal information processing mechanisms and processes of the brain and their engineering applications in cognitive computers, computational intelligence, cognitive robots, cognitive systems, and in the AI, IT, and software industries. The 11th IEEE Int l Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC 12) focuses on the theme of e-Brain and Cognitive Computers.

  • 2011 10th IEEE International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)

    Cognitive Informatics and Cognitive Computing are a transdisciplinary enquiry on the internal information processing mechanisms and processes of the brain and their engineering applications in cognitive computers, computational intelligence, cognitive robots, cognitive systems, and in the AI, IT, and software industries. The 10th IEEE Int l Conference on Cognitive Informatics and Cognitive Computing (ICCI*CC 11) focuses on the theme of Cognitive Computers and the e-Brain.

  • 2010 9th IEEE International Conference on Cognitive Informatics (ICCI)

    Cognitive Informatics (CI) is a cutting-edge and transdisciplinary research area that tackles the fundamental problems shared by modern informatics, computing, AI, cybernetics, computational intelligence, cognitive science, neuropsychology, medical science, systems science, software engineering, telecommunications, knowledge engineering, philosophy, linguistics, economics, management science, and life sciences.

  • 2009 8th IEEE International Conference on Cognitive Informatics (ICCI)

    The 8th IEEE International Conference on Cognitive Informatics (ICCI 09) focuses on the theme of Cognitive Computing and Semantic Mining. The objectives of ICCI'09 are to draw attention of researchers, practitioners, and graduate students to the investigation of cognitive mechanisms and processes of human information processing, and to stimulate the international effort on cognitive informatics research and engineering applications.

  • 2008 7th IEEE International Conference on Cognitive Informatics (ICCI)

    The 7th IEEE International Conference on Cognitive Informatics (ICCI 08) focuses on the theme of Cognitive Computers and Computational Intelligence. The objectives of ICCI 08 are to draw attention of researchers, practitioners and graduate students to the investigation of cognitive mechanisms and processes of human information processing, and to stimulate the international effort on cognitive informatics research and engineering applications.

  • 2007 6th IEEE International Conference on Cognitive Informatics (ICCI)

  • 2006 5th IEEE International Conference on Cognitive Informatics (ICCI)

  • 2005 4th IEEE International Conference on Cognitive Informatics (ICCI)


2018 IEEE 18th International Conference on Advanced Learning Technologies (ICALT)

ICALT is an annual international conference on Advanced Learning Technologies and Technology-enhanced Learning organized by the IEEE Technical Committee on Learning Technology. It aims to bring together people who are working on the design, development, use and evaluation of technologies that will be the foundation of the next generation of e-learning systems and technology-enhanced learning environments.


2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)

The principal theme of ISORC is the application of the latest computing paradigms to real-time systems, applications and research. In the ISORC series, this paradigm emphasizes its spirit of openness where diverse views and new approaches to challenging issues can be freely discussed.


2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC)

EDOC provides the key forum for researchers and practitioners in the field of enterprise computing. EDOC conferences address the full range of models, methodologies, and engineering technologies contributing to intra- and inter-enterprise application systems. Since 1997, EDOC has brought together leading computer scientists, IT decision makers, enterprise architects, solution designers, and practitioners to discuss enterprise computing challenges, models and solutions from the perspectives of academia, industry, and government. The EDOC conference series emphasizes a holistic view on enterprise applications engineering and management, fostering integrated approaches that address and relate business models, business processes, people and technology.


More Conferences

Periodicals related to Object oriented programming

Back to Top

Communications Magazine, IEEE

IEEE Communications Magazine was the number three most-cited journal in telecommunications and the number eighteen cited journal in electrical and electronics engineering in 2004, according to the annual Journal Citation Report (2004 edition) published by the Institute for Scientific Information. Read more at http://www.ieee.org/products/citations.html. This magazine covers all areas of communications such as lightwave telecommunications, high-speed data communications, personal communications ...


Computer

Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed technical content that covers all aspects of computer science, computer engineering, technology, and applications. Computer is a resource that practitioners, researchers, and managers can rely on to provide timely information about current research developments, trends, best practices, and changes in the profession.


Computer Graphics and Applications, IEEE

IEEE Computer Graphics and Applications (CG&A) bridges the theory and practice of computer graphics. From specific algorithms to full system implementations, CG&A offers a strong combination of peer-reviewed feature articles and refereed departments, including news and product announcements. Special Applications sidebars relate research stories to commercial development. Cover stories focus on creative applications of the technology by an artist or ...


Computing in Science & Engineering

Physics, medicine, astronomy—these and other hard sciences share a common need for efficient algorithms, system software, and computer architecture to address large computational problems. And yet, useful advances in computational techniques that could benefit many researchers are rarely shared. To meet that need, Computing in Science & Engineering (CiSE) presents scientific and computational contributions in a clear and accessible format. ...


Design & Test of Computers, IEEE

IEEE Design & Test of Computers offers original works describing the methods used to design and test electronic product hardware and supportive software. The magazine focuses on current and near-future practice, and includes tutorials, how-to articles, and real-world case studies. Topics include IC/module design, low-power design, electronic design automation, design/test verification, practical technology, and standards. IEEE Design & Test of ...


More Periodicals

Most published Xplore authors for Object oriented programming

Back to Top

No authors for "Object oriented programming"


Xplore Articles related to Object oriented programming

Back to Top

No Xplore Articles are currently tagged "Object oriented programming"


Standards related to Object oriented programming

Back to Top

No standards are currently tagged "Object oriented programming"


Jobs related to Object oriented programming

Back to Top