-- HugoMacedo - 20 Nov 2009

Reinvigorating Mathematics for the Information Society

The Information Society requires highly qualified professionals who can design complex systems with increasing levels of safety and reliability. But it also requires a high degree of "mathematical proficiency" from its individuals, meaning the ability to use mathematical language and methods to model situations/scenarios and reason productively through these models in order to solve problems. This literacy and capability has become a key element of democratic citizenship.

This project gathers computer scientists, math teachers, mathematicians and others who recognize the need for new approaches to the teaching and learning of mathematical skills. We aim to exploit and combine the dynamics of algorithmic problem solving and calculational reasoning on both maths education and the practice of software engineering, boosting the abilities students need to overcome the challenges they will encounter through life.

The overall approach stems from two decades of research on correct-by-construction program design which brought to scene a whole discipline of problem-solving and shed light on the underlying mathematical structures, modeling and reasoning principles. A most relevant consequence has been the systematization of a calculational style of reasoning which can greatly improve on the traditional verbose proofs in natural language, proceeding in a formal, essentially syntactic way.

Goals

The project aims to produce relevant contributions in the following areas:

• Design calculi foundations and principles.
• Calculational methods and the principles of algorithimic problem solving, as a basis for reinvigorating the teaching and practice of Mathematics in the context of modern IT-driven societies.
• Innovative computer-based tools to support the envisaged methodological shifts.

-- HugoMacedo - 20 Nov 2009

.natRevision { width:0px; height:0px; overflow:hidden; }

.natBreadCrumbs { width:0px; height:0px; overflow:hidden; }

.avisos { color: #444; font-size:10px; }

.twikiToc { padding-top:0px; padding-bottom:0px; background: white; border-top:0px; border-bottom:0px; }

See also the faster WebTopicList

• TWikiGuest - example@your.company

Web Changes Notification Service

Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.

Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:

three spaces * [ webname . ] wikiName - SMTP mail address
three spaces * [ webName . ] wikiName
three spaces * SMTP mail address
three spaces * SMTP mail address : topics
three spaces * [ webname . ] wikiName : topics

In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:

• Specify topics without a Web. prefix
• Topics must exist in this web.
• Topics may be specified using * wildcards
• Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
• Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
• Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.

For example: Subscribe Daisy to all changes to topics in this web.

   * daisy.cutter@flowers.com

   * daisy.cutter@flowers.com: Web*

   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers

   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers

   * daisy@flowers.com: TWiki.NewsLetter?

   * buttercup@flowers.com: TWiki.NewsLetter! (1)

   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter

If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.

Tip: List names in alphabetical order to make it easier to find the names.

Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.

Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.

Related topics: WebChangesAlert, TWikiUsers, TWikiRegistration

Warning

Can't INCLUDE TWiki.WebSearchAdvanced repeatedly, topic is already included.

Statistics for Research/MathIS Web

Notes:

• Do not edit this topic, it is updated automatically. (You can also force an update)
• TWikiDocumentation tells you how to enable the automatic updates of the statistics.
• Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

• MathISNews
• MathISPublications
• ProjectDescription
• ResearchTeam
• WebAtom
• WebChanges
• WebCss
• WebHome
• WebIndex
• WebLeftBar
• WebNotify
• WebPreferences
• WebRss
• WebSearch
• WebSearchAdvanced
• WebSideBar
• WebStatistics
• WebTopicCreator
• WebTopicList

See also the verbose WebIndex.