http://www.khanacademy.org

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
DL 2011 will take place in Barcelona, Spain, from July 13 to July 16, 2011.
DL 2011 will be colocated with IJCAI 2011, the International Joint Conference on Artificial Intelligence.

Workshop Scope

We invite contributions on all aspects of description logics, such as:

• foundations of description logics, including expressive power, decidability and complexity of reasoning, novel inference problems, and reasoning techniques for solving these problems;
• extensions of description logics, including, but not limited to, closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, and query languages;
• integration of description logics with other formalisms, such as object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems;
• use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, semantic web, and grid computing;
• building systems based on description logics, with special emphasis on optimization and implementation techniques; and
• tools that exploit description logic reasoning, such as ontology editors, database schema design, query optimization, and data integration tools.

DL 2011 will be held at the Auditorium of Edifici Imagina, Avinguda Diagonal 177, Barcelona.

  CFP-Special Issue RUSC:  http://rusc.uoc.edu/ojs/index.php/rusc/announcement/view/36

eLearn Center / IN3 - Open University of Catalonia
Barcelona, Spain, June 21 – 23, 2011

http://cimanet.uoc.edu/mel/content/view/167/99/lang,spanish/

The 3rd International Workshop on Mathematical E-Learning (E-MATH 2011) aims at being an international event which serves as a meeting point for online instructors and researchers in the field of mathematical e-learning both at undergraduate and graduate levels.

The E-MATH 2011 is co-organized by the IN3 and eLearn Center of the Open University of Catalonia (Barcelona, Spain), the Universidad Nacional de Educación a Distancia (Madrid, Spain) and the Universidade Aberta (Lisbon, Portugal)…

The E-MATH 2011 will be held at the Barcelona-Mediatic building, Roc Boronat, 117 – 7th Floor 08018 Barcelona”.

Topics of interest include, but are not limited to:

• Mathematical e-learning
• Computer Supported Mathematical Learning
• Groupware systems in Mathematical teaching
• Collaborative learning in Mathematical education
• Distributed e-learning environments for Mathematics
• Web-based Mathematcial instruction/learning
• Evaluation of technology systems for Math e-learning
• Free and open source software for Math learning
• Simulation-supported learning and instruction in Mathematics
• E-learning management systems and Mathematical education
• Emerging technologies in Mathematical education
• Technology-driven Math e-learning models and strategies
• Multimedia and interactive Math e-learning systems
• Technological standardization in Mathematical learning
• Practices in Mathematical learning and teaching
• Surveys of Math e-learning adoption and results in education
• Future of Math e-learning

Submission of Papers: 8th December 2010.
Notification of Acceptance: 1st February 2011.
Final Camera-Ready Submission Due: 1st March 2011

The Third International Congress on Tools for Teaching Logic (TICTTL) will focus on a variety of topics including: logic teaching software, teaching formal methods, logic in the humanities, dissemination of logic courseware and logic textbooks, methods for teaching logic at different levels of instruction (secondary educuation, university level, and postgraduate), presentation of postgraduate programs in logic, e-learning, logic games, teaching argumentation theory and informal logic, and pedagogy of logic.

We are inviting submissions on the topics above, or on any other aspect of teaching logic or logic teaching software. We prefer 6 or 8 page submissions. Submissions must not exceed 8 pages. It is expected that each accepted paper be presented at the conference by one of its authors. Papers must be submitted electronically at the TICTTL EasyChair website, submission instructions will be posted in later CFPs.

The proceedings of TICTTL include invited papers, accepted full papers, and accepted 2-page short papers. The invited papers and full papers will be published prior to the conference as a volume in the LNAI-FOLLI series, a subseries of Springer’s Lecture Notes in Computer Science. The short papers will be available prior to the conference on the conference website and will be included in the conference booklet.

• Janssen, J., Tattersall, C., Waterink, W., Van den Berg, B., Van Es, R., Bolman, C., & Koper R. (2007). Self-organising navigational support in lifelong learning: How predecessors can lead the way. Computers and Education, 49(3), 781 – 793.

Efficiency was defined ‘‘objectively’’ as the time taken to attain the goal, as well as ‘‘subjectively’’ in terms of learners’ retrospective evaluation of learning track efficiency (that is do they think studying the units of learning in a different order would have led to a better understanding of the content?).

• Janssen J, van den Berg B, Tattersall C, Hummel H and Koper R. Navigational support in lifelong learning: Enhancing effectiveness through indirect social navigation. 15: 2: 136, 2007.