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

Xplore Articles related to Object oriented programming

Back to Top

A simulation model for AUV navigation

[{u'author_order': 1, u'affiliation': u'Dept. of Ocean Engineering, MIT, Cambridge, MA, USA', u'full_name': u'S. T. Tuohy'}] Autonomous Underwater Vehicle Technology, 1994. AUV '94., Proceedings of the 1994 Symposium on, None

In this paper, a simulation model is developed to test AUV navigation applications. The simulation model consists of a canonical class of simulated object, multiple instances of which are related in a hierarchical manner, to model all physical objects that reside in a unified underwater environment. Each object is part of a world environment which is composed of computer maps ...


Object-oriented extensions for iec 61131-3

[{u'author_order': 1, u'full_name': u'Bernhard Werner'}] IEEE Industrial Electronics Magazine, 2009

Industrial programmable logic controllers (PLCs), however, are still mostly programmed in the languages of the International Electrotechnical Commission (IEC) 61131-3 standard. To meet the challenges of modern industrial automation, it is therefore only logical to add OOP to the upcoming third edition of the standard. At the moment, an IEC 61131-3 maintenance group is discussing a working draft of this ...


An iconic programming system, HI-VISUAL

[{u'author_order': 1, u'affiliation': u'Dept. of Inf. Syst., Hiroshima Univ., Japan', u'full_name': u'M. Hirakawa'}, {u'author_order': 2, u'affiliation': u'Dept. of Inf. Syst., Hiroshima Univ., Japan', u'full_name': u'M. Tanaka'}, {u'author_order': 3, u'affiliation': u'Dept. of Inf. Syst., Hiroshima Univ., Japan', u'full_name': u'T. Ichikawa'}] IEEE Transactions on Software Engineering, 1990

A framework for icon management which is quite object-oriented is proposed, and an iconic programming system named HI-VISUAL is presented on the basis of the framework. In the framework, icons represent real objects or concepts already established in a target application environment, whereas icons representing functions are not provided. A function is represented by a combination of two different icons. ...


Comparative analysis of object oriented programming and aspect oriented programming approach

[{u'author_order': 1, u'affiliation': u'Department of MCA, MDU, Rohtak, Haryana, India', u'full_name': u'Preeti Gulia'}, {u'author_order': 2, u'affiliation': u'Department of MCA, BPIBS, Shakarpur, New Delhi 110092, India', u'full_name': u'Amita Dev'}, {u'author_order': 3, u'affiliation': u'Department of MCA, BPIBS, Shakarpur, New Delhi 110092, India', u'full_name': u'Shrikant Patel'}] 2015 2nd International Conference on Computing for Sustainable Global Development (INDIACom), None

AOP is somewhat next huge wave nearing after OOPS that will supplant some of its glaring shortcoming and made the OOP innovation more integral and big. Connected together with the OOP (Object Oriented Programming) innovation, AOP can give more perfect modularized structure to programming. AOP permits us to powerfully adjust our static model to incorporate the code needed to satisfy ...


A Logical Framework to Prove Inheritance Properties for Concurrent Objects

[{u'author_order': 1, u'affiliation': u'Universite Libanaise, Faculte des Sciences Economiques et de Gestion. E-mail: ramibaida@yahoo.fr', u'full_name': u'R. El-Baida'}] 2006 2nd International Conference on Information & Communication Technologies, None

After presenting an object-oriented programming model based on currently executing and communicating objects and a logical framework to formally design object systems and prove their properties, we study how reusability induces at the formal level inheritance of specification and properties


More Xplore Articles

Educational Resources on Object oriented programming

Back to Top

eLearning

No eLearning Articles are currently tagged "Object oriented programming"

IEEE-USA E-Books

  • Declarations, Definitions, and Initializations

    This chapter contains sections titled: * When is a Declaration also a Definition? * Are the Defined Variables in C++ Initialized by Default? * Are the Defined Variables in Java Initialized by Default? * Declaration of Pointer Types in C++ * Arrays of Pointers in C++ * Declaring Multiple Names * Scope of an Identifier in C++ * Scope of an Identifier in Java * Arrays and Their Initialization in C++ * Arrays and their Initialization in Java * Symbolic Constants * Macros in C++ * The Enumeration Type in C++ * Credits and Suggestions for Further Reading * Homework



Standards related to Object oriented programming

Back to Top

No standards are currently tagged "Object oriented programming"