[Oberon] Oberon Conference 2020

[Frans-Pieter Vonck]

Nice to hear the voice of Fyodor on the stream.

There is an interesting mathematical didactical concept: structured 
derivations, inspired by Dykstra's verification method.
https://en.wikipedia.org/wiki/Structured_derivations
See also Johan Back's book:
http://users.abo.fi/jwright/schoolmath/papers/tucs246.pdf
https://fourferries.com/wp-content/uploads/2016/10/StructuredDerivation26092016.pdf

Would be nice if "structured derivations" were incorperated into the 
Blackbox system, informatik 21
I would use it for teaching mathematics first year highschool 
mathematics.

Grts,
F.P.


Ivan Denisov schreef op 2020-12-13 13:50:
> YouTube streaming
> 
> http://www.youtube.com/watch?v=4aaDBsxDNR4
> 
> 
> 13.12.2020 19:21, Frans-Pieter Vonck пишет:
>> Logging in is no problem.
>> Zoom itself is not running on my firefox on a d510 atom.
>> I will try it on faster computer.
>> 
>> Grts,
>> F,P,
>> 
>> 
>> 
>> Liam Proven schreef op 2020-12-13 12:23:
>>> For the Russian-speakers only, I suspect....
>>> 
>>> https://conf.oberon.org/schedule
>>> 
>>> OBERON TECHNOLOGIES, EDUCATION AND THE PROBLEM OF QUALITY IN THE
>>> DIGITAL INDUSTRY • III INDUSTRY CONFERENCE • DECEMBER 12-13, 2020
>>> 
>>> 
>>> 
>>> Conference program 12-13 December 2020
>>> 
>>> In the current conditions, we are holding a conference online. Watch
>>> our live broadcasts and engage in discussions remotely.
>>> 
>>> Online conference access
>>> 
>>> Zoom Login (ID 825 2088 3691, Code 487032)
>>> A "waiting room" is being used due to attacks by spammers.
>>> Please use "human" first and last names, not nicknames.
>>> If you have any problems with the entrance, call + 7-909-230-0039, +7
>>> (4862) 63-21-09, +7 (4862) 63-07-36.
>>> 
>>>  DAY 1 Systemic problems of the digital industry. Quality problems 
>>> and
>>> trusted systems. Technologies, personnel, education
>>> 
>>>  DAY 2 Oberon technologies, their applications and role for the
>>> development of the digital industry
>> -- Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related 
>> systems
>> https://lists.inf.ethz.ch/mailman/listinfo/oberon
> --
> Oberon at lists.inf.ethz.ch mailing list for ETH Oberon and related 
> systems
> https://lists.inf.ethz.ch/mailman/listinfo/oberon